Na Aleo, os cálculos são transformados em pequenos objetos matemáticos que qualquer um pode verificar rapidamente. Estes não são os cálculos em si, mas sim provas de que foram realizados corretamente. Como os chamamos?