zk-stark 开源项目推荐（30 个）

starkscan /starkscan-verifier

Verify Cairo contracts on Starkscan in 1 minute.

Boopi7 /zk-vrf-consensus

zero knowledge consensus for pos chains

itzmeanjan /rescue-prime

Rescue Prime Hash Function

dukanx /SentinelFlow-fintech-hackathon

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.

EgorKhaklin /tiresias

Verifiable private analytics: commit a sensitive dataset, then answer aggregate queries with proofs checked against the commitment.

zeokin /npt-mobile-wallet

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

SherifSystems /Pythonstark

Python ZK-STARK implementation for learning and research

EgorKhaklin /Glass

A pure functional language whose compiler is written in Glass and rebuilds itself to byte-identical C, with a from-scratch STARK prover: write a function, get a proof that an independent verifier checks. Research-grade and unaudited.

jonas089 /zk-vrf-consensus

zero knowledge consensus for pos chains

gitctrlx /stark-from-scratch

A simple STARK implementation in Go.

SOS-Soul-of-Satoshi /sos-node

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

JUX-Foundation-LLC /vote-stark

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

iotexproject /rs-proximity-gaps

Lean 4 formalization, Python verification, and manuscripts for two ePrint papers on FRI proximity gaps above the Johnson radius (Chai & Fan, IoTeX, 2026) — ePrint 2026/861 + 2026/858.

hclivess /stark-soundness-analysis

Concrete soundness modelling for FRI-based STARKs: where the exploitable slack is

STARK-hackathon-Mines-Paris /STARK

An end-to-end STARK prover and verifier written from scratch in Python. Radix-2 NTT over a 2-adic prime field replaces O(n³) Lagrange interpolation — 117× faster prover, 223× prover/verifier asymmetry, byte-identical proofs across both backends. 612 tests.

zkshinedev /ui

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

radoslavov-zkap /zkap-public

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

wyz3r0 /IronLetter

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

Neal-C /exploring_cairo

very intimate notes of my Cairo exploration

digitalforgeca /minerva-sdk

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