Projects in Awesome Lists tagged with arithmetic-circuit
A curated list of projects in awesome lists tagged with arithmetic-circuit .
https://github.com/sdiehl/arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
arithmetic-circuit compiler qap zero-knowledge zk-snarks zksnarks
Last synced: 21 Nov 2024
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/reilabs/lean-circuit-compiler
A tool to extract gnark circuits defined in Go to Lean for formal verification.
arithmetic-circuit formal-verification gnark go
Last synced: 03 Mar 2025
https://github.com/casweeney/zk-cryptography-research-implementations
A collection of ZKPs (Zero Knowledge Proofs) and cryptographic research implementations in Rust.
arithmetic-circuit circuits fiat-shamir-protocol gkr kzg kzg-commitment kzg-proofs multilinear-kzg polynomial-interpolation rust rust-lang shamir-secret-sharing snark zero-knowledge zkp
Last synced: 20 Mar 2025
