zkstark

NADO is a phone-mineable, fair-launch, post-quantum blockchain. Signatures are quantum-resistant (ML-DSA-44), and transfers can be made fully private with in-browser zero-knowledge STARK proofs — no rig, no install. Open one link and you're a full participant: wallet, miner, explorer and shielded pool in a single web page.

Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines

Verify TLSNotary proofs inside RISC0 zkVM to generate zk‐STARK of HTTPS session integrity

ZKSTARK signature in Cairo

❄️(zk)Certificates Of Deposit Ledger - Fuego's modular ZK (bulletproofs) L3 Hyperchain rollup. Facilitating COLD interest payments, Ξmbers (HEAT) mint verification, C0LDAO, Fuego Mob assets, & DIGM treasury. Powered 100% by XFG collateral burns via Fuego Ξmbers (HEAT) erc20 custom gas token.🔥1 Fwei = 1M Gwei

Port the original "stark101" tutorial(python) to Rust version

a tiny Java implementation for zk-STARK

Useful Starknet tools wrapped in Docker

Yet Another Zero Knowledge Benchmark

Cross-chain privacy swap SDK - HTLC atomic swaps with zkSNARKs, stealth addresses, and privacy hub for 6 blockchains (Zcash, Aztec, Miden, Mina, Fhenix, Osmosis)