Explore @arkworks-rs Open Source projects

arkworks (@arkworks-rs)

arkworks-rs

Stars
3,654
Global Org. Rank 5,961 (Top 2 %)
Registered about 4 years ago
Most used languages

Rust
92.3 %

Python
3.8 %

SCSS 3.8 %

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

curves

Implementations of popular elliptic curves

groth16

A Rust implementation of the Groth16 zkSNARK

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

ripp

Argument systems for inner pairing products

nimue

std

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

pcd

Implementations of proof-carrying data

sponge

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

accumulation

Rust library for accumulation schemes

nonnative

R1CS constraints for non-native field arithmetic

ldt

An `arkworks` library for low-degree testing

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

arkworks-rs.github.io