No Aleo, os cálculos são transformados em objetos matemáticos curtos que qualquer pessoa pode verificar rapidamente. Estes não são os cálculos em si, mas evidências de que foram feitos corretamente. Como os chamamos?