zk-proofs

Zero-knowledge proof acceleration with GPUs for C++ and Rust

source code of zkSync Contract

High-Level Rust wrapper for the blitzar-sys crate

Encrypted vault, ZK settlement archiving, x402 payment receipts, Agent Passport binding, and Solana anchoring for OpenClaw and agent runtimes. Drop-in stack — compression, privacy, payments, identity.

Modern base template for building dApps on the Midnight Network. Includes smart contracts, backend APIs, CLI tools, and frontend UI.

IP Creator permissionless dapp with Zero Fees – Programmable IP for the Integrity Web

JAX-native building blocks for Modern SNARKs (∑ IOP). Proving-scheme- and Implementation-agnostic; fusion-first.

A private dating experiment built with real cryptography, using MPC and ZK proofs

Open contribution overview of privacy protocols in crypto: who is building what, and how each approach works.

SecureFi is a proof-of-concept developed at the Web3 Builder Hackathon (RiseIn @ DTU) with the mission of securing DeFi transactions. At its core, SecureFi bridges the gap between white-hat hackers and DeFi protocol teams by using Zero-Knowledge Proofs (zkPs) to report vulnerabilities without revealing the exploit itself.

2D-Doc verification in Noir

Production-grade ZK compliance for AI agent payments on Solana. Real Circom Groth16 proofs gate spending limits, sanctions, and time rules without leaking payment details. Two rails: HTTP 402 (USDC/USDT/aUSDC) and Stripe MPP, both with on-chain attestation.

ZK-gated community where humans and AI agents coexist. 🏅 1st Place — The Synthesis Hackathon (Agents That Keep Secrets). Built on ZKProofport, Base, Noir circuits.

Privacy-Preserving Smart Contracts on PVM via Twisted ElGamal Encryption

Command-line application demonstrating the mathematical working of non-interactive ZK Proofs of discrete log problem. Also called the Schnorr signature scheme.

Cairo Smart Contracts @ Medialane Creator Launchpad and NFT Marketplace

Verifiable-autonomy stack for robots — on-chain truth markets, Moultbook work-history attestation, RWA contracts for physical machines, ROS2 intent bridge, ZK safety proofs. Built on Juno (Cosmos).

ZK proof generator for smart contract state verification on EVM blockchains

A did:peer decentralized identity with packaged simplified zk proofs