arkworks logo

Arkworks

arkworks is an open-source Rust ecosystem for zkSNARK programming, providing a suite of libraries that implement the components needed to build zkSNARK applications, from generic finite field and elliptic curve arithmetic to R1CS constraint systems and packaged SNARK proving systems. It primarily serves cryptography researchers and developers building zero-knowledge proof applications in Rust.
Distributed

Description

arkworks is a Rust ecosystem of libraries for zkSNARK programming, offering efficient implementations of all the building blocks required to develop zero-knowledge proof applications. Its repositories span low-level algebra infrastructure (finite fields, elliptic curve models and instantiations, polynomials), circuit-building tools (r1cs-std, relations/snark interfaces), and fully packaged SNARK proving systems such as Groth16, Marlin, GM17, Gemini, and Ripp. The project provides getting-started resources including a Real World Crypto talk, an R1CS programming tutorial, and README guides for its algebra crates. It is maintained by a community of contributors ("arkworks contributors") who engage with users through a Discord community for questions about zkSNARK programming and via Twitter for occasional updates. The ecosystem targets developers and researchers building privacy-preserving and zero-knowledge cryptographic applications.