Su Aleo, i calcoli vengono trasformati in brevi oggetti matematici che chiunque può verificare rapidamente. Questi non sono i calcoli stessi, ma la prova che sono stati eseguiti correttamente. Come li chiamiamo?