r1cs
There are 1 repository 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
Language:Go 1512arkworks-rs / snark
Interfaces for Relations and SNARKs for these relations
Language:Rust 827A Rust library for the Marlin preprocessing zkSNARK
Language:Rust 320Tutorial for writing constraints in the `arkworks` framework
Language:Rust 226Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust 200R1CS constraints for bits, fields, and elliptic curves
Language:Rust 148- Language:Rust 89
lovesh / bulletproofs-r1cs-gadgets
Arithmatic circuits convertible to R1CS based on Bulletproofs
Language:Rust 88- Language:Rust 83
NilFoundation / zkllvm-blueprint
Circuit components definition library for zkLLVM circuit compiler
Language:C++ 43Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
Language:C++ 33- Language:TeX 30
mottla / go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK
Language:Go 16exfinen / zk-toolkit
Library built from scratch to implement zk-protocols
Language:Rust 12A Rust library for the preprocessing zkSNARK of Groth and Maller
Language:Rust 10- Language:Rust 3
erhant / arithmetic-circuits
Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS
Language:Rust 3- Language:Haskell 3
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).
Language:Rust 2- Language:Python 2
- Language:Haskell 1
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.
Language:C++ 1kyroy / VerifiableStatementCompiler
Zero-knowledge proofs on Ethereum (master thesis)
Language:Rust 1- Language:Rust 1
- Language:Python 1
