Question 1

ATA terkait dengan proyek apa?

Accepted Answer

ATA adalah token proyek Automata. Posisi inti Automata adalah lapisan pembuktian mesin: lapisan ini memungkinkan keadaan perangkat keras dan perangkat lunak tempat layanan berjalan diverifikasi, sehingga pengguna atau kontrak pintar tidak perlu hanya mengandalkan janji lisan operator. Posisi ini tidak berarti ATA sendiri merupakan bukti komputasi. Bukti dihasilkan oleh lingkungan eksekusi tepercaya dan bukti kriptografis yang dihasilkannya; dalam dokumentasi Automata 2.0, ATA terkait dengan tata kelola dan desain ekonomi protokol, dan hak token yang secara spesifik telah diimplementasikan harus dibedakan dari uraian desain tersebut.

Question 2

Apa fungsi lingkungan eksekusi tepercaya Automata?

Accepted Answer

Lingkungan eksekusi tepercaya (TEE) adalah lingkungan komputasi yang diisolasi secara paksa oleh perangkat keras, misalnya Intel SGX atau TDX. Lingkungan ini dapat menghasilkan pengesahan jarak jauh, yaitu bukti kriptografis mengenai perangkat keras yang berjalan, kode yang dieksekusi, dan keadaan keamanannya. Peran Automata adalah membawa bukti yang semula dihasilkan oleh perangkat keras ini ke lingkungan yang dapat digunakan di on-chain: kontrak pintar dapat memverifikasi bukti, alih-alih langsung mempercayai pernyataan operator layanan. Yang dibuktikan di sini adalah lingkungan dan keadaan kode tertentu; hal ini tidak dapat secara sederhana dipahami sebagai jaminan tanpa syarat atas seluruh hasil bisnis layanan.

Question 3

Bagaimana pembuktian mesin menjadi informasi yang dapat diverifikasi on-chain?

Accepted Answer

Proses utamanya adalah: TEE terlebih dahulu menjalankan kode dalam lingkungan terisolasi dan menghasilkan pengesahan jarak jauh; pengesahan tersebut memuat informasi kriptografis yang dapat mengidentifikasi perangkat keras dan keadaan kode; kemudian komponen pembuktian on-chain Automata memverifikasi bukti ini, sehingga kontrak pintar dapat menentukan berdasarkan bukti tersebut apakah layanan berjalan dalam lingkungan yang diharapkan. Yang berubah adalah cara verifikasinya. Semula kontrak hanya dapat menerima hasil yang diajukan oleh layanan off-chain, atau bergantung pada reputasi operator; setelah bukti yang dapat diverifikasi diintegrasikan, kontrak dapat menjadikan “apakah perangkat keras dan keadaan kode sesuai harapan” sebagai syarat untuk logika berikutnya. Apakah bukti diadopsi oleh suatu aplikasi tetap bergantung pada apakah aplikasi tersebut memasukkan hasil verifikasi ke dalam aturannya sendiri.

Question 4

Kemampuan terkait kepercayaan mesin apa yang disediakan Automata?

Accepted Answer

Kemampuan yang dicantumkan dalam dokumentasi Automata mencakup verifikasi bukti on-chain, alat operasional untuk memelihara materi yang diperlukan oleh bukti, serta build yang dapat direproduksi. Tujuan build yang dapat direproduksi adalah membuktikan bahwa program biner yang dirilis memang dibangun dari kode sumber yang telah ditinjau, bukan sekadar membuktikan bahwa suatu server sedang menjalankan program apa pun. Kemampuan ini dapat digunakan untuk skenario yang memerlukan verifikasi integritas komputasi: di satu sisi mengonfirmasi lingkungan berjalan dan keadaan kode, di sisi lain memungkinkan aplikasi on-chain membaca hasil verifikasi. Kemampuan tersebut tidak secara otomatis membuat seluruh komputasi off-chain dapat dipercaya; aplikasi tetap harus secara jelas memilih identitas kode yang diverifikasi, aturan verifikasi, dan cara penanganan saat terjadi kegagalan.

Question 5

Apa peran ATA dalam desain Automata 2.0?

Accepted Answer

Dalam desain Automata 2.0, ATA terkait dengan tata kelola protokol dan distribusi nilai yang terbentuk dari biaya protokol. Gagasan yang dijelaskan dokumen adalah bahwa pemegang ATA yang berpartisipasi dalam tata kelola dapat berpartisipasi dalam distribusi nilai biaya protokol sesuai porsi partisipasinya. Hal ini harus dipahami sebagai desain ekonomi 2.0, bukan pendapatan yang telah dijamin atau terjadi secara otomatis. Apakah biaya dihasilkan, perilaku penggunaan mana yang dihitung sebagai biaya protokol, syarat spesifik partisipasi tata kelola, serta apakah desain tersebut diterapkan sesuai dokumen akan menentukan hasil aktual; desain ini tidak dapat langsung dinyatakan sebagai pendapatan tetap ATA saat ini.

Harga Automata (ATA)