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

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

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

Quantum-resistant, AI-native Layer 1 blockchain with TriStream mining, horizontal sharding, and GhostDAG consensus. Built with Rust for the post-quantum era.

Rust client for interacting with Atlantic Prover

Privacy-Preserving Smart Contracts on PVM via Twisted ElGamal Encryption

A did:peer decentralized identity with packaged simplified zk proofs

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.

How does the SumCheck protocol work?

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

zk-proof application on Mina protocol