La sequenza verificabile è necessaria per le applicazioni sensibili alla microstruttura per essere completamente on-chain.