Mithril: The Road To Self Verification
summary
A Go full-node called Myithil verifies and replays confirmed Solana blocks locally (not a light client), implementing all syscalls and native programs and validated with the Fire Dancer conformance suite. It avoids gossip, pulls blocks from RPCs, and already replays the zk-gamma program; replay latency is ~400 ms per block, memory drops from ~100 GB to under 8 GB, and current runs use essentially one core, making self-verification feasible on commodity hardware.
AI-written summary · about
chapters (3)
related talks
44mDon't Trust, Verify Panel
18mState Proofs and Transaction Verification
30mPractical Zero Knowledge Proofs
16mAgora: Trust Less and Open More in Verification for Confidential Computing
24mEnhancing Protocol Security With ZK-Oracles
26mZLiTE: Lightweight Clients for Shielded Zcash Transactions Using Trusted Execution
42mVerify Identities Onchain Using Self SDK
22mHow to Make Real Time Proving Possible Today and Why