Zero-knowledge proof acceleration with GPUs for C++ and Rust
-
Updated
Aug 14, 2025 - C++
#
zk-proofs
Here are 94 public repositories matching this topic...
source code of zkSync Contract
-
Updated
Feb 14, 2024 - Rust
High-Level Rust wrapper for the blitzar-sys crate
-
Updated
Jan 27, 2026 - Rust
Modern base template for building dApps on the Midnight Network. Includes smart contracts, backend APIs, CLI tools, and frontend UI.
-
Updated
Oct 16, 2025 - TypeScript
IP Creator permissionless dapp with Zero Fees – Programmable IP for the Integrity Web
open-source nextjs ethereum dapp blockchain ip intellectual-property nft permissionless creative-works cairo-lang starknet zk-proofs mediolano programmable-ip integrity-web
-
Updated
Mar 5, 2026 - TypeScript
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.
-
Updated
Jun 17, 2024 - Rust
Command-line application demonstrating the mathematical working of non-interactive ZK Proofs of discrete log problem. Also called the Schnorr signature scheme.
-
Updated
Aug 13, 2022 - Java
ZK-Verified Computation Gateway - Trustless verification of off-chain computation using Rust + Zero Knowledge
rust blockchain cryptography-library rust-library zero-knowledge verifiable-computation zkvm zk-proofs halo2-example zero-knowledge-architecture proof-verification risc0-zkvm
-
Updated
Mar 28, 2026 - Rust
Privacy-Preserving Smart Contracts on PVM via Twisted ElGamal Encryption
-
Updated
Feb 27, 2026 - Rust
A did:peer decentralized identity with packaged simplified zk proofs
-
Updated
Dec 13, 2025 - Rust
Quantum-safe, bridge-free cross-chain interoperability platform using NIST PQC standards and Zero-Knowledge Proofs.
bitcoin ethereum smart-contracts blockchain polygon interoperability fintech cybersecurity web3 post-quantum-cryptography quantum-safe cross-chain solana zero-knowledge-proofs decentralized-finance nobridge pqc zk-proofs nist-pqc bridge-free
-
Updated
Jan 16, 2026 - HTML
On-chain execution rail of the Afterchain Protocol — public review edition. Contains Solidity contracts, Foundry regression tests, and security model documentation.
smart-contracts inheritance solidity evm foundry bsl zero-knowledge defi groth16 zk-proofs evm-compatible
-
Updated
Apr 9, 2026 - Solidity
How does the SumCheck protocol work?
-
Updated
May 29, 2025 - Sage
Gas Protocol: Unlocking gasless on-chain transactions for new Web3 users. Using Safe AA and GelatoRelaySDK to abstract web3 for your users effortlessly.
-
Updated
Oct 24, 2023 - TypeScript
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.
rust rate-limiting ai-safety local-first credential-vault eip-712 zk-proofs llm-security defi-security crypto-wallet-security ai-agent-security security-proxy openclaw api-key-proxy spend-limits
-
Updated
Mar 16, 2026 - Rust
Improve this page
Add a description, image, and links to the zk-proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the zk-proofs topic, visit your repo's landing page and select "manage topics."