Starknet Post-Mortem Rincian Bug Eksekusi di Balik Pemadaman Singkat Mainnet
- Bug status blockifier menyebabkan ketidaksesuaian dengan lapisan pembuktian, yang mengakibatkan penghentian dan rollback aktivitas Starknet terbaru.
- Sistem keamanan menghentikan eksekusi yang bermasalah sebelum finalitas Ethereum, meskipun pengguna masih mengalami waktu henti dan pembalikan transaksi.
- Sekitar 18 menit aktivitas jaringan dibatalkan, memaksa pengguna untuk mengirim ulang transaksi setelah layanan kembali normal.
- Starknet berencana melakukan pengujian yang lebih ketat dan deteksi yang lebih cepat karena sistem layer-2 yang kompleks terus menghadapi risiko keandalan.
Starknet telah merilis laporan post-mortem yang menjelaskan penyebab gangguan singkat di mainnet pada hari Senin. Insiden tersebut menyebabkan penghentian jaringan singkat dan rollback blok terbaru.
Namun, hal ini tidak mempengaruhi penyelesaian akhir di Ethereum. Menurut tim, sistem keamanan bawaan bekerja sesuai rencana, meskipun pengguna mengalami waktu henti dan pembalikan transaksi.
Waktu Henti Starknet Diketahui Berasal dari Bug Penanganan Status Blockifier
Seperti tercantum dalam laporan, gangguan tersebut berasal dari ketidaksesuaian status jaringan antara lapisan eksekusi Starknet, yang dikenal sebagai blockifier, dan lapisan pembuktiannya. Blockifier bertanggung jawab untuk mengeksekusi transaksi. Sementara itu, lapisan pembuktian memverifikasi bahwa eksekusi tersebut benar sebelum diselesaikan di Ethereum.
Bug perangkat lunak di dalam blockifier menyebabkan hasil transaksi yang tidak benar di bawah kondisi tertentu yang sangat spesifik. Termasuk di dalamnya panggilan lintas fungsi, perubahan status, pembalikan transaksi, dan logika yang menangkap pembalikan tersebut.
Dalam kasus ekstrem tersebut, blockifier secara keliru menyimpan perubahan status yang seharusnya dibuang setelah fungsi mengalami revert. Akibatnya, hasil transaksi berbeda dari yang diharapkan oleh lapisan pembuktian.
Karena ketidakkonsistenan tersebut, eksekusi yang bermasalah tidak pernah mencapai finalitas Ethereum. Sebaliknya, jaringan berhenti dan melakukan rollback aktivitas terbaru untuk mengembalikan status yang konsisten. Tim Starknet mengatakan bahwa perilaku ini mencerminkan prinsip desain inti yang berfokus pada menjaga kebenaran bahkan ketika perangkat lunak eksekusi berperilaku tidak terduga.
Setelah insiden tersebut, dilakukan reorganisasi blok yang menghapus sekitar 18 menit aktivitas jaringan. Selama waktu itu, transaksi yang dikonfirmasi dibatalkan dan harus dikirim ulang setelah jaringan kembali normal. Starknet menyatakan bahwa fungsi penuh telah dipulihkan sejak saat itu.
Gangguan Berulang Menyoroti Kompleksitas Jaringan Layer-2
Pada tahun 2025, pengguna Starknet menyaksikan gangguan yang lebih mengganggu daripada insiden hari Senin. Pada bulan September, upgrade protokol besar bernama Grinta memicu bug sequencer yang menghentikan jaringan selama lebih dari lima jam.
Sumber Gambar: Starknet
Selama periode tersebut, transaksi tidak dapat diproses, memaksa pengguna untuk menunggu atau mengirim ulang aktivitas. Dua reorganisasi rantai diperlukan untuk mengembalikan operasi normal, dan sekitar satu jam aktivitas jaringan dibatalkan.
Pengguna yang terdampak oleh kejadian tersebut juga harus mengirim ulang transaksi, menciptakan gesekan bagi peserta pasar yang aktif. Insiden-insiden ini menunjukkan tantangan yang terus berlangsung yang dihadapi oleh jaringan layer-2 yang canggih.
Starknet berjalan di beberapa sistem yang saling terkait, termasuk mesin eksekusi, lapisan pembuktian zero-knowledge, sequencers, dan penyelesaian di Ethereum. Setiap lapisan meningkatkan keamanan atau skalabilitas, tetapi juga meningkatkan kompleksitas.
Seiring semakin banyak lapisan yang berinteraksi, bug perangkat lunak langka dapat muncul dengan cara yang tidak terduga, bahkan ketika mekanisme keamanan inti tetap utuh.
Insiden Starknet Menyoroti Biaya Pengguna dari Reorganisasi Layer-2
Gangguan terbaru menggambarkan bagaimana kesalahan eksekusi kecil masih dapat memicu gangguan yang terlihat, meskipun sistem keamanan berfungsi dengan benar. Lapisan pembuktian Starknet berfungsi sebagai pelindung, menangkap inkonsistensi sebelum penyelesaian akhir. Namun, perlindungan tersebut tidak menghilangkan biaya yang dihadapi pengguna akibat waktu henti dan reorganisasi.
Kesalahan eksekusi kecil masih dapat menyebabkan gangguan jaringan yang nyata, bahkan ketika sistem keamanan bawaan bekerja sesuai rencana. Dalam kasus Starknet, lapisan pembuktian mendeteksi transaksi yang bermasalah sebelum mencapai penyelesaian akhir di Ethereum, mencegah kerusakan permanen pada jaringan.
Bahkan dengan dana pengguna yang terlindungi, waktu henti dan reorganisasi rantai tetap mengganggu aktivitas normal. Pedagang dan aplikasi yang bergantung pada eksekusi transaksi yang cepat dan dapat diprediksi paling terdampak, karena blok yang dibalik memaksa pengguna mengirim ulang transaksi dan mengelola penundaan yang tidak terduga.
Starknet Memperketat Pengujian di Sekitar Sistem Blockifier dan Pembuktian
Tinjauan rekayasa yang berkelanjutan sedang dilakukan di Starknet setelah gangguan utama baru-baru ini, dengan fokus khusus pada pengurangan risiko insiden serupa. Suite pengujian fuzz baru sedang diperkenalkan untuk membandingkan hasil eksekusi blockifier secara langsung dengan sistem pembuktian.
Audit internal terhadap logika revert blockifier juga sedang berlangsung untuk mengidentifikasi skenario lain yang dapat menyebabkan penanganan status yang tidak benar. Selain itu, tim berencana memperpendek waktu antara eksekusi transaksi dan eksekusi yang kompatibel dengan prover.
Perbandingan yang lebih cepat akan memungkinkan ketidaksesuaian dideteksi lebih awal, membatasi berapa banyak aktivitas jaringan yang perlu di-rollback.
Starknet memandang insiden ini sebagai bukti bahwa model keamanan mereka bekerja sesuai desain, karena eksekusi yang bermasalah tidak pernah mencapai finalitas Ethereum. Pada saat yang sama, tim mengakui bahwa meningkatkan stabilitas tetap menjadi prioritas seiring teknologi layer-2 terus berkembang.