Ethereum Foundation Mengumumkan Penyelesaian Semua Masalah dengan Kontrak Sistem Pectra Setelah Audit Keamanan

Organisasi nirlaba yang mendukung pengembangan blockchain Ethereum, Yayasan Etereum mengumumkan hasil audit keamanan eksternal yang dilakukan pada Kontrak Sistem Pectra. Tinjauan tersebut mengidentifikasi sejumlah masalah penting, yang semuanya telah ditangani.

Kontrak Sistem Pectra mencakup beberapa Proposal Peningkatan Ethereum (EIP), yaitu EIP-2935, EIP-7002, dan EIP-7251. Tujuan utama peninjauan adalah untuk mengevaluasi kontrak terkait potensi risiko keamanan dan memastikan bahwa logikanya secara akurat mengimplementasikan fungsionalitas yang diuraikan dalam spesifikasi EIP masing-masing.

Proses audit multifase digunakan, dengan setiap tinjauan berikutnya didasarkan pada temuan dari tinjauan sebelumnya. Ini termasuk audit dari Blackthorn, Dedaub, dan Sigma Prime, yang mencakup EIP 2935, 7002, dan 7251, serta audit PlainShift. Setelah setiap putaran audit, perbaikan kode dilakukan sebelum melanjutkan ke fase berikutnya.

Selain itu, perusahaan modal ventura a16z melakukan verifikasi formal menggunakan Halmos, sebuah alat untuk memverifikasi secara formal kebenaran fungsionalitas kontrak. Proses ini berfokus pada konfirmasi bahwa bytecode selaras dengan spesifikasi kontrak, daripada menilai keamanan spesifikasi itu sendiri. Pendekatan ini memungkinkan auditor dan komunitas untuk meninjau spesifikasi kontrak tanpa khawatir tentang detail tingkat rendah dari implementasi bytecode.

Pectra Meluncur di Holesky, Peluncuran Testnet Sepolia Diperkirakan Pada 5 Maret

Pectra, peningkatan jaringan Ethereum yang akan datang, merupakan gabungan dari dua komponen: “Prague,” yang membahas pembaruan pada sisi klien eksekusi, dan “Electra,” yang berfokus pada peningkatan pada sisi klien lapisan konsensus. Peningkatan ini mengikuti peningkatan Dencun dari tahun sebelumnya.

Pektra pemutakhiran ini memperkenalkan berbagai perubahan yang bertujuan untuk meningkatkan skalabilitas, keamanan, dan kegunaan Ethereum. Ini termasuk penyempurnaan seperti meningkatkan pengalaman pengguna dalam dompet mata uang kripto dan abstraksi akun (EIP-7702), meningkatkan batas taruhan validator maksimum dari 32 menjadi 2,048 ETH (EIP-7251), dan menggandakan jumlah blob maksimum untuk meningkatkan skalabilitas rollup (EIP-7691).

Peningkatan tersebut diaktifkan pada jaringan uji Holesky awal minggu ini. Namun, kerentanan lapisan eksekusi (EL) menyebabkan rantai terpecah, yang mengarah ke situasi di mana hanya sebagian kecil rantai yang valid, yang mengurangi kesehatan jaringan secara keseluruhan. fase selanjutnya untuk Pectra adalah aktivasinya pada testnet Sepolia, yang diharapkan pada tanggal 5 Maret. 

Jika kedua testnet berhasil, tim Ethereum akan melanjutkan dengan memilih tanggal aktivasi mainnet, yang diperkirakan pada bulan April.