Verify Cairo contracts on Starkscan in 1 minute.

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

zero knowledge consensus for pos chains

Rescue Prime Hash Function

Verifiable private analytics: commit sensitive datasets, prove aggregate queries in zero-knowledge. Built on Glass.

A pure functional language whose compiler is written in Glass and rebuilds itself to byte-identical C — carrying a from-scratch zk-STARK prover whose proofs are judged by three independent lineages. Write a function, get a proof; exit codes carry the verdict. Research-grade, honestly bounded.

zero knowledge consensus for pos chains

Compliance console that screens crypto deposits for sanctions/AML exposure by tracing the sender across a transaction graph, returning a deterministic, explainable verdict (Accepted / Review / Blocked) — with behavioral identity-linking and zk-STARK proof-of-innocence for private deposits.

Lightweight Neptune Cash wallet for Mobile https://play.google.com/store/apps/details?id=com.npt.wallet

Python ZK-STARK implementation for learning and research

A simple STARK implementation in Go.

Node for Soul of Satoshi — a post-quantum Layer 1 with privacy and a trustless Ethereum bridge

Zero-Knowledge Audit Protocol — public information, citations, ZKAP architecture references, and protocol-level reference snippets in Python

zkShine DApp Interface — Web3 dashboard for privacy transactions, VPN routing, and node control on Solana.

very intimate notes of my Cairo exploration

zk-STARK verifier for the Real Democracy voting system — open for external audit. Rust/Winterfell.

Anonymous Attributes Verification System Based on Zero-Knowledge Proofs and Distributed Blockchain Networks.

Theoretical foundations for Verifiable Random Peer Sampling

Standalone CLI verifier for Minerva ZK-STARK proofs. Verify any proof without an account.

Minerva SDK — TypeScript/JavaScript client for the Minerva ZK-STARK proof engine. Generate, verify, and share zero-knowledge proofs.