Projects
Production systems, open-source contributions, and research in zero-knowledge proofs and blockchain infrastructure.
Cross-Chain STARK Proof Verifier
First on-chain STARK verifier on Solana
RustSolanaSTARKZKCryptography
Piltover — L3–L2 Settlement Core Contract
Security-audited settlement contract powering the first L3 on StarkNet
CairoStarkNetL3Smart ContractsSecurity
Saya — Proving Orchestrator
End-to-end proving pipeline that settles Dojo game blocks on StarkNet L2
RustStarkNetSTARKTEEZKDojo
HTTP Prover
Web service wrapping Stone Prover — clean REST interface for the full STARK proving pipeline
RustSTARKStone ProverREST APIZK