[SkyMarshal]

Hence the ongoing debate around whether verification should be less computationally costly than computation (BTC) or whether a system can be architected to successfully scale even when verification == computation (ETH).