SizzLean: Lean 4 SSZ library with formal verification of codec correctness

A formally verified Lean 4 implementation of Ethereum's Serialization module ensures consensus-critical serialization logic is mathematically proven correct, reducing implementation bugs.

protocol1d agopermalink farcaster suggest a link

This permalink is the canonical link for this story. It updates as new coverage joins the cluster. Know a post that belongs here? Suggest a link.