Pe Aleo, calculele sunt transformate în obiecte matematice scurte pe care oricine le poate verifica rapid. Acestea nu sunt calculele în sine, ci dovezi că au fost făcute corect. Cum le numim?