@Hyolobrika @feld you may be interested to know that a different chain, Arbitrum, has smart contracts that run on a WASM engine. That is better in a lot of ways but also makes it harder to verify contracts since a lot more languages can compile to it but don't have deterministic builds.