zk-proofs

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

source code of zkSync Contract

We started from learning programming with crypto at Universities (6 connected Universities in Poland), we voted for programming friendly cryptocurrency, we chose litecoin, we did unexpeced very fast api/wallet for Litecoin, after presentations we get customers for Dash, Dogecoin and Arbitrum

We started from learning programming with crypto at Universities (6 connected Universities in Poland), we voted for programming friendly cryptocurrency, we chose litecoin, we did unexpeced very fast api/wallet for Litecoin, after presentations we get customers for Dash, Dogecoin and Arbitrum

High-Level Rust wrapper for the blitzar-sys crate

Agent skills for OpenClaw and MCP clients: pay and charge in USDC via x402, Agent Passport identity, context compression, and the Liquefy vault flight recorder.

We started from learning programming with crypto at Universities (6 connected Universities in Poland), we voted for programming friendly cryptocurrency, we chose litecoin, we did unexpeced very fast api/wallet for Litecoin, after presentations we get customers for Dash, Dogecoin and Arbitrum

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

We started from learning programming with crypto at Universities (6 connected Universities in Poland), we voted for programming friendly cryptocurrency, we chose litecoin, we did unexpeced very fast api/wallet for Litecoin, after presentations we get customers for Dash, Dogecoin and Arbitrum

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.

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

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.

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