🧵 @Agglayer v0.3 sudah keluar. Sebagian besar jembatan masih mengandalkan getaran "percayalah pada kami". Rilis ini akhirnya membalik model: "Jangan percaya jembatan, verifikasi keadaan." Izinkan saya memandu Anda melalui apa yang berubah dan mengapa itu penting 👇

Sebelum v0.3, Agglayer sebagian besar berfokus pada verifikasi pesan lintas rantai — bukan apa yang terjadi di dalam rantai. Katakanlah Rantai A mengirim 100 USDC ke Rantai B. Model lama baru saja memverifikasi bahwa "pesan untuk mengirim 100 USDC" telah disahkan. Tapi itu tidak membuktikan: - apakah Chain A benar-benar memotong 100 USDC dari dompet Anda - atau apakah Chain B mencetak token dengan benar Anda mempercayai sequencer atau logika jembatan untuk "melakukan hal yang benar." Dengan v0.3, Agglayer menambahkan verifikasi penuh dari langkah-langkah internal tersebut. Ini memeriksa: - Bahwa transisi status pada Rantai A valid (misalnya saldo dipotong) - Bahwa perilaku jembatan dan klaim pada Rantai B cocok dengan apa yang sebenarnya terjadi Tidak ada lagi kepercayaan buta. Semuanya dapat dibuktikan sekarang.

Agglayer v0.3 adalah peningkatan besar untuk bukti pesimis. Ide intinya? Rantai sekarang melampirkan bukti yang menunjukkan bahwa mereka telah menyelesaikan blok mereka sendiri dengan benar — berdasarkan aturan mereka sendiri. Anggap saja seperti #2FA untuk penyelesaian: salah satu faktor adalah perbedaan keadaan, yang kedua adalah bukti bahwa blok itu dibangun dengan jujur.

Keamanan Agglayer v0.3 diperkuat melalui alur tiga langkah: 1️⃣ Bukti transisi negara membuktikan transisi keadaannya sendiri (melalui bukti zk atau ECDSA) 2️⃣ Bukti AggProver memverifikasi bukti transisi status dan batasan jembatan (yaitu, keluar, perubahan root) 3️⃣ Akhirnya, semuanya dieksekusi kembali. Ini membuat seluruh sistem dapat diverifikasi dan tahan rusak — tidak ada jalan pintas, tidak ada asumsi kepercayaan. Setiap langkah dijalankan dalam zkVM, di mana kami menggunakan @SuccinctLabs SP1! Itu tiga Bukti SP1 per komitmen status rantai! Kepercayaan Tiga Kali Lipat! Ini tidak dapat dipercaya, modular, dan jauh lebih aman. Mari kita jelaskan setiap lapisan satu per satu:

Langkah 1 — Bukti Transisi Status Di sinilah setiap rantai membuktikan bahwa transisi status internalnya sendiri valid. Jika Anda adalah rollup zk, Anda menghasilkan bukti validitas penuh (misalnya, Plonky2/3, STARK, dll). Jika tidak, Anda dapat menandatangani root status baru menggunakan ECDSA. Tujuannya di sini: membuktikan "Saya memproses transaksi ini dan memperbarui status saya dengan jujur." Hasilnya adalah bukti negara lokal - belum mengatakan apa-apa tentang jembatan, hanya kebenaran internal.