Các nhà phát triển Ethereum đã hoãn đợt hard fork “Glamsterdam” dự kiến triển khai trên testnet Hoodi sau khi các nhà nghiên cứu cảnh báo về rủi ro bảo mật liên quan đến gas, có thể ảnh hưởng đến cách hợp đồng thông minh hoạt động khi giao dịch thất bại.

Theo thông báo của Ethereum Foundation (EF) ngày 22 tháng 10, bản nâng cấp—ban đầu dự kiến diễn ra vào ngày 26 tháng 10—sẽ bị hoãn để các nhóm có thời gian điều tra cách một số đề xuất tương tác với những hợp đồng đã được triển khai trên Ethereum. Việc trì hoãn làm gia tăng sự bất định về lộ trình tổng thể của Glamsterdam, trong khi trước đó các nhà phát triển cho biết lịch triển khai tiềm năng trên mainnet có thể rơi vào đầu tháng 12, sau khi quá trình thử nghiệm Hoodi thành công.

Điểm chính

• Ethereum Foundation đã hoãn đợt hard fork Glamsterdam trên testnet Hoodi, vốn dự kiến diễn ra vào ngày 26 tháng 10, để điều tra các hệ lụy bảo mật liên quan đến cách thức hoạt động của gas.

• Công ty bảo mật ChainSecurity cảnh báo rằng hai đề xuất của Glamsterdam (EIP-8037 và EIP-8038) có thể làm suy yếu các biện pháp phòng vệ trước kiểu tấn công griefing bằng cách cung cấp không đủ gas.

• Các nhà nghiên cứu cho biết những thay đổi về gas được đề xuất có thể cho phép hợp đồng tiếp tục thực thi sau khi xảy ra lỗi theo những cách mà các biện pháp bảo vệ hiện có chưa tính đến.

• Các nhóm Ethereum từng cân nhắc định hướng đưa lên mainnet vào đầu tháng 12, tùy thuộc vào kết quả thử nghiệm trên Hoodi, nhưng hiện các kế hoạch này vẫn chưa rõ ràng.

EF hoãn triển khai trên Hoodi trong lúc rà soát tương tác của hợp đồng

Ethereum Foundation cho biết bản nâng cấp Glamsterdam trên Hoodi đã bị hoãn để các nhà phát triển xem xét “cách một số đề xuất tương tác với các hợp đồng thông minh đã triển khai trên Ethereum”. Trên thực tế, điều này có nghĩa là các nhóm muốn làm rõ hơn liệu những thay đổi trong mô hình gas của bản nâng cấp có tạo ra các luồng thực thi ngoài dự kiến cho những hợp đồng được viết dựa trên các giả định cũ hay không—đặc biệt là về những gì xảy ra sau khi một giao dịch thất bại.

Việc rà soát này rất quan trọng vì các hợp đồng thông minh thường mã hóa logic bảo mật dựa trên cách quá trình thực thi giao dịch tiêu thụ gas và cách lỗi được xử lý. Nếu những giả định đó không còn đúng, các biện pháp bảo vệ có thể trở nên thiếu sót, và chức năng mà người dùng nhìn thấy có thể hoạt động khác với dự định của nhà phát triển.

ChainSecurity nêu bật rủi ro từ EIP-8037 và EIP-8038

Trước đó, vào ngày 13 tháng 10, ChainSecurity đã công bố một phân tích cảnh báo rằng hai đề xuất trong Glamsterdam—EIP-8037 và EIP-8038—có thể làm suy yếu các biện pháp bảo vệ trước kiểu tấn công griefing bằng cách cung cấp không đủ gas.

Theo ChainSecurity, các quy tắc mới có thể cho phép gas được hoàn trả cho hợp đồng sau khi một thao tác thất bại. Theo nhận định của công ty, điều này có thể ảnh hưởng đến các kiểm tra bảo mật hiện có vốn dựa vào lượng gas còn lại trong quá trình giao dịch.

Griefing bằng cách cung cấp không đủ gas là một dạng tấn công trong đó một bên gọi có ý đồ xấu cố tình cung cấp quá ít gas để một thao tác hợp lệ của hợp đồng thông minh không thể thành công. Nếu các biện pháp bảo vệ giả định rằng lỗi sẽ khiến một hành vi cụ thể của hợp đồng dừng lại hoặc được khôi phục theo một cách nhất định, thì thay đổi trong cách xử lý gas có thể khiến hợp đồng “tiếp tục” trong tình huống trước đây nó sẽ dừng lại—có khả năng khiến hợp đồng rơi vào trạng thái ghi nhận lỗi như thể lỗi đó đã là kết quả cuối cùng.

