2 ms·All EVM programs that run on Ethereum are trivially decidable because of the per-block gas limit ;Pby mgraczyk 5y agoAll EVM programs that run on Ethereum are trivially decidable because of the per-block gas limit ;P