groth16

There are 0 repository under groth16 topic.

arkworks-rs / groth16
A Rust implementation of the Groth16 zkSNARK
zksnark rust groth16 snark cryptography
Language:Rust 206
Electron-Labs / ed25519-circom
ED25519 implementation in Circom
zksnark zksnarks circom groth16 ed25519
Language:JavaScript 103
tarassh / zkSNARK-under-the-hood
Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.
groth16 zero-knowledge zk-snarks zkp plonk
Language:Jupyter Notebook 60
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.
circom circomlib cli groth16 nodejs plonk shield snarkjs
Language:TypeScript 57
Electron-Labs / aes-circom
AES-GCM implementation in Circom
aes aes-256 aes-256-gcm circom groth16 zk zksnark zksnarks
Language:JavaScript 32
socathie / circomlib-matrix
Circuits library for matrix operations in circom
blockchain circuit zk-snarks zkp snarkjs circom zero-knowledge-proof sudoku groth16 circomlib matrix linear-algebra
Language:JavaScript 31
socathie / zkPhoto
Private authentic photo sharing using ZKP
blockchain circom circuit groth16 snarkjs zero-knowledge-proof zk-snarks zkp
Language:Solidity 21
mottla / go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK
arithmetic-circuit constraint gates golang groth16 language r1cs snark zk-snarks
Language:Go 16
socathie / zkPuzzles
Puzzles using ZKP
blockchai circom circomlib circuit groth16 linear-algebra matrix puzzle snarkjs sudoku zero-knowledge-proof zk-snarks zkp
Language:Solidity 16
webb-tools / zk-SaaS
zkSNARKs as a service using secure multi-party computation.
cryptography groth16 mpc zero-knowledge
Language:Rust 16
supernovahs / zk-sunade
Groth16 verifier on Arbitrum Stylus
groth16 zero-knowledge arbitrumstylus
Language:Rust 15
Electron-Labs / sha512
SHA512 Circom circuits
circom groth16 sha512 zksnark zksnarks
Language:JavaScript 13
Sindri-Labs / sindri-js
Sindri Zero-Knowledge Proof CLI
circom circuit crypto cryptography gnark groth16 halo2 noir off-chain plonk zero-knowledge zero-knowledge-proofs zk-snark zkp
Language:TypeScript 13
pratham-bhatnagar / zkpVault
Privacy Protected On-chain Identity Based on Zero Knowledge Proof
circom ethereum groth16 iden3 privacy soulbound-tokens zero-knowledge
Language:Circom 8
tokamak-network / Tokamak-ZkEVM
A new type of zk-EVM for L2 rollup
cryptography ethereum groth16 layer2 snark zero-knowledge
Language:JavaScript 8
exfinen / zk-toolkit
Library built from scratch to implement zk-protocols
zk field ecdsa cryptography bls12-381 bulletproofs ed25519 hmac miller-loop qap r1cs sha256 sha512 weil pinocchio tate zk-snarks groth16
Language:Rust 7
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.
circuit cosmos gnark groth16 zk zkproof bft cometbft ignite ignite-cli airchains
Language:Go 5
Tetration-Lab / arkworks-solidity-verifier
Solidity SNARK verifier generator for Arkwork's proof systems.
cryptography ethereum solidity arkworks zksnark groth16 marlin gm17
Language:Rust 5
Baghery / ABPR22
Simulation Extractable Versions of Groth’s zk-SNARK Revisited
zk-snarks snarks blockchain groth16
Language:Rust 4
LBruyne / ZKPedia
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
verifiable-computation wikipedia zero-knowledge zero-knowledge-proof zksnark interactive-proofs groth16 plonk zkp cryptography nizk verifiable-computing
4
DoraFactory / zk-cosmwasm
A CosmWasm contract verifying zero knowledge proof
cosmwasm groth16 zkp
Language:Rust 3
Shigoto-dev19 / ec-elgamal-circom
ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benchmarking.
circom cryptography encryption groth16 typescript zk-snarks
Language:TypeScript 3
socathie / custom-dark-forest-ui
UI for socathie/custom-dark-forest
blockchain circom circuit dark-forest groth16 snarkjs zero-knowledge-proof zk-snarks zkp
Language:JavaScript 3
Jemtaly / QAPy
A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming laguage into its QAP form, and perform Groth16's setup, proof and verification steps.
groth16 zero-knowledge zk-snarks
Language:Python 2
kyoungbinkim / dataTrade-dev
Privacy preserved digital contents trading system on public blockchain
nodejs solidity zk-snarks groth16 react reactjs
Language:JavaScript 2
kyoungbinkim / dataTradeApp
Privacy preserved digital contents trading system on public blockchain
blockchain react-native zk-snarks groth16
Language:JavaScript 2
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.
data-availability groth16 rollup sequencer svm zk zk-snarks
Language:Go 1
dple / understanding-zkp
My learning journey to understand practical ZKP systems, including KZG poly commitment, Groth16, Plonk, ...
groth16 kzg-commitment plonk python trusted-setup zero-knowledge
Language:Jupyter Notebook 1
sudiptab2100 / Performance-Test-Of-Hash-Functions-Groth16
Prover size performance analysis of various hash function pre-image proving in Groth16 zk-SNARK
blockchain circom circomlib ethereum groth16 hashing javascript mimc pedersen poseidon sha256 snarkjs solidity web3js zk-snarks
Language:JavaScript 1
zTgx / zkMe
🔐 A Groth16 and PLONK toy, including codes, docs and others. Impl in Modern C++ and Rust, and yes, I'm into Rust.
zksnarks bellman groth16 cpp rust cmake plonk
Language:C++ 1
kyoungbinkim / myJsnarkCircuit
my jsnark circuit
groth16 jsnark pinocchio
Language:Java 0
sudiptab2100 / zkSNARK-Auth-JS
zk-SNARK (Groth16) based authentication for EVM smart contracts.
circom ethereum groth16 javascript js snarkjs solidity zero-knowledge zk-snarks zokrates
Language:JavaScript 0
nullity00 / batch-ecdsa-secp256r1
Batch verification of ECDSA Signatures using Randomizers for the P-256 curve
circom ecdsa groth16 p256 zk-snarks
Language:Circom
sudiptab2100 / Incremental-Merkle-Tree-Python
Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements
circom circomlib ethereum groth16 incremental-merkle-tree merkle-proof merkle-root merkle-tree mimc sha256 tornado-cash tornadocash web3 zero-knowledge zksnark zksnarks
Language:Python
tvm-contest / devex-32-podlodkin-freeton-year-control
Demo for free TON zkSNARK solution.
everscale groth16
Language:C++
tvm-contest / devex-32-ton-proof-verification-contest
Entry point for TON Proof Verification Contest.
everscale groth16
Language:C++

