A zk-SNARK implementation

Cypherpunk App - Lightning Network, Coinjoin, Payjoin, Taproot, Bitcoin, Nostr, Liquid and ZK Proof

An experiment to verify a user's crypto address and twitter account are linked without storing any identifiable user data.

Firebolt electrum plugin

^-^ side hustle yk

DEEP-FRI STARK proof library.

Token 2022's confidential extension is used in this contract to make confidential transfer between wallets using zk proofs

ZK Proof Library for Coinjoin transactions

RiemannCash focuses on private TX, with divisible deposits, lower fees and faster withdrawals, which is based on ZK proof, merkle tree and poseidon algorithm.

In this article we will build a cryptographic virtual machine (VM) in Rust, inspired by the TinyRAM model, using a reduced instruction set to keep things straightforward and efficient. This VM will be able to execute computations while generating zero-knowledge proofs at the same time, natively.

Zero-Knowledge proof implementation for ElGamal encryption verification

ZK-powered session keys for Web3 gaming — sign once, play forever. No MetaMask popups. ERC-4337 Account Abstraction.

Privacy-preserving prediction markets on Monad using ZK-proof identity concealment via Unlink

zkVM integration research for Ethereum Protocol Fellowship Cohort 6

Anonymous Check-In (ZK Coupon) 💙 — A zero-knowledge demo proving allowlist membership without revealing identity. Built with Circom, SnarkJS, and vanilla JS.

Reusable zero-knowledge KYC credential enabling single-verification across all Canton dApps

Bliss is a zk-proof enabled privacy focused dating solution built on Aleo.

Fog-of-chess where every move is verified by a zero-knowledge proof on Stellar. Players commit piece positions on-chain at game start. Each move proves legality in ZK without revealing which piece moved. Built with RISC Zero + Soroban.

A ZK-verified DePIN orchestrator that dynamically routes AI computing workloads by benchmarking real-world hardware telemetry for high-yield infrastructure management.

Browser-based zk-STARK demo — AIR constraints, FRI polynomial commitments, and end-to-end Fibonacci proof. No trusted setup. Post-quantum secure. The protocol behind StarkNet, StarkEx, and Risc Zero.