Re:Coming Soon: Machine-Checked Proofs in Everyday Development
by seanwilson on Sunday December 31, 2017 @10:27AM
(#16040899)
I'm not so sure to be honest. I've been super surprised at just how few high profile hacks there have been against cryptocurrency protocols so far even when you've got clients implemented in C++. I wish I could explain why as well because you'd think all you'd need is a small flaw to attack the whole network when most nodes are running the same software.
[ Parent
| on HN ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development
by firethief on Sunday December 31, 2017 @02:26PM
(#16042253)
Normal security practices are applicable to the node/wallet software. Smart contracts are another story -- think of the DAO heist. Short programs whose behavior determine the fate of $$$ are exactly the kind of thing where verification excels.