groth16

arkworks-rs / groth16

Electron-Labs / ed25519-circom

tarassh / zkSNARK-under-the-hood

xorddotcom / SHIELD

Electron-Labs / aes-circom

socathie / circomlib-matrix

socathie / zkPhoto

mottla / go-R1CS-Compiler

socathie / zkPuzzles

webb-tools / zk-SaaS

supernovahs / zk-sunade

Electron-Labs / sha512

Sindri-Labs / sindri-js

pratham-bhatnagar / zkpVault

tokamak-network / Tokamak-ZkEVM

exfinen / zk-toolkit

airchains-network / airsettle

Tetration-Lab / arkworks-solidity-verifier

Baghery / ABPR22

LBruyne / ZKPedia

DoraFactory / zk-cosmwasm

Shigoto-dev19 / ec-elgamal-circom

socathie / custom-dark-forest-ui

Jemtaly / QAPy

kyoungbinkim / dataTrade-dev

kyoungbinkim / dataTradeApp

airchains-network / svm-sequencer-node

dple / understanding-zkp

sudiptab2100 / Performance-Test-Of-Hash-Functions-Groth16

zTgx / zkMe

kyoungbinkim / myJsnarkCircuit

sudiptab2100 / zkSNARK-Auth-JS

nullity00 / batch-ecdsa-secp256r1

sudiptab2100 / Incremental-Merkle-Tree-Python

tvm-contest / devex-32-podlodkin-freeton-year-control

tvm-contest / devex-32-ton-proof-verification-contest