Auf Aleo werden Berechnungen in kurze mathematische Objekte umgewandelt, die jeder schnell überprüfen kann. Dies sind nicht die Berechnungen selbst, sondern der Nachweis, dass sie korrekt durchgeführt wurden. Wie nennen wir sie?