r1cs
There are 25 repositories under r1cs topic.
Consensys/gnark
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
arkworks-rs/snark
Interfaces for Relations and SNARKs for these relations
arkworks-rs/marlin
A Rust library for the Marlin preprocessing zkSNARK
arkworks-rs/r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
arkworks-rs/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
arkworks-rs/r1cs-std
R1CS constraints for bits, fields, and elliptic curves
0xPolygonZero/r1cs
A Rust library for building R1CS gadgets
lovesh/bulletproofs-r1cs-gadgets
Arithmatic circuits convertible to R1CS based on Bulletproofs
argumentcomputer/arecibo
An advanced fork of Nova (contact:@huitseeker)
NilFoundation/zkllvm-blueprint
Circuit components definition library for zkLLVM circuit compiler
NilFoundation/crypto3-zk
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
0xPolygonZero/r1cs-workshop
Notes for the R1CS programming workshop at ZK0x04
mottla/go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK
exfinen/zk-toolkit
Library built from scratch to implement zk-protocols
arkworks-rs/gm17
A Rust library for the preprocessing zkSNARK of Groth and Maller
daira/zcon0
Presentations about zero-knowledge proofs
dev0x1/arkwork-examples
arkwork-rs library zk-SNARKS circuit examples
ruuda/zerorack
Experiments with circuit compilation and zk-snarks
mariobenissimo/R1CS
This project implements a set of basic operations as an R1CS circuit using the Rust programming language. An R1CS (Rank-1 Constraint System) is widely used in cryptography and privacy, for example, in the implementation of zero-knowledge proof systems (zkSNARKs).
Merricx/zksnake
zk-SNARKs in Python
bkomuves/r1cs-solver
R1CS soundness testing tool
guillaumelauzier/zk-SNARK-libsnark
This example uses the libsnark library to define an R1CS (Rank-1 Constraint System) that represents a simple circuit, where the output is the product of two input values. It then generates a proof for this circuit using the ppzkSNARK proof system provided by libsnark, and verifies the proof using the same library.
kyroy/VerifiableStatementCompiler
Zero-knowledge proofs on Ethereum (master thesis)
lorenzorota/zkpyc
The Zero-Knowledge Proof Compiler for Python
winderica/r1cs-float
R1CS constraints for floating-point arithmetic