66 results for “topic: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 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.
No description provided.
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.
ZK-Verified Computation Gateway - Trustless verification of off-chain computation using Rust + Zero Knowledge
Privacy-Preserving Smart Contracts on PVM via Twisted ElGamal Encryption
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
No description provided.
A did:peer decentralized identity with packaged simplified zk proofs
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.
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.
zk-proof application on Mina protocol
A Noir-based zero-knowledge project enabling users to prove knowledge of a solution without revealing it.
Coding Bootcamp about ZK Proof Theory and Building
Web App to verify proof generated by zkshatriya game
A Go-based implementation of zk-STARKs for efficient, scalable, and transparent zero-knowledge proof systems.
Push: a GameFi DApp to promote healthy living on Polygon
No description provided.
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.