arkworks

An ecosystem for developing and programming with zkSNARKs

Pinned Repositories

algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:Rust571 23 298225
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Language:Rust224 10 2794
crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust153 13 5668
curves
Implementations of popular elliptic curves
Language:Rust300 17 32103
groth16
A Rust implementation of the Groth16 zkSNARK
Language:Rust213 15 1382
marlin
A Rust library for the Marlin preprocessing zkSNARK
Language:Rust304 22 2282
poly-commit
A Rust library for polynomial commitments
Language:Rust300 24 31117
r1cs-std
R1CS constraints for bits, fields, and elliptic curves
Language:Rust131 11 4252
snark
Interfaces for Relations and SNARKs for these relations
Language:Rust761 41 92200
sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
Language:Rust49 8 2026

arkworks's Repositories

arkworks-rs/snark
Interfaces for Relations and SNARKs for these relations
Language:Rust761 41 92200
arkworks-rs/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:Rust571 23 298225
arkworks-rs/marlin
A Rust library for the Marlin preprocessing zkSNARK
Language:Rust304 22 2282
arkworks-rs/curves
Implementations of popular elliptic curves
Language:Rust300 17 32103
arkworks-rs/poly-commit
A Rust library for polynomial commitments
Language:Rust300 24 31117
arkworks-rs/circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Language:Rust224 10 2794
arkworks-rs/groth16
A Rust implementation of the Groth16 zkSNARK
Language:Rust213 15 1382
arkworks-rs/r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
Language:Rust194 7 572
arkworks-rs/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust153 13 5668
arkworks-rs/r1cs-std
R1CS constraints for bits, fields, and elliptic curves
Language:Rust131 11 4252
arkworks-rs/gemini
An elastic proof system based on arkworks
Language:Rust72 8 47
arkworks-rs/sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
Language:Rust49 8 2026
arkworks-rs/ripp
Argument systems for inner pairing products
Language:Rust41 16 513
arkworks-rs/nimue
Language:Rust37 1 68
arkworks-rs/std
A standard library wrapper for use in the `arkworks` ecosystem
Language:Rust37 9 1330
arkworks-rs/spartan
Spartan on Arkworks
Language:Rust31 2 04
arkworks-rs/pcd
Implementations of proof-carrying data
Language:Rust29 15 49
arkworks-rs/sponge
This library is archived; see crypto-primities for the latest version of this code
Language:Rust22 12 415
arkworks-rs/accumulation
Rust library for accumulation schemes
Language:Rust20 11 75
arkworks-rs/nonnative
R1CS constraints for non-native field arithmetic
Language:Rust20 10 1011
arkworks-rs/dpc
A library for decentralized private computation
Language:Rust18 7 54
arkworks-rs/ivls
Implementation of incrementally verifiable ledger system
Language:Rust16 13 34
arkworks-rs/ldt
An `arkworks` library for low-degree testing
Language:Rust15 7 43
arkworks-rs/bcs
Language:Rust8 9 52
arkworks-rs/gm17
A Rust library for the preprocessing zkSNARK of Groth and Maller
Language:Rust8 9 14
arkworks-rs/template
github workflow templates
Language:Python5 7 11
arkworks-rs/arkworks-rs.github.io
Language:SCSS1
arkworks-rs/.github
3 01