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