arkworks is a Rust ecosystem for zkSNARK programming. Libraries in thearkworks ecosystem provide efficient implementations of all components required to implement zkSNARK applications, from generic finite fields to R1CS constraints for common functionalities.

Below are some resources for getting started working witharkworks crates:

• Talk at Real World Crypto providing an overview of thearkworks ecosystem.
• Tutorial for R1CS programming using theark-relations,ark-r1cs-std, andark-crypto-primitives crates.
• Quick introduction to usingarkworks' algebra infrastructure:
  • finite fields,
  • elliptic curves and pairings, and
  • serialization.

We have aDiscord community where folks can ask questions and learn about zkSNARK programming. We also have aTwitter where we (infrequently) post updates.

• snark - defines interfaces for a SNARK, for your application to generically use them
• relations - defines interfaces for relations, e.g. r1cs, AIR

Fully packaged SNARK crates

• groth16
• marlin - universal setup SNARK for r1cs
• gm17
• gemini - an elastic proof system for streaming inputs
• ripp -inner pairing product argument system

• r1cs-std

• finite fields
• elliptic curve models
• elliptic curve instantiations

If you usearkworks libraries in your research projects, please cite them using the following template:

@software{arkworks,  author = {arkworks contributors},  title = {\texttt{arkworks} zkSNARK ecosystem},  url = {https://arkworks.rs},  year = {2022},}

Repositories