• This repository has been archived on 27/Aug/2021
  • Stars
    star
    19
  • Rank 1,163,249 (Top 23 %)
  • Language
    Rust
  • Created about 4 years ago
  • Updated about 3 years ago

Reviews

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

Repository Details

R1CS constraints for non-native field arithmetic

More Repositories

1

snark

Interfaces for Relations and SNARKs for these relations
Rust
786
star
2

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic
Rust
601
star
3

poly-commit

A Rust library for polynomial commitments
Rust
319
star
4

marlin

A Rust library for the Marlin preprocessing zkSNARK
Rust
306
star
5

curves

Implementations of popular elliptic curves
Rust
300
star
6

groth16

A Rust implementation of the Groth16 zkSNARK
Rust
236
star
7

circom-compat

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

r1cs-tutorial

Tutorial for writing constraints in the `arkworks` framework
Rust
198
star
9

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Rust
160
star
10

r1cs-std

R1CS constraints for bits, fields, and elliptic curves
Rust
131
star
11

gemini

An elastic proof system based on arkworks
Rust
72
star
12

sumcheck

linear-time sumcheck protocol for multilinear polynomials and related addends
Rust
50
star
13

ripp

Argument systems for inner pairing products
Rust
41
star
14

nimue

Rust
37
star
15

std

A standard library wrapper for use in the `arkworks` ecosystem
Rust
37
star
16

pcd

Implementations of proof-carrying data
Rust
29
star
17

sponge

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

accumulation

Rust library for accumulation schemes
Rust
20
star
19

ldt

An `arkworks` library for low-degree testing
Rust
18
star
20

dpc

A library for decentralized private computation
Rust
18
star
21

ivls

Implementation of incrementally verifiable ledger system
Rust
15
star
22

gm17

A Rust library for the preprocessing zkSNARK of Groth and Maller
Rust
8
star
23

bcs

Rust
8
star
24

template

github workflow templates
Python
5
star
25

arkworks-rs.github.io

SCSS
1
star