Перевірене секвенування необхідне для того, щоб програми, чутливі до мікроструктури, були повністю ончейн.