Ethereum có giới hạn gas. Nhưng liệu chúng ta có thể chứng minh toán học về giới hạn tối đa của công việc tính toán cần thiết để xác minh bất kỳ khối hợp lệ nào? Thú vị thay, chúng ta hiện chưa có giới hạn trên hữu hạn được xác nhận cho mô hình thách thức toàn diện. Đó chính là vấn đề mà @yukonresearch, @zksecurityXYZ và @Veritylab đang giải quyết thông qua https://t.co/w9Ti86Tqsj. Hiện tại, các validator Ethereum thực thi giao dịch độc lập để xác minh các khối. Khi Ethereum chuyển sang xác minh dựa trên zkEVM, thách thức không còn chỉ dừng lại ở việc thực thi giao dịch chính xác. Chúng ta cũng cần hiểu rõ chi phí tính toán trong trường hợp xấu nhất. Tại sao điều này quan trọng? Một khối Ethereum có thể hợp lệ nhưng vẫn yêu cầu chi phí tính toán bất thường cao. Nếu chi phí chứng minh trở nên không thể dự đoán được, việc chứng minh ZK thời gian thực có thể trở thành điểm nghẽn cho việc mở rộng Ethereum. https://t.co/w9Ti86Tqsj giới thiệu một cuộc thi mở nhằm thiết lập các giới hạn trên được chứng minh toán học cho công việc xác minh khối. Hệ quả của điều này rất lớn: → Công việc thực thi và chứng minh dễ dự đoán hơn. → Nền tảng vững chắc hơn cho chứng minh ZK thời gian thực. → Tăng sự tin tưởng khi nâng giới hạn gas của Ethereum. → Con đường hướng tới xác minh trên phần cứng dễ tiếp cận hơn. Tất nhiên, việc giới hạn số bước thực thi không tự động đảm bảo các chứng minh ZK nhanh chóng. Nhưng đây là nền tảng quan trọng. Thách thức mở rộng tiếp theo của Ethereum không chỉ là làm cho việc thực thi nhanh hơn. Mà là làm cho chi phí tính toán trong trường hợp xấu nhất trở nên có thể dự đoán và chứng minh được. Và khi các rollup Ethereum như @puffer_unifi hướng tới độ trễ thấp hơn và khả năng kết hợp đồng bộ, loại nghiên cứu này ngày càng trở nên liên quan. https://t.co/SwPS2w3ic1