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