På Aleo blir beregninger omgjort til korte matematiske objekter som alle raskt kan verifisere. Dette er ikke beregningene i seg selv, men bevis på at de ble gjort riktig. Hva kaller vi dem?