arkworks
Rust ecosystem for zkSNARK programming
Arkworks provides efficient implementations of components required for zkSNARK applications. It includes libraries for finite fields, elliptic curves, R1CS constraints, and SNARK proving systems like Groth16 and Marlin. It defines interfaces for relations like R1CS, and for building SNARK circuits using gadgets and subcircuits.
Zero-Knowledge Proofs
Key facts
Maturity
Support
C4DT
Lab
Key facts
Maturity
Support
C4DT
Lab
- Technical
- Source code: Project Github
- Last commit: 2025-09-27
We work on the theoretical foundations and practical realizations of cryptographic proofs. This enables checking the correctness of a computation in zero knowledge, and much faster than re-running the computation. These cryptographic proofs have powerful applications in the real world.
This page was last edited on 2024-03-13.
This page was last edited on 2024-03-13.