Các nhà phát triển cốt lõi của Ethereum đã hoãn tiến độ nâng cấp Glamsterdam trên mạng thử nghiệm Hoodi sau khi phát hiện những lo ngại về bảo mật liên quan đến hai đề xuất thay đổi chi phí gas cụ thể là EIP-8037 và EIP-8038. Trong một bài đăng blog hôm thứ Sáu trên trang web của Ethereum Foundation, các nhà phát triển cho biết việc trì hoãn sẽ tiếp tục cho đến khi giải quyết được tám “bất biến” của hợp đồng thông minh gắn với cách thức hoạt động của bản nâng cấp.

Quyết định này có ý nghĩa đối với các nhà phát triển và bất kỳ ai theo dõi lộ trình nâng cấp Ethereum, vì Glamsterdam bao gồm những thay đổi về cách tính phí gas cho một số thao tác. Theo Ethereum Foundation, một số dự án hiện có có thể dựa trên giả định rằng những hành động cụ thể luôn phải chịu mức phí gas cố định, có thể dự đoán được. Những giả định đó có thể không còn đúng khi các quy tắc gas mới có hiệu lực—đặc biệt trong những tình huống lời gọi bên ngoài thất bại.

Những điểm chính

• Các nhà phát triển cốt lõi của Ethereum đã trì hoãn Glamsterdam trên testnet Hoodi do lo ngại về bảo mật liên quan đến tám bất biến của hợp đồng thông minh.

• EIP-8037 và EIP-8038 thay đổi cách tính phí gas cho một số thao tác, có khả năng khiến các hợp đồng thông minh giả định chi phí gas cố định không còn hợp lệ.

• Báo cáo ngày 13 tháng 10 của ChainSecurity cảnh báo rằng hai EIP này có thể làm gián đoạn hợp đồng khi các lệnh gọi bên ngoài thất bại.

• Fork Hoodi sẽ chưa được triển khai cho đến khi các vấn đề được giải quyết, giúp các nhóm có thêm thời gian đánh giá xem có cần thêm bản sửa lỗi hay không.

Vì sao bản nâng cấp testnet Hoodi bị tạm dừng

Trong bản cập nhật hôm thứ Sáu, Ethereum Foundation cho biết fork testnet Hoodi bị trì hoãn cho đến khi các nhà phát triển có thể xử lý những lỗ hổng được nêu bật trong một quy trình kiểm toán gần đây. Nguyên nhân cốt lõi không phải là nhận định chung chung về “sự bất ổn của bản nâng cấp”, mà là mối lo ngại cụ thể hơn: các EIP được đề xuất có thể ảnh hưởng thế nào đến tính đúng đắn của những hợp đồng thông minh dựa vào các dự đoán về chi phí gas đã được xác lập.

Foundation đặc biệt chỉ ra rủi ro liên quan đến các bất biến—những thuộc tính mà hợp đồng thông minh kỳ vọng luôn đúng trong một số điều kiện thực thi nhất định. Trong trường hợp này, các mối lo ngại liên quan đến cách tính gas cho những thao tác thuộc phạm vi của EIP-8037 và EIP-8038. Nếu các bất biến đó không còn được duy trì, những hợp đồng được viết và kiểm thử dựa trên các giả định cũ về cách tính gas có thể hoạt động ngoài dự kiến khi xảy ra một số kiểu gọi nhất định.

EIP-8037 và EIP-8038 có thể phá vỡ các giả định như thế nào

Bài đăng trên blog của Ethereum Foundation liên hệ việc tạm dừng với một nhóm hợp đồng giả định mức sử dụng gas cho các thao tác cụ thể. Một số ứng dụng Ethereum từ trước đến nay phụ thuộc vào các phép tính liên quan đến gas cố định, dù là để hạch toán nội bộ, kiểm soát rủi ro hay thực hiện logic đưa ra quyết định dựa trên mức tiêu thụ gas dự kiến.

Vì Glamsterdam bao gồm những thay đổi về định giá gas, các giả định về chi phí cố định này có thể không còn phù hợp với thực tế khi quy tắc mới được áp dụng. Foundation giải thích rằng EIP-8037 và EIP-8038 có thể khiến những giả định đó không còn đúng, đặc biệt là “khi các lệnh gọi bên ngoài thất bại”—một tình huống lỗi có thể làm thay đổi luồng thực thi và từ đó ảnh hưởng đến cách tính chi phí gas.

Đây là điểm mấu chốt: mối lo ngại không chỉ đơn giản là chi phí gas thay đổi, mà còn là một số logic hợp đồng cụ thể có thể đã được thiết kế dựa trên cách hoạt động trước đây. Khi các lệnh gọi bên ngoài bị hoàn tác hoặc thất bại theo cách khác, sự chênh lệch giữa mức tính gas “dự kiến” và “thực tế” có thể kéo theo việc các bất biến bị phá vỡ.

