Content
@
0 reply
0 recast
2 reactions
maurelian
@maurelian.eth
https://warpcast.com/eulerlagrange.eth/0x76a7dc How can a new EVM language get past this “cold start” problem? No real usage -> unsafe -> no real usage
7 replies
2 recasts
12 reactions
frangio
@frangio
Bootstrap the language by compiling to Solidity at first. Instruct users of the language to have the Solidity output audited. Gain confidence in the language and grow an ecosystem this way. Eventually develop an EVM backend and fuzz it against the Solidity backend. Pray.
1 reply
0 recast
4 reactions
frangio
@frangio
That said new compilers should not be targetting EVM directly. We need compiler infrastructure like LLVM. I think Yul was supposed to be this but I don't think it has succeeded so far.
1 reply
0 recast
0 reaction
maurelian
@maurelian.eth
Any idea why we can’t just use LLVM itself? I’ve seen projects that compile solidity to it, but they got no traction.
1 reply
0 recast
0 reaction
frangio
@frangio
It seems to be folklore that LLVM is not a good fit to target the EVM. This is the best overview I could find: https://github.com/ewasm/design/blob/8ecee83f9ac58aa5f81b01498bc729789535bc29/comparison.md#llvm-ir
0 reply
0 recast
0 reaction