Across V4 memperkenalkan arsitektur crosschain baru dan lebih baik. Sistem ini menggabungkan niat dan bukti pengetahuan nol (ZKP) untuk memperluas ke lebih banyak rantai, lebih cepat. Berikut rincian teknisnya. 🧵

Sebelumnya, Across menggunakan "jembatan kanonik" atau adaptor khusus rantai untuk memverifikasi pesan dari HubPool Ethereum. Ini bekerja dengan baik untuk L2 seperti Arbitrum dan Optimism, yang mengekspos status finalisasi Ethereum. Tapi desain ini membatasi ...

Untuk rantai non-EVM seperti BSC, model ini rusak. Tidak ada cara kanonik untuk memverifikasi status Ethereum. Ini berarti membangun adaptor khusus atau tidak mendukung rantai tersebut sama sekali. Tak satu pun dari itu adalah solusi optimal. Jadi kami menemukan cara yang lebih baik menggunakan ZKP.

Berikut prosesnya: Saat relayer mengisi pesanan crosschain, transaksi dikumpulkan ke dalam bundel pembayaran relayer, yang kemudian diverifikasi oleh Optimistic Oracle @UMAProtocol. Ini selalu terjadi di mainnet Ethereum.

Setelah bundel diverifikasi, Across HubPool memicu proses penyelesaian. Kemudian menulis hash pesan pembayaran ke kontrak HubPoolStore di slot penyimpanan tertentu. Peristiwa penyimpanan ini juga terjadi di mainnet Ethereum.

Setiap hash pesan dalam kontrak HubPoolStore sesuai dengan niat untuk membayar kembali lapisan pada rantai tujuan. Perhatikan bahwa pesan L1 → L2 dapat mewakili beberapa pembayaran (termasuk pengisian lambat). Ini karena mereka adalah bundel akar.

Ketika kontrak HubPoolStore menulis hash pesan tersimpan, kontrak tersebut memancarkan peristiwa StoredCallData. Peristiwa ini berisi hash pesan dan slot penyimpanan. Peristiwa + data yang disimpan membentuk jangkar untuk verifikasi ZK hilir.

Layanan yang disebut finaler mendengarkan peristiwa tersebut. Setelah mendeteksi yang baru, ia memulai proses untuk membuktikan bahwa hash pesan memang ditulis di Ethereum. Setiap pesan, yang hash disimpan, memiliki target yang dapat spesifik untuk rantainya.

Bukti ini memungkinkan pesan dieksekusi dengan aman di rantai tujuan. Tapi finalitas Ethereum tidak instan. Setelah finaler mengirim data ke ZK API, API menunggu melalui jendela finalitas Ethereum sebelum membuat bukti.

Untuk menghasilkan bukti ZK yang valid, komite sinkronisasi Ethereum harus menandatangani blok akhir tertentu. Jika pesan disertakan dalam atau sebelum blok itu, tanda tangan yang diperlukan tersedia untuk mulai menghasilkan bukti ZK.

Finaler mengkueri ZK API untuk menghasilkan bukti bahwa hash pesan tertentu ditulis ke slot penyimpanan HubPoolStore yang dikenal di blok Ethereum yang sudah selesai. Ini memungkinkan verifikasi pembayaran relayer tanpa kepercayaan di rantai tujuan apa pun.

ZK API menyiapkan input bukti termasuk (tetapi tidak terbatas pada): - Header suar yang diselesaikan - Sinkronkan tanda tangan komite - Bukti penyimpanan Merkle dari lapisan eksekusi Ethereum Ini membentuk dasar untuk menghasilkan bukti.

Across menyebarkan tumpukan generik pada rantai tujuan: - Kontrak Verifier (memvalidasi bukti ZK) - SP1Helios oleh @Succinct (menyimpan status Ethereum final) - Kontrak UniversalSpokepool (memverifikasi keaslian pesan selama eksekusi)

Setelah bukti ZK diverifikasi dan status dikonfirmasi, executeMsg() dapat menjalankan muatan dengan aman pada rantai tujuan. Tidak dapat dipercaya. Aman. Universal.

Ini berarti Across tidak lagi memerlukan adaptor khusus untuk setiap rantai. Hanya satu pipeline yang berfungsi di mana-mana: storeMsg() di Ethereum → bukti ZK → executeMsg() pada rantai tujuan apa pun yang dapat memverifikasi bukti SP1Helios.

Tidak ada asumsi kepercayaan. Tidak ada overhead integrasi. Hanya Niat + ZK.

Mengapa ini masalah besar? Ini secara dramatis memperluas jangkauan Aacross dengan membuka dukungan untuk rantai ekor panjang yang tidak dapat memverifikasi status Ethereum secara asli dan tidak memiliki jembatan kanonik. Hal ini membuat orientasi lebih cepat, lebih aman, dan lebih terukur.

Across tidak memerlukan jembatan kanonik untuk rantai ini. Itu hanya perlu kemampuan untuk memverifikasi bukti ZK dari status Ethereum. Ini mengurangi overhead integrasi, menghindari risiko menjembatani terpusat, dan memperkuat peran Ethereum sebagai akar kebenaran crosschain.