arkworks

snark

Interfaces for Relations and SNARKs for these relations

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

poly-commit

A Rust library for polynomial commitments

marlin

A Rust library for the Marlin preprocessing zkSNARK

groth16

A Rust implementation of the Groth16 zkSNARK

curves

Implementations of popular elliptic curves

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

r1cs-tutorial

Tutorial for writing constraints in the `arkworks` framework

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

r1cs-std

R1CS constraints for bits, fields, and elliptic curves

gemini

An elastic proof system based on arkworks

sumcheck

linear-time sumcheck protocol for multilinear polynomials and related addends

spongefish

Fiat-Shamir for the masses.

spartan

Spartan on Arkworks

ripp

Argument systems for inner pairing products

std

A standard library wrapper for use in the `arkworks` ecosystem

pcd

Implementations of proof-carrying data

accumulation

Rust library for accumulation schemes

ldt

An `arkworks` library for low-degree testing

sponge

This library is archived; see crypto-primities for the latest version of this code

nonnative

R1CS constraints for non-native field arithmetic

dpc

A library for decentralized private computation

ivls

Implementation of incrementally verifiable ledger system

gm17

A Rust library for the preprocessing zkSNARK of Groth and Maller

bcs

template

github workflow templates

.github

arkworks-rs.github.io