#

zk-snarks

Here are 5 public repositories matching this topic...

sdiehl / bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

cryptography elliptic-curves sigma zero-knowledge pedersen-commitment zk-snarks bulletproofs zksnarks range-proofs

Updated Dec 25, 2022
Haskell

sdiehl / zkp

A framework to execute and verify algorithms using Groth16 zkSNARKs.

zero-knowledge zk-snarks zksnark zero-knowledge-proofs zkp bn254 arithmetic-circuits

Updated Aug 13, 2020
Haskell

sdiehl / arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

compiler qap zero-knowledge zk-snarks zksnarks arithmetic-circuit

Updated Apr 16, 2024
Haskell

Modulo-P / zk-snark

Bringing zk-snarks to Cardano

plutus zk-snarks cardano zero-knowledge-proofs

Updated Aug 20, 2023
Haskell

ruuda / zerorack

Experiments with circuit compilation and zk-snarks

r1cs zk-snarks arithmetic-circuits

Updated Sep 8, 2024
Haskell

Improve this page

Add a description, image, and links to the zk-snarks topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the zk-snarks topic, visit your repo's landing page and select "manage topics."