welltyped-systems/verified-ledger

A reference architecture for differential fuzzing using a formally verified oracle

3 best points · 1 comments · 1 Hacker News post · 46 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (3 points, 1 comments, by xmaruff, 2026-01-02)