JAX-native building blocks for Modern SNARKs (∑ IOP). Proving-scheme- and Implementation-agnostic; fusion-first.
-
Updated
Aug 27, 2026 - Python
#
zk-proofs
Here are 150 public repositories matching this topic...
ZK-gated community where humans and AI agents coexist. 🏅 1st Place — The Synthesis Hackathon (Agents That Keep Secrets). Built on ZKProofport, Base, Noir circuits.
privacy ai-agents zero-knowledge-proofs hackathon-winner zk-proofs noir-lang base-chain erc-8004 synthesis-2026
-
Updated
Aug 27, 2026 - TypeScript
Prove a trading strategy cleared a public risk bar on custodian-vouched data, without revealing the strategy or the returns series. Built on Midnight.
-
Updated
Aug 27, 2026 - TypeScript
Aspiring ZK Circuit Auditor | Mastering ZK Math & Circuit Security 🔐 Documenting my daily journey into Finite Fields, Polynomials, Elliptic Curves, and Circom circuit security.
-
Updated
Aug 27, 2026 - JavaScript
Estimate gas, pubdata, and L1 fees on Abstract (ZKsync L2) with accurate, ZKsync-aware comparisons to Ethereum transaction costs.
estimation developer-tools rich abstract evm l2 paymaster makerdao evm-chains zksync gasless starknet zk-proofs tableland gasfree abstract-blockchain pubdata
-
Updated
Aug 27, 2026 - TypeScript
ZK Proof of Liabilities on Stellar (Soroban) with on-chain UltraHonk verification.
-
Updated
Aug 26, 2026 - TypeScript
Receiz Offline Verifier — Verify originals anywhere. Drop in a Receiz file to confirm it’s unchanged (original) or detect any change (copy). No account. No network. Just pass/fail truth.
png cryptography offline forensics integrity sha256 webcrypto deterministic zk verifier zk-snarks groth16 zk-proofs kai-klok receiz offline-proof proof-infrastructure proof-intelligence proof-in-the-file proof-in-the-object
-
Updated
Aug 26, 2026 - HTML
⚡ Accelerate your pentesting with Blitz, a fast and efficient login page bruteforcer built in Go for unmatched speed and effectiveness.
react framework typescript array scientific-computing tensor numerics cpp-library hacktoberfest numerical-computation blitzjs prisma v2rayn fastapi prisma2 hysteria zk-proofs nekoray
-
Updated
Aug 26, 2026 - Go
Encrypted vault, ZK settlement archiving, x402 payment receipts, Agent Passport binding, and Solana anchoring for OpenClaw and agent runtimes. Drop-in stack — compression, privacy, payments, identity.
python compression encryption forensics developer-tools ai-agents audit-trail solana policy-enforcement security-tooling local-first zk-proofs x402 openclaw openclaw-skills openclaw-plugin agent-passport agent-vault private-compute liquefy
-
Updated
Aug 25, 2026 - Python
Weather prediction market built natively on Miden, using ZK commitments for private bet placement
-
Updated
Aug 25, 2026 - TypeScript
Verifiable-autonomy stack for robots — on-chain truth markets, Moultbook work-history attestation, RWA contracts for physical machines, ROS2 intent bridge, ZK safety proofs. Built on Juno (Cosmos).
-
Updated
Aug 24, 2026 - Rust
A zero-knowledge proof system in Rust by Pavan Nallamothu (pavanchow): Schnorr, Pedersen, range, equality, and ring proofs from scratch, no elliptic curves.
rust cryptography fiat-shamir zero-knowledge schnorr ring-signature zero-knowledge-proofs zk-proofs sigma-protocols pavanchow
-
Updated
Aug 24, 2026 - Rust
Anonymous on-chain voting with ZK proofs — create polls, cast verifiable ballots, tally results. Built on Petri net state machines.
-
Updated
Aug 21, 2026 - Go
Sealed-bid auction DApp on Midnight Network using Compact private state and ZK proofs
-
Updated
Aug 20, 2026 - TypeScript
??? Privacy-preserving Zero-Knowledge Age Verification Gateway built on Midnight Network using Compact smart contracts and Lace Wallet.
react privacy typescript smart-contracts web3 compact zero-knowledge cardano decentralized-identity vite zk-proofs midnight-network lace-wallet
-
Updated
Aug 26, 2026 - TypeScript
Umbra — anonymous, verifiable polls on Midnight. Public tally, private voter, one ballot per key, and Merkle-allowlist eligibility proven in zero knowledge.
-
Updated
Aug 18, 2026 - JavaScript
Zero-knowledge memory for local and sovereign AI — the operator cannot read it, and you can prove things about it without saying which record you mean
python cryptography privacy encryption merkle-tree zcash zk zero-knowledge depin transparency-log zk-proofs ai-memory sigma-protocols
-
Updated
Aug 17, 2026 - Python
Documentation site for the Soroban ZK Toolkit — zero-knowledge proof infrastructure for Stellar Soroban contracts
-
Updated
Aug 14, 2026 - TypeScript
Zero-knowledge proof verification contracts for Stellar Soroban — Groth16, Plonk, and Merkle proof verifiers
-
Updated
Aug 14, 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."