Tag: merkleization¶
EPF Week 6 - Ivan Anishchuk - the merkle-branch completeness proof goes upstream¶
2026-08-03
Categories: weekly-update
Tags: epf, lean4, formal-verification, merkleization
Short version:
2026-08-03
Categories: weekly-update
Tags: epf, lean4, formal-verification, merkleization
Short version: