На Aleo вычисления превращаются в короткие математические объекты, которые любой может быстро проверить. Это не сами вычисления, а доказательства того, что они были выполнены правильно. Как мы их называем?