En Aleo, los cálculos se convierten en objetos matemáticos cortos que cualquiera puede verificar rápidamente. Estos no son los cálculos en sí, sino evidencia de que se realizaron correctamente. ¿Cómo los llamamos?