arkworks-rs/gemini

Stars
72
Rank 438,337 (Top 9 %)
Language
Rust
License
MIT License
Created about 3 years ago
Updated 11 months ago

arkworks-rs/gemini

arkworks-rs

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

An elastic proof system based on 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

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

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