Verifierbar sekvensering krävs för att mikrostrukturkänsliga applikationer ska vara helt on-chain.