Developer Tools

• Circom: zkSnark circuit compiler
• Shield: a development framework for circom developers
• plonkit: zkSNARK toolkit to work with circom DSL in PLONK proof system
• Library: ZK-Garage/Plonk
• zk-ECDSA: zkSNARKs for ECDSA
• ZoKrates: a toolbox for zkSNARKs on Ethereum
• Ecne: an engine for verifying the soundness of R1CS constraints
• Arkworks: an ecosystem for developing with zkSNARKs
• Snarkjs: zkSNARK implementation in JavaScript & WASM
• zkREPL: an in-browser collaborative development environment
• Picus: Symbolic Virtual Machine for Automated R1CS Verification
• Papyrus: A Symbolic Execution Tool for Cairo
• emp-zk: Efficient and Interactive Zero-Knowledge Proofs
• crrl: Rust library for cryptographic research
• Atlas Protocol: Zero-Knowlege Blockchain Development Platform