Kerentanan Singkat Verifikasi ZK Arbitrum: Apa yang Terjadi

Succinct baru saja mencapai tonggak penting—mereka telah berhasil membuktikan blok Arbitrum nyata on-chain menggunakan bukti zero-knowledge. Kami berbicara tentang blok Arbitrum penuh, baik kontrak EVM (Solidity) maupun runtime Stylus yang lebih baru (Rust/C) dalam satu bukti. Ini adalah jenis hal yang hanya berfungsi jika infrastrukturnya benar-benar solid.

Untuk mewujudkannya, Succinct harus membangun beberapa pemrosesan berat ke dalam sistem bukti SP1 mereka:

• Operasi akses memori yang tidak memperbesar ukuran bukti
• Transpilasi WASM-ke-RISC-V (pada dasarnya menulis ulang WebAssembly ke dalam format yang dapat sebenarnya ditangani oleh ZK)

Waktunya sejalan dengan kemitraan mereka di bulan Agustus dengan Tandem untuk pengiriman Arbitrum ZK eksklusif. Jadi, pencapaian ini bukan hanya sekadar pamer—ini adalah bukti nyata pertama bahwa tumpukan Arbitrum + Succinct benar-benar dapat dikompilasi.

Mengapa ini penting: Jika bukti ZK dari blok Arbitrum menjadi andal dan skalabel, itu adalah vektor lain untuk verifikasi lintas-rantai dan protokol klien ringan. Arbitrum mendapatkan interop yang lebih cepat, Succinct memvalidasi kelayakan teknis dari pendekatan mereka.