Sindri-Labs/sindri-js

Sindri Zero-Knowledge Proof CLI

Language: TypeScript - Size: 917 KB - Last synced: about 7 hours ago - Pushed: about 8 hours ago - Stars: 13 - Forks: 1

Nurnberg-Meistersinger/sber-hackaton-2024

Repository for the solution of "Fraternitas<>Libertatis" team during the Sber Hackaton 2024.

Language: JavaScript - Size: 16.3 MB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 1 - Forks: 0

arkworks-rs/groth16

A Rust implementation of the Groth16 zkSNARK

Language: Rust - Size: 184 KB - Last synced: 9 days ago - Pushed: 18 days ago - Stars: 208 - Forks: 75

tokamak-network/Tokamak-ZkEVM

A new type of zk-EVM for L2 rollup

Language: JavaScript - Size: 1.17 GB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 9 - Forks: 3

dple/understanding-zkp

My learning journey to understand practical ZKP systems, including KZG poly commitment, Groth16, Plonk, ...

Language: Jupyter Notebook - Size: 69.3 KB - Last synced: 27 days ago - Pushed: 27 days ago - Stars: 1 - Forks: 1

Electron-Labs/sha512

SHA512 Circom circuits

Language: JavaScript - Size: 35.2 KB - Last synced: 8 days ago - Pushed: over 1 year ago - Stars: 13 - Forks: 5

firstbatchxyz/hollowdb-prover-rust

Zero-knowledge prover utility for HollowDB.

Language: Rust - Size: 1.08 MB - Last synced: 30 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

firstbatchxyz/hollowdb-prover-go

Zero-knowledge prover utility for HollowDB.

Language: Go - Size: 1.07 MB - Last synced: 30 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

tvm-contest/devex-32-ton-proof-verification-contest Fork of zealot72/ton-proof-verification-contest

Entry point for TON Proof Verification Contest.

Size: 534 KB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

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

Demo for free TON zkSNARK solution.

Size: 10.4 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

socathie/circomlib-matrix

Circuits library for matrix operations in circom

Language: JavaScript - Size: 76.2 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 31 - Forks: 7

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.

Language: TypeScript - Size: 1.1 MB - Last synced: 16 days ago - Pushed: over 1 year ago - Stars: 57 - Forks: 2

pratham-bhatnagar/zkpVault

Privacy Protected On-chain Identity Based on Zero Knowledge Proof

Language: Circom - Size: 26.1 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 8 - Forks: 4

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

Prover size performance analysis of various hash function pre-image proving in Groth16 zk-SNARK

Language: JavaScript - Size: 7.62 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

webb-tools/zk-SaaS

zkSNARKs as a service using secure multi-party computation.

Language: Rust - Size: 1.05 MB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 14 - Forks: 2

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

Language: Python - Size: 35.2 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

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.

Language: Python - Size: 283 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 1 - Forks: 0

nullity00/batch-ecdsa-secp256r1

Batch verification of ECDSA Signatures using Randomizers for the P-256 curve

Language: Circom - Size: 264 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

supernovahs/zk-sunade

Groth16 verifier on Arbitrum Stylus

Language: Rust - Size: 768 KB - Last synced: 3 months ago - Pushed: 6 months ago - Stars: 13 - Forks: 3

Electron-Labs/ed25519-circom

ED25519 implementation in Circom

Language: JavaScript - Size: 104 KB - Last synced: 3 months ago - Pushed: 11 months ago - Stars: 100 - Forks: 15

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.

Language: Go - Size: 333 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 5 - Forks: 0

tarassh/zkSNARK-under-the-hood

Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.

Language: Jupyter Notebook - Size: 497 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 46 - Forks: 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.

Language: Go - Size: 879 KB - Last synced: 2 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

exfinen/zk-toolkit

Library built from scratch to implement zk-protocols

Language: Rust - Size: 701 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 5 - Forks: 2

Tetration-Lab/arkworks-solidity-verifier

Solidity SNARK verifier generator for Arkwork's proof systems.

Language: Rust - Size: 35.2 KB - Last synced: 24 days ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0

DoraFactory/zk-cosmwasm

A CosmWasm contract verifying zero knowledge proof

Language: Rust - Size: 215 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

Baghery/ABPR22

Simulation Extractable Versions of Groth’s zk-SNARK Revisited

Language: Rust - Size: 258 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 3 - Forks: 2

mottla/go-R1CS-Compiler

A compiler to turn GO code into a zkSNARK

Language: Go - Size: 1.03 MB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 13 - Forks: 1

Electron-Labs/aes-circom

AES-GCM implementation in Circom

Language: JavaScript - Size: 3.38 MB - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 22 - Forks: 8

dexpresso-protocol/zk-core

ZK circuits used as building blocks in DexpressoV2, Licensed under CC BY-NC-SA 3.0

Language: Circom - Size: 15.6 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

kyoungbinkim/dataTrade-dev

Privacy preserved digital contents trading system on public blockchain

Language: JavaScript - Size: 77.8 MB - Last synced: 4 months ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

socathie/zkPhoto

Private authentic photo sharing using ZKP

Language: Solidity - Size: 18.6 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 13 - Forks: 1

LBruyne/ZKPedia

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

Size: 461 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

socathie/zkPuzzles

Puzzles using ZKP

Language: Solidity - Size: 648 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 14 - Forks: 19

socathie/custom-dark-forest

Minimal spawn only version of DF as an exercise to implement ZKP

Language: JavaScript - Size: 1.16 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

socathie/custom-dark-forest-ui

UI for socathie/custom-dark-forest

Language: JavaScript - Size: 1.71 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

zTgx/zkMe

🔐 A Groth16 and PLONK toy, including codes, docs and others. Impl in Modern C++ and Rust, and yes, I'm into Rust.

Language: C++ - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

hrmk1o3/bellman-sample

Language: Rust - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0