r1cs
Here are 23 public repositories matching this topic...
Circuit components definition library for zkLLVM circuit compiler
-
Updated
May 24, 2024 - C++
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
-
Updated
May 24, 2024 - C++
R1CS constraints for bits, fields, and elliptic curves
-
Updated
Apr 25, 2024 - Rust
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
-
Updated
Apr 16, 2024 - Rust
A Rust library for the Marlin preprocessing zkSNARK
-
Updated
Jan 18, 2024 - Rust
Interfaces for Relations and SNARKs for these relations
-
Updated
Jan 7, 2024 - Rust
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).
-
Updated
Nov 26, 2023 - Rust
A Rust library for the preprocessing zkSNARK of Groth and Maller
-
Updated
Sep 5, 2023 - Rust
Experiments with circuit compilation and zk-snarks
-
Updated
Aug 5, 2023 - Haskell
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.
-
Updated
Mar 2, 2023 - C++
Arithmatic circuits convertible to R1CS based on Bulletproofs
-
Updated
Dec 31, 2022 - Rust
Tutorial for writing constraints in the `arkworks` framework
-
Updated
Sep 12, 2022 - Rust
arkwork-rs library zk-SNARKS circuit examples
-
Updated
May 23, 2022 - Rust
A compiler to turn GO code into a zkSNARK
-
Updated
Jul 19, 2021 - Go
Improve this page
Add a description, image, and links to the r1cs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the r1cs topic, visit your repo's landing page and select "manage topics."