Trên Aleo, các phép toán được chuyển thành các đối tượng toán học ngắn gọn mà bất kỳ ai cũng có thể nhanh chóng xác minh. Đây không phải là các phép toán tự thân mà là bằng chứng cho thấy chúng đã được thực hiện đúng cách. Chúng ta gọi chúng là gì?