Ethereum testnet không phát hiện hết lỗi ứng dụng, Greg Markou nhìn lại nâng cấp năm 2021

Greg Markou, đồng sáng lập kiêm CEO của Sprinter, gọi Ethereum (ETH) là “một hệ thống nguyên khối khổng lồ” và cho rằng chỉ kiểm tra trên testnet không đủ để phát hiện mọi lỗi có thể xuất hiện trong ứng dụng thực tế.

Crypto Briefing đưa tin về phát biểu này trong một cuộc thảo luận công khai của các nhà phát triển lúc 5 giờ 43 ngày 12 (giờ Việt Nam). Cuộc thảo luận tập trung vào những khó khăn khi áp dụng thay đổi giao thức Ethereum vào các dịch vụ đang hoạt động.

Testnet là môi trường thử nghiệm để nhà phát triển kiểm tra trước các thay đổi của mạng. Môi trường này cho phép thử hoạt động của ứng dụng và giao thức mà không cần sử dụng tài sản thật, nên thường được dùng để chuẩn bị nâng cấp.

Markou thừa nhận testnet hữu ích, nhưng cho biết môi trường này không thể tái tạo mọi tình huống trên mạng chính đang vận hành. Ứng dụng thực tế có thể kết hợp ví, thư viện và các hợp đồng khác theo nhiều cách.

Hard fork là nâng cấp làm thay đổi những quy tắc cốt lõi mà mạng lưới tuân theo. Phần mềm được xây dựng dựa trên quy tắc cũ có thể hoạt động ngoài dự kiến sau khi quy tắc mới được áp dụng.

Vào tháng 8 năm 2021, Markou quản lý web3.js trong thời gian diễn ra nâng cấp London. Đây là thư viện JavaScript giúp ứng dụng web giao tiếp với blockchain Ethereum. Nâng cấp London bao gồm EIP-1559, thay đổi cơ chế phí giao dịch.

Markou hồi tưởng rằng trong bản cập nhật liên quan đến đợt nâng cấp khi đó, các bất biến liên quan đến MetaMask đã không được phát hiện trong quá trình kiểm tra trước. Theo lời ông, gần như mọi ứng dụng phụ thuộc vào web3.js đều bị ảnh hưởng.

Bất biến là đặc tính mà nhà phát triển giả định sẽ luôn được duy trì trong lúc chương trình hoạt động. Nếu giả định đó không còn đúng, các ứng dụng dựa vào nó cũng có thể bị ảnh hưởng.

Markou mô tả Ethereum là “một hệ thống nguyên khối khổng lồ”. Ý ông là mạng lưới có quy mô lớn và nhiều thành phần liên kết với nhau, khiến tác động của thay đổi ở một bộ phận lên các ứng dụng khác khó dự đoán.

Markou đồng sáng lập ChainSafe Systems, đơn vị từng quản lý web3.js. Sprinter ra đời từ ChainSafe Systems và hiện do ông điều hành với vai trò CEO.

Ethereum Foundation và Verity từng kiểm chứng hình thức mã thực thi của các hợp đồng nạp tiền và rút tiền dành cho builder trong EIP-8282. Qua đó, họ xác định ba bảo đảm về hoạt động và một số điểm chưa thống nhất mà nhóm nghiên cứu cần xử lý. Kiểm chứng hình thức là cách dùng phương pháp toán học để xác nhận mã đáp ứng các điều kiện đã định. Khi đó, phạm vi kiểm chứng là mã thực thi và hoạt động của một hợp đồng cụ thể, không phải toàn bộ đề xuất.

Trước thềm nâng cấp Glamsterdam, Ethereum Foundation từng cảnh báo thay đổi cách tính gas có thể phá vỡ những giả định mà một số hợp đồng dựa vào. Quỹ cho biết đang phối hợp kiểm tra với nhiều đơn vị kiểm toán và tiến hành kiểm toán nội bộ, nhưng không thể trực tiếp kiểm tra mã on-chain và off-chain của mọi dự án.

Ethereum Foundation đề nghị các dự án bị ảnh hưởng gửi thông tin về trường hợp gặp lỗi và cách tái hiện lỗi. Tại thời điểm đưa tin, quỹ cho biết sẽ tham khảo ý kiến nhà phát triển trong cuộc họp các nhà phát triển cốt lõi tiếp theo, khi thảo luận việc có sửa đổi EIP-8037 và EIP-8038 hay không.

Cuộc thảo luận công khai lần này không công bố nâng cấp mới hay thay đổi giao thức nào. Phát biểu của Markou dựa trên kinh nghiệm từ các đợt nâng cấp trước đây và nêu bật những giới hạn của việc kiểm tra trên testnet Ethereum.