zk-proofs
Develop zero-knowledge proofs: private voting and identity, zk-rollups, verifiable computation, and compliance without exposing data. Use for privacy-preserving apps.
Target: Target not categorized. Automatically collected · unverified.
Excerpt from the author’s documentation
Extracted from a fixed version of SKILL.md in its original language. This is the author’s documentation; installation, compatibility and runtime results have not been verified by this site.
Read the original English text
Topics in the source
- Zero-Knowledge Proofs
- Quick Start
- Key Concepts
- When to Use
- Step-by-Step
- Examples
- Best Practices
- Troubleshooting
Build zero-knowledge proof circuits with Circom and integrate them into dApps. ZK proofs let you prove statements without revealing inputs. Circom defines arithmetic circuits. Groth16 produces small, fast-to-verify proofs. Common uses: private transactions, identity verification, and scalability (zk-rollups). Privacy-preserving applications (private voting, identity) Blockchain scaling (zk-rollups, validiums) Verifiable computation (outsource computation with proof) Compliance (prove age, KYC, credit score without exposing data) 1. Author the circuit in Citcom: circom age-check.circom --r1cs --wasm --sym compiles to constraints, wasm, and symbols. 2. Generate the powers-of-tau ceremony artifact: snarkjs powersoftau new bn128 12 pot120000.ptau then snarkjs powersoftau prepare phase2. 3. Build proving + verification keys: snarkjs groth16 setup circuit.r1cs pot12final.ptau circuit.zkey. 4. Export the verification key and solidity verifier: snarkjs zkey export verificationkey and snarkjs zkey export solidityverifier. 5. Compute a witness offline with snarkjs wtns calculate then generate the proof with groth16 prove (timed for tester's threshold). 6. Verify in the dApp: call the on-chai
This is an excerpt. Refer to the complete source and its current requirements.
- Source repository
- ssrjkk/agent-skills
- Source file
- .claude/skills/blockchain/zk-proofs/SKILL.md
- Fixed revision
- 868975614072b553f929cb32c52c5e7dc4ba8734
Sources and evidence
This record was collected automatically. Its documentation, suitability and runtime behavior have not been manually verified.
Author: ssrjkk/agent-skills · original repository metadata. Documentation review: Not reviewed. Last source check: 2026-11-11T03:01:42.279Z.
Categories are inferred from names, descriptions and paths. They do not establish compatibility.
License and attribution
MIT. Third-party content and copyright remain with their authors. Refer to the original license and terms.
Original license ↗Synchronization, copying and user-reported success do not mark a resource as runtime-tested.
Limitations and notes
- Collecting metadata does not mean this site has installed, adapted, runtime-tested or security-reviewed the resource.