groth16
There are 52 repositories under groth16 topic.
arkworks-rs/groth16
A Rust implementation of the Groth16 zkSNARK
Electron-Labs/ed25519-circom
ED25519 implementation in Circom
tarassh/zkSNARK-under-the-hood
Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
xorddotcom/SHIELD
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.
Electron-Labs/aes-circom
AES-GCM implementation in Circom
socathie/circomlib-matrix
Circuits library for matrix operations in circom
tangle-network/zk-SaaS
zkSNARKs as a service using secure multi-party computation.
socathie/zkPhoto
Private authentic photo sharing using ZKP
supernovahs/zk-sunade
Groth16 verifier on Arbitrum Stylus
socathie/zkPuzzles
Puzzles using ZKP
Sindri-Labs/sindri-js
Sindri Zero-Knowledge Proof CLI
Electron-Labs/sha512
SHA512 Circom circuits
mottla/go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK
zero-savvy/zk-remote-attestation
Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.
exfinen/zk-toolkit
Library built from scratch to implement zk-protocols
DoraFactory/zk-cosmwasm
A CosmWasm contract verifying zero knowledge proof
tokamak-network/Tokamak-ZkEVM
A new type of zk-EVM for L2 rollup
pratham-bhatnagar/zkpVault
Privacy Protected On-chain Identity Based on Zero Knowledge Proof
0xbow-io/Veritas
Vertias supports Circom circuit development & testing over Go
kevincharm/broth16
Groth16 using BLS12-381 pairings
Shigoto-dev19/ec-elgamal-circom
ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benchmarking.
lucasmenendez/groth16-sp1-verifier
Basic Groth16 SnarkJS verifier compatible with SP1.
Tetration-Lab/arkworks-solidity-verifier
Solidity SNARK verifier generator for Arkwork's proof systems.
wkennedy/solana-zk-proof-example
A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana
airchains-network/airsettle
A blockchain platform focused on secure and efficient data management. It features custom execution layers, batch processing, and a democratic validator system.
Baghery/ABPR22
Simulation Extractable Versions of Groth’s zk-SNARK Revisited
succinctlabs/snark-bn254-verifier
Recursive Groth16 + PlonK Verifier
dple/understanding-zkp
My learning journey to understand practical ZKP systems, including KZG poly commitment, Groth16, Plonk, ...
LBruyne/ZKPedia
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
manudev97/dapp-zkatm
Implemented educational application of zero knowledge proofs.
Jemtaly/QAPy
A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.
nullity00/batch-ecdsa-secp256r1
Batch verification of ECDSA Signatures using Randomizers for the P-256 curve
socathie/custom-dark-forest-ui
UI for socathie/custom-dark-forest
Dyslex7c/groth16-zkSNARK
Implementation of Groth16 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge Protocol using Rust
kyoungbinkim/dataTrade-dev
Privacy preserved digital contents trading system on public blockchain
kyoungbinkim/dataTradeApp
Privacy preserved digital contents trading system on public blockchain