groth16
There are 50 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
webb-tools/zk-SaaS
zkSNARKs as a service using secure multi-party computation.
socathie/zkPhoto
Private authentic photo sharing using ZKP
socathie/zkPuzzles
Puzzles using ZKP
supernovahs/zk-sunade
Groth16 verifier on Arbitrum Stylus
Electron-Labs/sha512
SHA512 Circom circuits
mottla/go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK
Sindri-Labs/sindri-js
Sindri Zero-Knowledge Proof CLI
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
pratham-bhatnagar/zkpVault
Privacy Protected On-chain Identity Based on Zero Knowledge Proof
tokamak-network/Tokamak-ZkEVM
A new type of zk-EVM for L2 rollup
DoraFactory/zk-cosmwasm
A CosmWasm contract verifying zero knowledge proof
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.
Tetration-Lab/arkworks-solidity-verifier
Solidity SNARK verifier generator for Arkwork's proof systems.
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
LBruyne/ZKPedia
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
dple/understanding-zkp
My learning journey to understand practical ZKP systems, including KZG poly commitment, Groth16, Plonk, ...
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.
manudev97/dapp-zkatm
Implemented educational application of zero knowledge proofs.
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
kyoungbinkim/dataTrade-dev
Privacy preserved digital contents trading system on public blockchain
kyoungbinkim/dataTradeApp
Privacy preserved digital contents trading system on public blockchain
airchains-network/svm-sequencer-node
Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.
lucasmenendez/groth16-sp1-verifier
Basic Groth16 SnarkJS verifier compatible with SP1.
Nurnberg-Meistersinger/sber-hackaton-2024
Repository for the solution of "Fraternitas<>Libertatis" team during the Sber Hackaton 2024.
sudiptab2100/Performance-Test-Of-Hash-Functions-Groth16
Prover size performance analysis of various hash function pre-image proving in Groth16 zk-SNARK
sudiptab2100/zkSNARK-Auth-JS
zk-SNARK (Groth16) based authentication for EVM smart contracts.