The #evm Is Fundamentally Unsafe
▻https://hackernoon.com/the-evm-is-fundamentally-unsafe-d69f2e3b908b?source=rss----3a8144eabfe3-
An in-depth examination of the #ethereum Virtual Machine vs. Kadena’s Pact smart contract languageOver the past three years of smart contract development, the cryptocurrency community has seen smart contracts written in Solidity subverted by a variety of bugs and exploits (the DAO exploit, the Parity multi-sig wallet bug, etc.), and it is common to pin the blame for the preponderance of unsafe smart contracts on the Solidity smart contract language and its many quirks. However, we maintain that some of the worst flaws in Solidity — a lack of inspection and traceability, the opacity and illegibility of code on-chain, and expensive, slow, and dangerous calls to external smart contracts — stem directly from foundational design decisions in the architecture of the Ethereum Virtual Machine (...)