Todennettavissa oleva sekvensointi vaaditaan, jotta mikrorakenneherkät sovellukset ovat täysin ketjussa.