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

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

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.

Permissionless, Privacy-Focused Social dApp - Zuko

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

2D-Doc verification in Noir

Research on privacy preserving compliance protocols

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

Verify a Circom proof in a Casper Smart Contract

Quantum‑safe, bridge‑free cross‑chain interoperability with real Bitcoin testnet transfers, UChainID and ZK proofs

Risc0, Risc0-Groth16, SP1 bechmarks for SHA256

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.

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

A Primer on Zero Knowledge Proofs

zkPoC (Zero-Knowledge Proof of Compression) — A research-stage cryptographic primitive for trustless, efficient blockchain storage. zkPoC allows blockchains to commit compressed data + zero-knowledge proofs instead of full payloads, cutting costs while preserving verifiability.

Coding Bootcamp about ZK Proof Theory and Building

This is a repo where i keep all my attempts to solve the homeworks for the Encode Cairo Bootcamp (Oct - Nov 2022).

zk-proof application on Mina protocol