Found 500 repositories(showing 30)
arkworks-rs
A Rust implementation of the Groth16 zkSNARK
arkworks-rs
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
whitenois3
Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
Electron-Labs
ED25519 implementation in Circom
MinaProtocol
On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
dmpierre
Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
sdiehl
A framework to execute and verify algorithms using Groth16 zkSNARKs.
chainwayxyz
BitVM Groth16 Verifier Toolkit - WIP
tarassh
Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
SoundnessLabs
A SP1 Groth16 Proof Verifier for Sui
Detailed guide to contribute to the ceremony which is conducted for our Groth16 zk-SNARK circuits, which are integral to EthStorage’s proof-of-storage algorithm.
Lightprotocol
groth16 verifier implementation with solana altbn syscalls
xorddotcom
Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security.
A framework for building zero-knowledge proof circuits using a custom DSL optimized for elliptic curve arithmetic, enabling verifiable computation with minimal on-chain footprint via Groth16 proofs.
ingonyama-zk
Groth16 over ICICLE
Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
vocdoni
zkSNARK Groth16 prover & verifier
Electron-Labs
AES-GCM implementation in Circom
socathie
Circuits library for matrix operations in circom
CharmsDev
Polymath: Groth16 Is Not The Limit
tangle-network
zkSNARKs as a service using secure multi-party computation.
zkLinkProtocol
No description available
ingonyama-zk
IMP1 - Ingonyama Mobile Prover, built with ICICLE
dcbuild3r
.ptau deserializer for gnark groth16 bn254 trusted setup
supernovahs
Groth16 verifier on Arbitrum Stylus
socathie
Private authentic photo sharing using ZKP
ret2basic
Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
recmo
Groth16 verifier in EVM
matter-labs-archive
Batch verification proposal for the zkSNARK verification with the same(!) circuit
privacy-ethereum
The repository for high quality Trusted setups for groth16 based SNARKS