Tóm tắt Chainfeeds:
Lộ trình L1-zkEVM đến năm 2026 đã được công bố. Các công việc liên quan được chia thành sáu hướng nhỏ: chứng thực thực thi và các thủ tục tiêu chuẩn hóa, tiêu chuẩn hóa API thủ tục thực thi và zkVM, tích hợp lớp đồng thuận , cơ sở hạ tầng chứng minh, kiểm thử hiệu năng và hệ thống chỉ báo, và bảo mật và xác minh hình thức.
Nguồn bài viết:
https://x.com/ladislaus0x/status/2020874834855514278
Tác giả bài viết:
ladislaus.eth
Quan điểm :
ladislaus.eth: Đội ngũ zkEVM của Ethereum Foundation gần đây đã công bố lộ trình L1-zkEVM năm 2026. Quy trình đang được xây dựng đại khái như sau: Máy trạm lớp thực thi tạo ra một ExecutionWitness, một gói dữ liệu tự chứa tất cả thông tin cần thiết để xác thực một khối, mà không giữ toàn bộ trạng thái. Một quy trình chuẩn hóa đọc witness này và xác minh rằng quá trình chuyển đổi trạng thái là chính xác. Sau đó, một zkVM thực thi quy trình này, và Prover tạo ra bằng chứng về tính đúng đắn của việc thực thi. Cuối cùng, máy trạm lớp đồng thuận xác nhận khối bằng cách xác minh bằng chứng này, thay vì gọi máy trạm lớp thực thi để thực thi lại giao dịch. Từ khóa ở đây là "tùy chọn". Thiết kế ban đầu không bắt buộc mọi người phải chuyển đổi, cũng không yêu cầu nâng cấp hard fork . Nút vẫn có thể thực thi lại các giao dịch như hiện tại. Tuy nhiên, các trình xác thực muốn xác nhận khối bằng cách xác minh bằng chứng có thể chọn làm như vậy; Nút này được gọi là zkAttesters: chúng xác nhận các khối bằng cách xác minh bằng chứng zkEVM, thay vì chạy toàn bộ máy trạm lớp thực thi. zkAttesters không cần phải giữ trạng thái lớp thực thi, cũng không cần phải đồng bộ hóa toàn bộ dữ liệu Chuỗi lớp thực thi. Quá trình đồng bộ hóa có thể được đơn giản hóa thành việc tải xuống bằng chứng của khối gần đây nhất. Điều này sẽ trực tiếp giảm chi phí vận hành nút . Hiện tại, việc chạy các trình xác thực yêu cầu chạy đồng thời cả máy trạm lớp đồng thuận và máy trạm lớp thực thi, trong đó máy khách lớp thực thi cực kỳ tốn tài nguyên. Lưu trữ trạng thái, thời gian xử lý khối và yêu cầu băng thông đều tăng trưởng theo giới hạn gas . Việc thay thế quá trình thực thi lặp đi lặp lại bằng việc xác minh bằng chứng làm giảm đáng kể rào cản phần cứng đối với việc tham gia vào quá trình đồng thuận. Tác động này mở rộng ra ngoài phạm vi các trình xác thực. Vì bằng chứng zkEVM là "không trạng thái", chúng có thể chứng minh tính đúng đắn của quá trình thực thi và tính hợp pháp của các chuyển đổi trạng thái mà không cần giữ toàn bộ trạng thái, giúp các cá nhân dễ dàng chạy nút trên phần cứng cục bộ và tự mình xác minh toàn bộ Chuỗi. Đây là một trong những lời hứa cốt lõi phi tập trung. Một yếu tố phụ thuộc quan trọng khác là ePBS (tách biệt người đề xuất và người xây dựng trong giao thức), dự kiến sẽ được giới thiệu trong hard fork Glamsterdam sắp tới. Nếu không có ePBS, thời gian tạo bằng chứng chỉ là 1-2 giây, khiến việc tạo bằng chứng theo thời gian thực gần như không thể. Với cơ chế đường ống khối, thời gian này có thể mở rộng đến 6-9 giây, giúp việc tạo bằng chứng trong một khoảng thời gian duy nhất trở nên khả thi hơn. Những người đặt cược độc lập và các trình xác thực gia đình có thể là những người hưởng lợi trực tiếp nhất. Là zkAttesters, họ không còn cần phải chạy một máy trạm lớp thực thi đầy đủ; quá trình đồng bộ hóa có thể được hoàn thành trong vài phút. Việc xác minh bằng chứng thay thế việc thực thi lặp đi lặp lại, giảm đáng kể yêu cầu về phần cứng. Đội ngũ máy trạm lớp thực thi cũng có được những hướng phát triển mới. Mỗi máy trạm có thể trở thành mục tiêu bằng chứng, và thiết kế của nhiều mạng con bằng chứng đảm bảo rằng sự đa dạng máy trạm không chỉ được bảo tồn mà còn trở thành một phần của cấu trúc giao thức. Tình hình ở phía bằng chứng phức tạp hơn. Bằng chứng dựa trên giả định về tính khả thi "1 trên N": miễn là có một người chứng minh trung thực trên thế giới, Chuỗi Chuỗi tiếp tục hoạt động. Mô hình đơn giản nhất là để các nhà xây dựng khối đồng thời đảm nhận nhân vật chứng minh, nhưng điều này có thể dẫn đến sự tập trung hóa khả năng chứng minh. Điều gì sẽ xảy ra nếu các nhà xây dựng cao cấp rút lui? Các vấn đề như mạng lưới chứng minh phân tán và khả năng chứng minh phần cứng cấp độ gia đình vẫn đang được thảo luận. Mục tiêu thiết kế rõ ràng là khả năng chứng minh không chỉ nên tồn tại trong các trung tâm dữ liệu. Các nhà cung cấp zkVM (như ZisK, openVM, RISC Zero, v.v.) cũng sẽ được hưởng lợi từ điều này, vì họ đang thúc đẩy Ethereum trở thành một trong những kịch bản ứng dụng chứng minh không tiết lộ thông tin lớn nhất thế giới. Trên thực tế, đội ngũ đã và đang tạo ra bằng chứng cho các khối Ethereum. Sự phát triển của các giao diện tiêu chuẩn hóa cung cấp cho họ các mục tiêu phát triển rõ ràng.
Nguồn nội dung 
