Name:
arkworks
Description:
Rust ecosystem for zkSNARK programming
Professor — Lab:
Alessandro ChiesaLaboratory for Computation Security

Home page:
arkworks
Layman description:
Arkworks is a collection of Rust libraries for building privacy-preserving applications using zero-knowledge proofs called zkSNARKs. It has efficient implementations of the underlying cryptographic primitives like finite fields and elliptic curves. It also provides tools to encode computations as circuits that can be proven using zkSNARKs while keeping inputs private.
Technical description:
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.
Videos:
Project status:
active — entered showcase: 2024-03-13 — entry updated: 2024-03-13

Source code:
Project Github - last commit: 2024-03-08
Code quality:
This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.
Project type:
Library
Programming language:
Rust
License:
Apache-2.0