Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with r1cs

A curated list of projects in awesome lists tagged with r1cs .

https://github.com/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

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 29 Jun 2025

https://github.com/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

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 29 Apr 2025

https://github.com/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

gnark golang plonk r1cs zk-rollup zk-snarks zkevm zkp zksnark

Last synced: 17 Apr 2025

https://github.com/arkworks-rs/snark

Interfaces for Relations and SNARKs for these relations

cryptography r1cs zero-knowledge-proofs

Last synced: 01 Apr 2025

https://github.com/arkworks-rs/marlin

A Rust library for the Marlin preprocessing zkSNARK

cryptography marlin r1cs rust zksnark

Last synced: 23 Mar 2025

https://github.com/arkworks-rs/r1cs-tutorial

Tutorial for writing constraints in the `arkworks` framework

cryptography r1cs rollup rust

Last synced: 19 Aug 2025

https://github.com/arkworks-rs/crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

cryptography hash-functions r1cs rust signatures snark

Last synced: 03 Apr 2025

https://github.com/arkworks-rs/r1cs-std

R1CS constraints for bits, fields, and elliptic curves

cryptography r1cs rust snarks

Last synced: 15 May 2025

https://github.com/lovesh/bulletproofs-r1cs-gadgets

Arithmatic circuits convertible to R1CS based on Bulletproofs

bulletproofs r1cs zero-knowledge-proofs

Last synced: 09 Mar 2026

https://github.com/lurk-lang/arecibo

An advanced fork of Nova (contact:@huitseeker)

cryptography nova r1cs zero-knowledge

Last synced: 12 Dec 2025

https://github.com/0xPolygonZero/r1cs

A Rust library for building R1CS gadgets

cryptography r1cs zk-snarks

Last synced: 18 Apr 2025

https://github.com/0xpolygonzero/r1cs-workshop

Notes for the R1CS programming workshop at ZK0x04

cryptography r1cs

Last synced: 15 Mar 2026

https://github.com/mottla/go-r1cs-compiler

A compiler to turn GO code into a zkSNARK

arithmetic-circuit constraint gates golang groth16 language r1cs snark zk-snarks

Last synced: 13 Apr 2025

https://github.com/arkworks-rs/gm17

A Rust library for the preprocessing zkSNARK of Groth and Maller

cryptography r1cs rust snark zksnark

Last synced: 26 Jun 2025

https://github.com/daira/zcon0

Presentations about zero-knowledge proofs

r1cs zero-knowledge

Last synced: 08 Jan 2026

https://github.com/ruuda/zerorack

Experiments with circuit compilation and zk-snarks

arithmetic-circuits r1cs zk-snarks

Last synced: 24 Jan 2026

https://github.com/erhant/arithmetic-circuits

Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS

circuits cryptography qap r1cs rust

Last synced: 18 Feb 2026