Na Aleo obliczenia są przekształcane w krótkie obiekty matematyczne, które każdy może szybko zweryfikować. To nie są same obliczenia, ale dowody, że zostały wykonane poprawnie. Jak je nazywamy?