arkworks-rs/std

Stars
37
Rank 720,807 (Top 15 %)
Language
Rust
License
Apache License 2.0
Created about 4 years ago
Updated 5 months ago

arkworks-rs/std

arkworks-rs

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

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