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

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

IP Creator | Programmable IP for the Integrity Web | Powered with Mediolano on Starknet

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.

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

A Layer 2 solution bridging Solana's L1 with an AI enabled L2 with features like computation capabilities, enabling scalable neural network operations while maintaining blockchain security.

Rust client for interacting with Atlantic Prover

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

A decentralized, merkle indexed, offline-first peer-to-peer event store built on iroh & lmdb

Zero-knowledge identity wallet that proves who you are without revealing personal data. Post-quantum secure DID system with privacy-preserving group membership and role verification.

Coding Bootcamp about ZK Proof Theory and Building

A Go-based implementation of zk-STARKs for efficient, scalable, and transparent zero-knowledge proof systems.

Study from Zero Proof for Firebolt wallet

A Primer on Zero Knowledge Proofs

Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.

Web App to verify proof generated by zkshatriya game