HNHacker News
TopNewBestAskShowJobs

duncancmt

8 karma · joined September 13, 2021

submissionscomments
duncancmt··on How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors
Ethereum considered implementing storage rents, like NEAR, but instead decided to transition to a verkle trie model that permits succinct proofs of state values. State rent presents some serious problems regarding composeability. What the state-of-the-art solution for state rent on resources that are effectively common goods?
duncancmt··on How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors
I'm not a Ethereum core dev, but this is my understanding:

The EVM is tailor-made to accurately account for the expense of executing programs in a distributed environment. It has a highly heterogeneous addressing scheme. Every opcode has execution cost metering that has been refined over time. Each word is 256 bits to make 256-bit cryptographic operations easier. There's significant tooling around the EVM for writing and analyzing smart contracts. Other EVM-based blockchains would need to migrate in parallel. The skillset of "blockchain application developer" has coalesced around Solidity and the EVM.

Bottom line is that although WASM offers compatibility with non-blockchain tooling, the blockchain-specific needs of Ethereum are so much better served by the EVM that migrating is difficult.

duncancmt··on How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors
Unfortunately EWASM is pretty much dead. The current direction of ETH2 R&D is still EVM-based.