A sequenciação verificável é necessária para aplicações sensíveis à microestrutura serem totalmente on-chain.