Can Formal Verification Have Prevented The DAO Hack?
BlockchainSecurity
A NuSMV model of The DAO's recursive-call bug shows how formal methods catch the vulnerability that drained $245M. Verification confirms the fix in 38 states.
2 posts
A NuSMV model of The DAO's recursive-call bug shows how formal methods catch the vulnerability that drained $245M. Verification confirms the fix in 38 states.
A Bitcoin P2P network simulated in Mininet tests PoW, PoS, and PBFT consensus. With 80% hashing power, double-spend attacks succeeded 33.8% of the time (22/65).