zkproof

zk-Call/zkp-hmac-communication-python

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

zk-Call/zkp-hmac-communication-js

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

zk-Call/zkp-hmac-communication-cpp

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

zk-Call/zkp-hmac-communication-go

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

ZeroSync/ZeroSync

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

PoCInnovation/Workshops

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

ZpokenWeb3/zk-light-client-implementation

Zero Knowledge Light Client Implementation by Zpoken team.

polytope-labs/hyperbridge

Hyperbridge is a hyperscalable coprocessor for verifiable, cross-chain interoperability

Antalpha-Labs/zkp-academy

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

Unirep/Unirep

A Zero-Knowledge Protocol for Provable User Data Management

rarimo/passport-zk-circuits

Verifying biometric passports with zero knowledge proofs (SNARKs)

starkoracles/zkos

Cross-zk-rollup aggregation

z2o-k7e/zkp-co-learn

zkp-co-learning

z-prize/2022-entries

ZPrize 2022 - All qualified entries

0xEigenLabs/eigencc

A TEE framework to ship zkVM/zkEVM

anoma/alucard

A common lisp DSL for writing zero knowledge circuits

zkmove/halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments

alxkzmn/zk-wordle

The Wordle you know, but with Zero-Knowledge Proofs

hammurabi-mendes/zk-rollup

ZK-rollup in Javascript, using circom & snarkJS. This is a meant-to-be-simple implementation aimed at learners.

airchains-network/airchains

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

alxkzmn/zk-atlas

A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies

0xMarto/zkProofOfBuffiness

One of the many cool implementations of a zkProofOfOwnership platform developed for the ETHDenver 2022 hackaton.

abhi3700/My_Learning_Cryptography

Learn about cryptography concepts - Both basics and core.

airchains-network/rollup-evm

EVM-compatible Cosmos Chain for scalable and interoperable DApps and smart contracts, integrating Ethereum's robust features with Cosmos' network

ZkBlind/ZkBlindNextJs

Revolutionizing Anonymity with Zero-Knowledge Technology

Hyle-org/vibe-check

A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.

eferbarn/scroll-marks-sampler

A sampler to find valuable insights around Scroll ZKP

NethermindEth/formalverification.xyz

A website listing all the best FV companies in the Crypto space.

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.

airchains-network/svm-station

Streamlined Solana Virtual Machine Integration for High-Performance rollups.

raidastauras/zk-github-oracle

styin/defi-loan-zkp-credit

A dApp fostering peer-to-peer lending enabled by zero-knowledge proof-based credit

jagnani73/ethforall-delinzk

BUIDLing a VinCredible Network. Experience trusted networking on Polygon ID.

mickymultani/ZeroKnowledgeProofs

Interactive simulation of Zero-Knowledge Proofs using elliptic curve cryptography in Python, demonstrating secure credit score verification for lending processes.

wkennedy/trollup

A Hybrid ZK-Optimistic Network Extension with Flexible Verification for Solana