Na Aleo jsou výpočty převedeny na krátké matematické objekty, které může kdokoli rychle ověřit. Nejedná se o samotné výpočty, ale o důkaz, že byly provedeny správně. Jak jim říkáme?