Aleo では、計算は誰でもすぐに検証できる短い数学的オブジェクトに変換されます。これらは計算そのものではなく、正しく行われた証拠です。私たちはそれらを何と呼びますか?