arkworks-rs/pcd

Stars
29
Rank 860,307 (Top 17 %)
Language
Rust
Created about 4 years ago
Updated over 2 years ago

arkworks-rs/pcd

arkworks-rs

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

Implementations of proof-carrying data

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

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