Gelecekte, neredeyse tüm donanım ve yazılımlar resmi olarak doğrulanacak ve kanıtlanabilir şekilde doğrulanacak, matematik ve fizik de de.