Yet another smart contract bug.
https://runtimeverification.com/blog/how-formal-verification-could-help-to-prevent-gridlock-bug/
—
#Ethereum #SmartContracts #Blockchain
1089863988173668354
ProTip: Don’t write smart contracts in a rush. — #Ethereum #SmartContracts Source Tweet ProTip: Don’t write smart contracts in a rush. — #Ethereum #SmartContracts — Ðaniel McClure (@danielmcclure) January 28, 2019
887816500316442624
It highlights the need for more sharing of best practises & warnings for common security issues with #Solidity #SmartContracts on #Ethereum.
887815621077061632
Today millions of dollars worth of $ETH have been stolen by “good” and “bad” actors from #Ethereum #SmartContracts.
https://www.reddit.com/r/ethereum/comments/6obofq/a_modified_version_of_a_common_multisig_had_a/