ChainSecurity đưa ra một ví dụ cụ thể: hợp đồng bị ảnh hưởng có thể xóa quyền nhận tài sản của người dùng hoặc vô hiệu hóa khả năng thử lại của họ, mặc dù thao tác ban đầu có thể hợp lệ trong điều kiện thông thường.

Điều quan trọng là ChainSecurity khẳng định Glamsterdam sẽ không khiến mọi kiểm tra bảo mật liên quan đến gas trở nên không đáng tin cậy. Một số biện pháp bảo vệ có thể vẫn hoạt động, nhưng nhà phát triển cần kiểm tra các hợp đồng của mình để đảm bảo chúng tính đến chính xác các quy tắc gas đã được điều chỉnh trong bản nâng cấp.

Các bài đưa tin trước đó của Cointelegraph cho biết Ethereum Foundation cũng từng cảnh báo mô hình gas của Glamsterdam có thể làm hỏng ví, trình lập chỉ mục và công cụ ước tính gas vốn phụ thuộc vào các giả định cố định. Việc hoãn triển khai lần này cho thấy ngoài các công cụ, những giả định bảo mật ở cấp hợp đồng hiện cũng là mối quan ngại trọng tâm.

Cộng đồng gây sức ép sau những quan ngại “nghiêm trọng” và loạt ví dụ lớn hơn

Sau cảnh báo của ChainSecurity, các cộng tác viên đã phản ứng khẩn trương. Trong một bình luận trên GitHub vào ngày 21 tháng 10, nhà nghiên cứu bảo mật ẩn danh pcaversaccio mô tả các rủi ro là “nghiêm trọng” và kêu gọi đánh giá lại đợt hard fork.

Sau đó, vào thứ Sáu, ChainSecurity cho biết họ đã xác định được “13 ví dụ thực tế” và đang phối hợp công bố thông tin có trách nhiệm với các dự án bị ảnh hưởng. Công ty không cung cấp chi tiết về những ví dụ này hoặc nêu tên các đơn vị bị tác động trong tuyên bố công khai. Tuy nhiên, họ kêu gọi các nhà phát triển kiểm tra hợp đồng của mình càng sớm càng tốt.

Đối với người dùng và đơn vị tích hợp Ethereum, ý nghĩa thực tế là rủi ro không chỉ giới hạn ở những trường hợp biên thuần túy trên lý thuyết. Ngay cả khi chưa có thông tin chi tiết được công bố, việc tồn tại nhiều tình huống thực tế làm tăng khả năng các hợp đồng được sử dụng rộng rãi sẽ cần cập nhật hoặc thay đổi cấu hình khi Glamsterdam được kích hoạt.

Điều này có ý nghĩa gì đối với tiến độ của Glamsterdam

Glamsterdam không phải là giai đoạn đầu tiên của quá trình này. Cointelegraph từng đưa tin bản nâng cấp đã được kích hoạt trên testnet Sepolia vào ngày 6 tháng 10, trước đợt triển khai trên Hoodi hiện đã bị hoãn.

Việc Hoodi bị hoãn khiến các nhóm mất đi một bước xác thực quan trọng: kiểm tra xem những thay đổi trong mô hình gas có hoạt động như mong đợi trong các điều kiện mô phỏng hành vi của mainnet hay không. Các nhà phát triển Ethereum từng cân nhắc thời điểm đầu tháng 12 để chốt lịch trình mainnet, được cho là sau khi thử nghiệm trên Hoodi thành công. Giờ đây, trình tự này có vẻ kém chắc chắn hơn, bởi EF đang công khai chờ điều tra thêm về cách các đề xuất tương tác với những hợp đồng thông minh đã triển khai.

Đối với nhà đầu tư và nhà phát triển, điều cần rút ra là “đã kích hoạt trên testnet” không đồng nghĩa với “an toàn để lên mainnet”. Tình hình hiện tại cho thấy các bản nâng cấp liên quan đến ngữ nghĩa thực thi và gas có thể gây ra vấn đề về bảo mật và khả năng tương thích, chỉ được phát hiện sau khi rà soát kỹ hơn và phân tích rộng hơn logic hợp đồng.

Độc giả nên theo dõi các phát hiện kỹ thuật tiếp theo từ Ethereum Foundation và mọi thông tin công bố bổ sung từ ChainSecurity về những kiểu cấu trúc hợp đồng bị ảnh hưởng nhiều nhất cũng như các biện pháp giảm thiểu mà nhà phát triển nên áp dụng trước những quyết định tiếp theo về testnet hoặc mainnet.

Bài viết này ban đầu được đăng với tiêu đề Ethereum hoãn triển khai Glamsterdam trên testnet Hoodi do rủi ro bảo mật 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 về blockchain.