Tech deep dive · On the roadmap
Formal Verification
PlannedLow-level Security
Mathematically proving contracts correct, and the tools (K-framework, Coq) that do it.
This page isn’t written yet. It’s on the roadmap.
Read now
Live content on this subject, available today.
More planned in Low-level Security
- Planned
Reentrancy & Exploit Classes
The bug families — reentrancy, integer overflow, access control — and how each famously went wrong.
- Planned
51% Attacks & Reorgs
Deep chain reorganizations, exchange confirmation thresholds, and what a majority hashrate can do.
- Planned
Address Collisions & Vanity Addresses
The birthday-problem math behind vanity prefixes, and why a collision is computationally out of reach.
- Planned
Transaction Malleability
What malleability is, how SegWit fixed it, and the Mt. Gox excuse that wasn’t.