[Chỉ với một GPU, đã chứng minh được Ethereum. Nhưng bài kiểm tra thực tế còn khác biệt.] @zksync đã chứng minh được 7.200 khối liên tiếp trên mạng chính Ethereum chỉ với một GPU. Trong đó, 99% được chứng minh trong vòng 10 giây, và tất cả các khối đều được chứng minh trong vòng 12 giây. Tuy nhiên, theo các chỉ số vận hành chứng minh thời gian thực của EthProofs – được hỗ trợ bởi Ethereum Foundation – trong số 8 trình chứng minh được đánh giá, chỉ có 2 trình đáp ứng tiêu chuẩn đủ điều kiện trong tuần gần đây. Hai kết quả này không thể so sánh trực tiếp vì chúng được đo lường trong các mục tiêu và môi trường khác nhau. Thay vào đó, sự khác biệt này làm nổi bật nhiệm vụ tiếp theo của công nghệ ZK. Tóm tắt ngắn gọn: - Airbender Prime đã chứng minh khả năng đáp ứng chu kỳ tạo khối khoảng 12 giây của Ethereum chỉ với một GPU. - Trong môi trường vận hành thực tế, ngoài tốc độ chứng minh, cần xem xét cả độ sẵn sàng, tỷ lệ thất bại chứng minh và yêu cầu phần cứng. - Về lâu dài, khả năng cạnh tranh của zkEVM có thể được quyết định bởi độ chính xác xác minh, chi phí chứng minh trong điều kiện xấu nhất và khả năng vận hành ổn định, hơn là tốc độ xử lý chứng minh. Airbender Prime, được ZKsync công bố ngày 13 tháng 10, đã chứng minh 7.200 khối liên tiếp trên mạng chính Ethereum chỉ với một GPU NVIDIA RTX PRO 6000 Blackwell. Vì Ethereum tạo khối khoảng mỗi 12 giây, nên 7.200 khối tương đương với khoảng 24 giờ khối tính theo lý thuyết. Điều đáng chú ý là 99% các khối được xử lý trong vòng 10 giây, kể cả thời gian chuẩn bị dữ liệu đầu vào (witness). Nếu tốc độ tạo chứng minh nhanh hơn tốc độ sinh khối mới, các trình xác minh có thể xác nhận kết quả thực thi thay vì phải thực thi lại toàn bộ giao dịch. Điều này mở ra khả năng giảm đáng kể lượng tính toán cần thiết để xác minh. Tuy nhiên, việc thử nghiệm hiệu suất trên 7.200 khối và việc cung cấp chứng minh liên tục trong môi trường vận hành thực tế là hai vấn đề khác nhau. EthProofs công khai đo lường hiệu suất và trạng thái vận hành của nhiều hệ thống đang chứng minh khối Ethereum theo thời gian thực. Tại thời điểm truy cập ngày 26 tháng 10, bảng điều khiển hiển thị các con số sau: - 8 trình chứng minh được đánh giá, trong đó chỉ có 2 trình đáp ứng tiêu chuẩn đủ điều kiện trong tuần gần đây. - Tỷ lệ thành công chứng minh trong vòng 10 giây so với tổng số khe khối: 69,7%. - Tỷ lệ trình bị phân loại là ngoại tuyến: 26,2%. Những con số này không phải là kết quả thử nghiệm GPU đơn lẻ của Airbender Prime. Đây là tổng hợp vận hành từ nhiều trình chứng minh khác nhau, với thiết bị, môi trường thực thi và tiêu chí đánh giá khác nhau. Tuy nhiên, chúng cho thấy rằng để sử dụng chứng minh trong mạng lưới thực tế, ngoài hiệu suất cá nhân, cần đảm bảo độ tin cậy vận hành. Ngay cả khi một trình chứng minh mất trung bình 5 giây để tạo chứng minh, nếu nó thường xuyên ngừng hoạt động hoặc không xử lý được một số khối nhất định, thì hệ thống xác minh dựa hoàn toàn vào nó sẽ khó hoạt động ổn định. Cần xác minh xem khi một trình chứng minh cụ thể thất bại, liệu có trình thay thế nào có thể cung cấp chứng minh không; và liệu các khối khó liên tiếp có gây ra sự tích lũy chậm trễ hay không. Cũng cần kiểm tra riêng các yêu cầu phần cứng. Hướng dẫn GPU trong kho lưu trữ công khai của Airbender nêu rõ: các giai đoạn chứng minh cơ bản và đệ quy sử dụng GPU, trong khi giai đoạn chứng minh cuối cùng yêu cầu CPU và khoảng 150 GB RAM. Chưa xác nhận liệu tài liệu này có mô tả cùng lộ trình thực thi như bản benchmark Prime mới nhất hay không. Do đó, không thể kết luận tổng nhu cầu bộ nhớ hay chi phí vận hành toàn bộ hệ thống chỉ dựa trên kết quả đo lường “một GPU”. Vào ngày 15 tháng 10, @VitalikButerin đã đánh giá cao thành tựu của nhóm Airbender và đề xuất ba nhiệm vụ tiếp theo cho zkEVM: Thứ nhất: Chứng minh toán học rằng các phép tính dùng để tạo chứng minh khớp với tiêu chuẩn thực thi thực tế của Ethereum. Thứ hai: Đặt giới hạn nghiêm ngặt về chi phí chứng minh so với lượng gas sử dụng của khối. Thứ ba: Xác minh tính an toàn mật mã của chính hệ thống chứng minh. Điều kiện thứ hai liên quan trực tiếp đến chi phí vận hành thực tế. Nếu một khối bình thường có thể được chứng minh trong vòng 10 giây, nhưng ai đó cố ý tạo ra các phép tính cực kỳ khó chứng minh trong giới hạn gas cho phép thì sao? Khối đó vẫn trả đúng phí để thực thi, nhưng để tạo chứng minh lại đòi hỏi quá nhiều phép tính và thời gian. Nếu tình huống này xảy ra, thì dù thời gian chứng minh trung bình mỗi khối rất ngắn, vẫn rất khó dự đoán tải tối đa mà mạng lưới có thể xử lý ổn định. Tính kinh tế của chứng minh thời gian thực phụ thuộc không chỉ vào chi phí chứng minh trung bình của khối, mà còn vào lượng tài nguyên cần thiết trong trường hợp xấu nhất. Đường đi của EthProofs cũng đang tiến theo hướng này.Giai đoạn cải thiện hiệu suất hiện đã hoàn thành và giai đoạn xác minh bảo mật đang được tiến hành. Sau đó, các bước tiếp theo dự kiến bao gồm tích hợp trực tiếp chứng minh vào cơ chế đồng thuận, chứng minh nghĩa vụ và chứng minh trễ. Lý do thứ tự này quan trọng là vì việc tạo ra một hệ thống chứng minh nhanh và việc khiến Ethereum tin tưởng vào chứng minh đó trong quá trình đồng thuận là hai việc khác nhau. Việc công bố Airbender Prime đã cung cấp bằng chứng mạnh mẽ cho thấy có thể giảm tải phần cứng của chứng minh thời gian thực. Thành tựu tiếp theo sẽ không dễ đánh giá chỉ dựa trên tốc độ ghi nhận nhanh hơn. Điều quan trọng là liệu hệ thống có duy trì được tỷ lệ thành công chứng minh cao trong thời gian dài trong môi trường vận hành thực tế, liệu chi phí chứng minh có được giới hạn ngay cả trong trường hợp khối tệ nhất, và liệu các triển khai khác nhau có chính xác chứng minh cùng kết quả thực thi Ethereum hay không. Công nghệ chứng minh ZK đang chuyển từ giai đoạn trình diễn tính toán nhanh sang giai đoạn trở thành hạ tầng mà mạng lưới thực sự có thể tin tưởng. #Ethereum #zkEVM