r1cs topic
List
r1cs repositories
marlin
299
Stars
80
Forks
Watchers
A Rust library for the Marlin preprocessing zkSNARK
snark
749
Stars
194
Forks
Watchers
Interfaces for Relations and SNARKs for these relations
gnark
1.3k
Stars
328
Forks
Watchers
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
r1cs-std
130
Stars
48
Forks
Watchers
R1CS constraints for bits, fields, and elliptic curves
crypto-primitives
148
Stars
65
Forks
Watchers
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
r1cs-tutorial
193
Stars
68
Forks
Watchers
Tutorial for writing constraints in the `arkworks` framework
bulletproofs-r1cs-gadgets
80
Stars
21
Forks
Watchers
Arithmatic circuits convertible to R1CS based on Bulletproofs
r1cs-workshop
29
Stars
4
Forks
Watchers
Notes for the R1CS programming workshop at ZK0x04
zkllvm-blueprint
40
Stars
16
Forks
Watchers
Circuit components definition library for zkLLVM circuit compiler