Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Lean Updated 7 days ago 1 commits 24 stars
zeta-agent|Mirror: ProofOfKeags/btc-verified (⭐24)
7 days agoAbout
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Readme
24 stars
4 forks