zkproof

Zero-knowledge proof (ZKP) is a cryptographic protocol where one party can prove to another party that a statement is true without revealing any information beyond the fact of the statement’s truth.

Here are 140 public repositories matching this topic...

Language:All

Filter by language

All140 TypeScript31 Rust26 JavaScript13 Python10 Solidity10 Go8 Jupyter Notebook4 Shell4 Vue4 C++3

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

WTFAcademy /WTF-zk

Star2.1k

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

cryptography bitcoin ethereum blockchain elliptic-curves group-theory stark number-theory abstract-algebra zk zero-knowledge snark zksnarks zero-knowledge-proofs zkp elliptic-curve-cryptography zkproof

UpdatedAug 29, 2025
Jupyter Notebook

zk-Call /zkp-hmac-communication-python

Star495

"Zero-Knowledge" Proof Implementation with HMAC Communication in Python

python hmac zero-knowledge zkproof zk-call

UpdatedOct 7, 2024
Python

ZeroSync /ZeroSync

Star443

A STARK proof to sync a Bitcoin full node in an instant.

bitcoin starks zkproof

UpdatedNov 24, 2024
Cairo

PoCInnovation /Workshops

Sponsor

Star386

Workshops organized to introduce students to security, AI, blockchain, AR/VR, hardware and software

iot devops data-science machine-learning workshops embedded database ai workshop frontend electronics ethereum decentralized blockchain p2p innovation challenges cybersecurity zkproof

UpdatedDec 18, 2025
Jupyter Notebook

zk-Call /zkp-hmac-communication-js

Star259

"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript

javascript hmac zero-knowledge zkproof zk-call

UpdatedOct 7, 2024
JavaScript

ZpokenWeb3 /zk-light-client-implementation

Star259

Zero Knowledge Light Client Implementation by Zpoken team.

cryptography ed25519 elliptic-curves zk zero-knowledge zkp zkproof zkp-verifier

UpdatedOct 21, 2024
HTML

polytope-labs /hyperbridge

Star199

Hyperbridge scales verifiable interoperability

rust ethereum consensus solidity coprocessor polkadot cross-chain multi-chain light-client parachain zkproof storage-proofs

UpdatedFeb 20, 2026
Rust

coset-io /zkp-academy

Star184

A month-long zkp study group, one topic at a time.

lattice stark zk zero-knowledge zkproof

UpdatedJul 28, 2025
Python

zk-Call /zkp-hmac-communication-cpp

Star178

"Zero-Knowledge" Proof Implementation with HMAC Communication in C++

cpp hmac zero-knowledge zkproof zk-call

UpdatedOct 7, 2024
C++

zk-Call /zkp-hmac-communication-go

Star127

"Zero-Knowledge" Proof Implementation with HMAC Communication in Go

go hmac zero-knowledge zkproof zk-call

UpdatedOct 7, 2024
Go

Unirep /Unirep

Star100

A Zero-Knowledge Protocol for Provable User Data Management

ethereum smart-contracts blockchain circuit zkproof

UpdatedFeb 13, 2025
TypeScript

rarimo /passport-zk-circuits

Star87

Verifying biometric passports with zero knowledge proofs (SNARKs)

identity passport icao did zkp circom zkproof zkpassport zk-passport

UpdatedJun 30, 2025
Circom

z2o-k7e /zkp-co-learn

Star64

zkp-co-learning

zkproof

UpdatedDec 4, 2024
Rust

starkoracles /zkos

Star61

Cross-zk-rollup aggregation

zk-framework starks zk-rollup zkproof

UpdatedFeb 17, 2023
Rust

z-prize /2022-entries

Star55

ZPrize 2022 - All qualified entries

zero-knowledge zksnarks zkp zkproof-prover zkproof

UpdatedSep 21, 2023
Rust

0xEigenLabs /eigencc

Star30

A TEE framework to ship zkVM/zkEVM

privacy zkproof zkvm zkevm

UpdatedAug 11, 2022
Rust

airchains-network /airchains

Star19

A versatile and powerful framework for creating customized rollups with a variety of options. Our framework supports EVM, SVM, and CosmWasm-based rollups

svm ethereum cosmos evm zk data-availability zk-snarks solana cosmwasm zkproof data-availability-sampling gnark evm-blockchain solana-vm cosmwasm-framework