Cuộc kiểm toán của ChainSecurity khởi đầu chuỗi sự việc

Quyết định của Ethereum được đưa ra sau báo cáo ngày 13 tháng 10 từ đơn vị kiểm toán hợp đồng thông minh ChainSecurity. Theo mô tả của Foundation, cuộc kiểm toán kết luận rằng hai EIP này có thể “phá vỡ các hợp đồng thông minh dựa trên những giả định cố định về gas khi các lệnh gọi bên ngoài thất bại”.

Cách diễn đạt đó giúp các nhà phát triển xác định rõ mục tiêu cần xử lý tiếp theo. Thay vì xem bản nâng cấp như một hộp đen, các nhóm có thể tập trung xác định những mẫu hợp đồng nào bị ảnh hưởng, liệu có thể điều chỉnh bản nâng cấp để duy trì các thuộc tính kỳ vọng hay không, và những ứng dụng đã triển khai nào cần được cảnh báo hoặc kiểm thử khả năng tương thích trước khi mở rộng triển khai.

Bài đăng của Foundation nhấn mạnh rằng khoảng thời gian bổ sung trên Hoodi nhằm hỗ trợ chính những việc này: tìm ra các vấn đề tiềm ẩn của hợp đồng thông minh và xác định xem có cần thay đổi gì trước khi Glamsterdam tiến gần hơn đến giai đoạn triển khai trên mainnet hay không.

Glamsterdam đã được diễn tập trên Sepolia

Dù fork Hoodi đang tạm dừng, nỗ lực triển khai Glamsterdam trên diện rộng không hoàn toàn đình trệ. Bản nâng cấp trước đó đã đạt một cột mốc khác khi được đưa lên testnet Sepolia vào ngày 6 tháng 10, sự kiện được mô tả là một trong những đợt diễn tập lớn cuối cùng.

Trong hướng dẫn trước đó vào ngày 28 tháng 9, Ethereum Foundation cho biết Glamsterdam được thiết kế để thúc đẩy lộ trình mở rộng layer 1 của Ethereum. Các mục tiêu được nêu cho bản nâng cấp bao gồm đưa cơ chế tách biệt người đề xuất và người xây dựng vào giao thức, bổ sung danh sách truy cập ở cấp khối và điều chỉnh định giá gas để phản ánh chính xác hơn chi phí thực thi.

Diễn biến mới—trì hoãn Hoodi trong khi giải quyết các vấn đề—cho thấy việc kiểm thử và triển khai đang được xử lý theo quy trình quản lý rủi ro. Sepolia mang đến môi trường diễn tập cho các nhóm, nhưng giờ đây Hoodi trở thành giai đoạn mà các lo ngại chưa được giải quyết về bất biến gas được xem là vấn đề cần khắc phục trước khi tiến xa hơn.

Độc giả cũng nên theo dõi cách tình huống “lệnh gọi bên ngoài thất bại” tiếp tục được xử lý. Trên thực tế, nhiều hợp đồng trong thế giới thực gặp các trường hợp ngoại lệ ở những tình huống lỗi, từ tích hợp ví đến tương tác giữa các hợp đồng. Nếu các bản sửa lỗi cuối cùng lại làm thay đổi cách tính gas, các nhà phát triển xây dựng trên quy tắc mới có thể cần kiểm thử lại những luồng xử lý lỗi, thay vì chỉ xác thực các luồng thực thi thành công.

Điều gì cần theo dõi trước khi Glamsterdam lên mainnet

Bước tiếp theo của Ethereum phụ thuộc vào việc nhóm phát triển có thể giải quyết tám bất biến và xác định xem có cần điều chỉnh thêm ở cấp EIP hoặc trong quá trình triển khai hay không. Với các nhà phát triển, ưu tiên trước mắt là đánh giá lại mọi hợp đồng giả định chi phí gas cố định cho những thao tác bị ảnh hưởng—đặc biệt trong các luồng có lệnh gọi bên ngoài thất bại—trong khi nhóm nâng cấp tiếp tục xử lý các vấn đề được nêu trong cuộc kiểm toán của ChainSecurity.

Bài viết này ban đầu được đăng với tiêu đề Các nhà phát triển Ethereum cho biết họ vẫn chưa fork “Glamsterdam” trên Hoodi trên Crypto Breaking News – nguồn tin đáng tin cậy của bạn về tin tức tiền mã hóa, Bitcoin và các cập nhật blockchain.