På Aleo omvandlas beräkningar till korta matematiska objekt som vem som helst snabbt kan verifiera. Detta är inte beräkningarna i sig utan bevis på att de gjordes korrekt. Vad kallar vi dem?