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

source code of zkSync Contract

High-Level Rust wrapper for the blitzar-sys crate

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

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

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

Community-maintained overview of privacy protocols in crypto — who is building what, and how

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

Privacy-Preserving Smart Contracts on PVM via Twisted ElGamal Encryption

A did:peer decentralized identity with packaged simplified zk proofs

Quantum-safe, bridge-free cross-chain interoperability platform using NIST PQC standards and Zero-Knowledge Proofs.

Rust client for interacting with Atlantic Prover

How does the SumCheck protocol work?

Security proxy for AI agents (OpenClaw, LangChain, CrewAI). Protects API keys, enforces spend limits, blocks dangerous endpoints. Local-first Rust binary — your credentials never leave your machine.

Gas Protocol: Unlocking gasless on-chain transactions for new Web3 users. Using Safe AA and GelatoRelaySDK to abstract web3 for your users effortlessly.

Active-inference Training with Learned Adaptive Stigmergy — Pure Rust AGI framework, 21 crates, 565 tests, 28 MCP tools, BF16 GPU inference (15.4 tok/s OLMo-3-7B on A100), OpenAI-compatible API, ZK proofs. Zero external dependencies.