Interfaces for Relations and SNARKs for these relations
-
Updated
Aug 6, 2024 - Rust
Interfaces for Relations and SNARKs for these relations
A Rust library for the Marlin preprocessing zkSNARK
Tutorial for writing constraints in the `arkworks` framework
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
R1CS constraints for bits, fields, and elliptic curves
Arithmatic circuits convertible to R1CS based on Bulletproofs
An advanced fork of Nova (contact:@huitseeker)
A Rust library for the preprocessing zkSNARK of Groth and Maller
arkwork-rs library zk-SNARKS circuit examples
The Zero-Knowledge Proof Compiler for Python
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).
Add a description, image, and links to the r1cs topic page so that developers can more easily learn about it.
To associate your repository with the r1cs topic, visit your repo's landing page and select "manage topics."