Question 1

ATAはどのプロジェクトに対応していますか？

Accepted Answer

ATAはAutomataプロジェクトのトークンです。Automataの中核的な位置付けはマシン証明レイヤーであり、サービスが稼働するハードウェアおよびソフトウェアの状態を検証可能にすることで、ユーザーまたはスマートコントラクトが運営者の口頭での約束だけに依存しなくて済むようにします。 この位置付けは、ATA自体が計算証明であることを意味しません。証明は信頼実行環境およびそれが生成する暗号学的証拠によって担われます。Automata 2.0の文書ではATAはガバナンスおよびプロトコルの経済設計と関連付けられており、具体的に実装済みのトークン権利はその設計説明と区別すべきです。

Question 2

Automataの信頼実行環境にはどのような役割がありますか？

Accepted Answer

信頼実行環境（TEE）は、Intel SGXまたはTDXなど、ハードウェアによって強制的に隔離された計算環境です。これは、稼働しているハードウェア、実行されたコード、そのセキュリティ状態に関する暗号学的証拠であるリモート証明を生成できます。 Automataの役割は、ハードウェアが生成するこの種の証拠をオンチェーンで利用可能な環境へ持ち込むことです。スマートコントラクトは、サービス運営者の主張を直接信用するのではなく、証明を検証できます。ここで証明されるのは特定の環境およびコードの状態であり、サービスのあらゆる業務結果に対する無条件の保証と単純に理解することはできません。

Question 3

マシン証明はどのようにオンチェーンで検証可能な情報になりますか？

Accepted Answer

重要な過程は次のとおりです。TEEがまず隔離環境でコードを実行し、リモート証明を生成します。この証明には、識別可能なハードウェアおよびコード状態に関する暗号学的情報が含まれます。続いてAutomataのオンチェーン証明コンポーネントがこの証拠を検証し、スマートコントラクトがこれに基づいてサービスが想定どおりの環境で稼働しているかを判断できるようにします。 これによって変わるのは検証方法です。従来、コントラクトはオフチェーンサービスが提出した結果を受け入れるか、運営者の信用に依存するしかありませんでした。検証可能な証明を接続した後は、コントラクトは「想定されたハードウェアおよびコード状態に適合するか」を後続ロジックの条件にできます。証明があるアプリケーションに採用されるかどうかは、引き続きそのアプリケーションが検証結果を自身のルールに組み込むかどうかに依存します。

Question 4

Automataはマシントラストに関してどのような機能を提供しますか？

Accepted Answer

Automataの文書に記載された機能には、オンチェーンでの証明検証、証明に必要な資料を維持するための運用ツール、再現可能ビルドが含まれます。再現可能ビルドの目的は、公開されたバイナリプログラムがレビュー済みのソースコードから実際にビルドされたことを証明することであり、単にあるサーバーが任意のプログラムを実行していることを証明するものではありません。 これらの機能は、計算完全性の検証を必要とする場面で使用できます。一方では実行環境およびコード状態を確認し、他方ではオンチェーンアプリケーションが検証結果を読み取れるようにします。これらはすべてのオフチェーン計算を自動的に信頼可能にするものではありません。アプリケーションは、検証するコード識別子、検証ルール、失敗時の処理を引き続き明確に選択する必要があります。

Question 5

ATAはAutomata 2.0の設計でどのような役割を果たしますか？

Accepted Answer

Automata 2.0の設計では、ATAはプロトコルガバナンスおよびプロトコル料金から生じる価値分配に関連付けられています。文書で説明された考え方では、ガバナンスに参加するATA保有者は、その参加持分に応じてプロトコル料金の価値分配に参加できます。 これは2.0の経済設計として理解すべきであり、保証された自動的に発生する収益ではありません。料金が発生するかどうか、どの利用行為がプロトコル料金に算入されるか、ガバナンス参加の具体的条件、設計が文書どおりに実装されるかどうかはいずれも実際の結果を左右します。この設計をATAの現在の固定収益として直接表現することはできません。

Automata (ATA)価格