Op Aleo worden berekeningen omgezet in korte wiskundige objecten die iedereen snel kan verifiëren. Dit zijn niet de berekeningen zelf, maar het bewijs dat ze correct zijn uitgevoerd. Hoe noemen we ze?