zeropoolnetwork / fawkes-crypto Goto Github PK
View Code? Open in Web Editor NEWFawkes-Crypto - zkSNARKs framework
Home Page: https://github.com/zeropoolnetwork/fawkes-crypto
License: Apache License 2.0
Fawkes-Crypto - zkSNARKs framework
Home Page: https://github.com/zeropoolnetwork/fawkes-crypto
License: Apache License 2.0
Currently, fawkes-crypto decide, should it create new signals or not, by calling as_const
method of Signal
trait (see example here ) and build both witness and constraint system ([1], [2]).
Signals have complex structures (CNum
definition), so, operations with them are not fast.
Also, the constraint system is circuit specific (it does not change at multiple calls), and witness depends on the values of internal signals.
For better performance, we need to split constraint system building and witness building. And prover should work with preloaded from the file constraint system and as_const
calls cache.
The as_const
calls cache could be stored inside the bit-vector. Also, this data and an additional flag for using the pre-computed constant system could be stored here.
In the case of using precomputed CS, all heavy constraint system-related things when we work on CNum
, like LC
operations, enforce
and enforce_pub
should be omitted.
In addition, it is better to store r1cs data in snarkjs-compatible format (look at zkutil for example).
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.