Ethereum Foundation thông báo giải quyết mọi vấn đề với hợp đồng hệ thống Pectra sau khi kiểm tra bảo mật

Tổ chức phi lợi nhuận hỗ trợ phát triển chuỗi khối Ethereum, Quỹ Ethereum công bố kết quả kiểm toán bảo mật bên ngoài được thực hiện trên Hợp đồng Hệ thống Pectra. Đánh giá đã xác định các vấn đề quan trọng, tất cả đều đã được giải quyết.

Hợp đồng Hệ thống Pectra bao gồm một số Đề xuất cải tiến Ethereum (EIP), cụ thể là EIP-2935, EIP-7002 và EIP-7251. Mục đích chính của các đánh giá là đánh giá các hợp đồng về rủi ro bảo mật tiềm ẩn và đảm bảo rằng logic của chúng thực hiện chính xác chức năng được nêu trong các thông số kỹ thuật EIP tương ứng.

Một quy trình kiểm toán nhiều giai đoạn đã được áp dụng, với mỗi lần đánh giá tiếp theo đều dựa trên những phát hiện của lần đánh giá trước. Điều này bao gồm các cuộc kiểm toán từ Blackthorn, Dedaub và Sigma Prime, bao gồm EIP 2935, 7002 và 7251, cũng như cuộc kiểm toán PlainShift. Sau mỗi vòng kiểm toán, các cải tiến về mã đã được thực hiện trước khi chuyển sang giai đoạn tiếp theo.

Ngoài ra, công ty đầu tư mạo hiểm a16z đã tiến hành xác minh chính thức bằng Halmos, một công cụ để xác minh chính thức tính đúng đắn của chức năng hợp đồng. Quy trình này tập trung vào việc xác nhận rằng mã bytecode đã phù hợp với các thông số kỹ thuật của hợp đồng, thay vì đánh giá tính bảo mật của chính các thông số kỹ thuật. Cách tiếp cận này cho phép các kiểm toán viên và cộng đồng xem xét các thông số kỹ thuật của hợp đồng mà không cần quan tâm đến các chi tiết cấp thấp hơn của việc triển khai mã bytecode.

Pectra ra mắt trên Holesky, dự kiến ​​ra mắt mạng thử nghiệm Sepolia vào ngày 5 tháng XNUMX

Pectra, bản nâng cấp sắp tới cho mạng lưới Ethereum, là sự kết hợp của hai thành phần: “Prague”, giải quyết các bản cập nhật ở phía máy khách thực thi và “Electra”, tập trung vào các cải tiến ở phía máy khách lớp đồng thuận. Bản nâng cấp này theo sau bản nâng cấp Dencun từ năm trước.

Sản phẩm Pectra Bản nâng cấp giới thiệu nhiều thay đổi khác nhau nhằm mục đích tăng cường khả năng mở rộng, bảo mật và khả năng sử dụng của Ethereum. Những thay đổi này bao gồm các cải tiến như tăng cường trải nghiệm người dùng trong ví tiền điện tử và trừu tượng hóa tài khoản (EIP-7702), tăng giới hạn cổ phần xác thực tối đa từ 32 lên 2,048 ETH (EIP-7251) và tăng gấp đôi số lượng blob tối đa để cải thiện khả năng mở rộng rollup (EIP-7691).

Bản nâng cấp đã được kích hoạt trên mạng thử nghiệm Holesky vào đầu tuần này. Tuy nhiên, lỗ hổng lớp thực thi (EL) đã gây ra sự chia tách chuỗi, dẫn đến tình huống chỉ có một số ít chuỗi hợp lệ, làm giảm sức khỏe tổng thể của mạng. Giai đoạn tiếp theo đối với Pectra, việc kích hoạt sẽ diễn ra trên mạng thử nghiệm Sepolia, dự kiến ​​vào ngày 5 tháng XNUMX. 

Nếu cả hai mạng thử nghiệm đều thành công, nhóm Ethereum sẽ tiến hành chọn ngày kích hoạt mạng chính, dự kiến ​​là vào tháng 4.