Vitalik Buterin muốn có một giới hạn chi phí cứng cho việc tạo chứng minh nhanh hơn của Ethereum, và mạng lưới hiện đang thử nghiệm đề xuất đó với đúng loại tải mà nó được tạo ra để hạn chế. Vấn đề cốt lõi: các khối mẫu nhanh không xác định được gánh nặng chứng minh tối đa mà một nút có thể chịu đựng, và phân tích gas CPU hiện tại của Ethereum hoàn toàn không tính đến việc tạo chứng minh.
Lỗ hổng trong mô hình gas
Kế toán gas CPU của Ethereum đo lường công việc thực thi. Chứng minh là một công việc riêng biệt, và nó là công việc tốn kém. Một khối có thể vượt qua giới hạn gas và vẫn để lại cho các prover một hóa đơn mà mô hình hiện tại không bao giờ thấy. Đó là lỗ hổng mà giới hạn đề xuất của Buterin nhằm bịt lại — một mức trần cứng cho chi phí chứng minh thay vì một mức trung bình mẫu làm đẹp cho các khối nhanh.
Lấy mẫu là điểm yếu. Các khối mẫu nhanh cho thấy những gì một nút đã chứng minh trong một lần chạy tốt, không phải trường hợp xấu nhất mà nó phải chịu đựng. Nếu giới hạn được hiệu chỉnh theo các mẫu đó, thì nó không phải là giới hạn. Đó là một bài đọc trường hợp tốt nhất với một dấu giới hạn được dán vào.
Tại sao thời điểm lại quan trọng
Việc Ethereum thúc đẩy tạo chứng minh nhanh hơn là điều khiến điều này trở nên cấp bách. Tốc độ và chi phí kéo theo hướng ngược nhau ở đây. Thời gian chứng minh chặt chẽ hơn thường có nghĩa là nhiều tính toán hơn mỗi khối, và nhiều tính toán hơn mỗi khối chính xác là điều mà một giới hạn chi phí cứng sẽ hạn chế. Thử nghiệm tạo nhanh hơn mà không đồng ý về mức trần trước có nghĩa là mạng lưới tìm ra giới hạn của nó bằng cách đạt đến nó.
Đề xuất không giải quyết được căng thẳng đó. Nó chỉ đặt tên cho nó. Giới hạn của Buterin đặt ra một con số mà mạng lưới phải thiết kế xoay quanh, và phân tích gas CPU hiện tại không cho các nhà xây dựng cách nào để định giá công việc chứng minh mà họ thực sự đang thêm vào.
Bài kiểm tra thực sự đo lường điều gì
Các khối nhanh được lấy mẫu cho bạn biết thông lượng. Chúng không cho bạn biết gánh nặng chứng minh tối đa, con số mà một giới hạn cứng cần. Đó là những phép đo khác nhau, và việc đánh đồng chúng là cách một giới hạn chi phí cuối cùng được đặt quá cao để bảo vệ bất kỳ ai.
Công việc Ethereum hiện đang tiến hành đang thử nghiệm tạo chứng minh nhanh hơn so với sự khác biệt đó. Liệu giới hạn có giữ được hay không phụ thuộc vào việc chi phí chứng minh có thể được đo trực tiếp thay vì suy ra từ các mẫu nhanh hay không — và liệu mô hình gas có được cập nhật để bao gồm việc tạo chứng minh trước khi con đường nhanh hơn được tung ra hay không.
Câu hỏi mở
Không có mốc thời gian nào được gắn với giới hạn chi phí, và không có con số cuối cùng nào được đặt ra. Bước cụ thể tiếp theo là đo lường gánh nặng chứng minh trực tiếp thay vì thông qua các khối nhanh được lấy mẫu. Cho đến khi điều đó xảy ra, giới hạn là một đề xuất chạy đua với một mô hình gas mà chưa thể thấy chi phí mà nó được cho là giới hạn.
