Comments (3)
Hi! Yes, you can safely share proving key with the verifier. It doesn't leak any knowledge about the witness.
It's up to the verifier to verify zkeys and vkeys, or get them from a repository / public registry where someone else has done that and just trust it.
from snarkjs.
Is there a faster approach?
The problem with this approach is that the
snarkjs zkey verify
command takes about as long as generating the zkey. So for large circuits this quickly becomes unrealistic for the verifier to do.
If there is no current faster approach, it might be useful to research one. I can't imagine it would be too difficult to figure out so maybe it's worth me having a go at figuring it out?
For more modern snarks.. is there even an issue with computational time? Or is it just g16?
from snarkjs.
Usually verifier would get the verification key from a trusted source and keep it.
If source is not trusted or just to be sure verifier may check that it corresponds to a specific circuit, but it's a one time procedure and after that there's no need in zkey (and r1cs) file on verifier side.
Then verifier just verifies proofs with the verification key stored locally.
from snarkjs.
Related Issues (20)
- Getting 'Scalar size does not match' error when proving a simple circuit with addition or subtraction HOT 1
- Troubleshooting Discrepancies: Validating Pre-Image Hashes in SnarkJS HOT 1
- `snarkjs` cannot be used with ES modules
- Not all available cores are used by taskmanager HOT 2
- Error generating a proof for Circom circuit HOT 2
- Why check public signals less than `q` instead of `r` in generated solidity code? HOT 4
- wtns debug dont say anything
- wrong order of proof parameters for 2-d array parameter
- Bug: process is not exited after calling zKey.newZKey, r1cs.info functions
- snarkJS: Error: Error: Assert Failed. HOT 1
- Bug: groth16.fullProve don't work in vite reactjs app HOT 1
- FR: Officially support proof generation for Cardano
- is there any way to optimize the MSM of the verifier contract
- exported circuit proving key invalid
- Common serialization format between shared between all zk-snarks framworks
- r1cs_constraint_processor's join linear combination could be wrong
- How to solve the incompatibility problem in snark.js of the witness file generated by go-rapidsnark? HOT 1
- calculate output without generating proof HOT 1
- Step 15 Setup Command Failed
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from snarkjs.