Published on July 13th, 2018 | by bitcoin0
High priced venture to destroy smart contract bugs
As this week’s Bancor hack and this year’s spate of smaller smart contract fails has shown, creating bug-free code is virtually impossible.
How New Blockchains Are Approaching Smart Contracts
At Blockchain Expo in Amsterdam, news.Bitcoin.com spoke with Jordan Andrews, Smart Contracts Lead at Stratis.
Cardano’s smart contracts must be formally verified to ensure they’re free of bugs and run using a virtual machine called IELE.
Ethereum’s smart contract bugs are already out there.
Do you think smart contract bugs will ever be completely eradicated?