jeong0982 / gkr Goto Github PK
View Code? Open in Web Editor NEWzero knowledge proof aggregator for general circuit
zero knowledge proof aggregator for general circuit
Currently, GKR is used for many schemes to use its fast proving time. It will be helpful if it can provide proving scheme api and circuit construction by itself (cause it is hard to extract arithmetic circuit from circom itself).
Using arkworks-rs/algebra
For now, sumcheck is integrated with prover and verifier.
To get sumcheck proof, it should be separate. With this, structure of GKR proof should be fixed.
verify_sumcheck
, prove_sumcheck
GKR generates proofs for the data-parallel execution of a layered arithmetic circuit.
But users who want to make new circuit for using GKR may have difficulty for designing layered circuit.
For usability of GKR protocol, it should have programmable and intuitive abstract structure for circuit.
Just make Node
and make directed acyclic graph with that. Users should make DAG on their own from Node
.
For now, it will be okay but it should be revised. It is hard to build circuit with layer for large program.
Start from circom rust library, it have dag library inside. It can make DAG, but it would be implemented after implementation of whole protocol. If this circom -> GKR -> circom flow is implemented, recursive proof can be made from this.
It is kind of ambitious work. Making IR for circuit. And it can be optimized to GKR protocol. (maybe)
[ZLW+ 21] proposed GKR protocol that applies directly to non-layered circuits.
Not sure for if it is available to implement, but it can be helpful for exploring way to use general circuit with GKR protocol.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.