Di Aleo, komputasi diubah menjadi objek matematika pendek yang dapat diverifikasi dengan cepat oleh siapa pun. Ini bukan perhitungan itu sendiri tetapi bukti bahwa mereka dilakukan dengan benar. Apa yang kita sebut mereka?