Sur Aleo, les calculs sont transformés en courts objets mathématiques que chacun peut rapidement vérifier. Ce ne sont pas les calculs eux-mêmes, mais des preuves qu'ils ont été effectués correctement. Comment les appelons-nous ?