Chainfeeds hướng dẫn đọc:
Nếu nói việc ZK hóa là điểm khởi đầu của việc tái cấu trúc công nghệ Ethereum, thì "chứng minh thời gian thực" và "Rollup gốc" chính là các giai đoạn triển khai cốt lõi của cuộc cách mạng mở rộng này.
Nguồn bài viết:
https://mp.weixin.qq.com/s/bSC2CFjWax5hljxkcadyKQ
Tác giả bài viết:
Cointelegraph
Quan điểm:
Cointelegraph: Trên lộ trình hướng tới 10.000 TPS, Ethereum có một điểm đột phá công nghệ không thể thiếu: chứng minh thời gian thực (real-time proving). Nhà đồng sáng lập Succinct Uma Roy giải thích như sau: "Chứng minh thời gian thực, nghĩa là có thể tạo ra quá trình chứng minh ZK cho một khối của mạng chủ Ethereum trong thời gian dưới 12 giây". Điều này có nghĩa là gì? Một khi chứng minh thời gian thực được thực hiện, Ethereum sẽ có thể đưa logic xác thực khối vào giao thức của chính nó, và trong điều kiện không hy sinh tính có thể xác minh, gần như "tùy ý" nâng cao giới hạn gas, từ đó thực hiện việc mở rộng quy mô lớn ở L1 (Ghi chú của biên tập: Thời gian tạo mỗi khối của mạng chủ Ethereum là 12 giây, do đó "thời gian thực" có nghĩa là hoàn thành chứng minh trong mỗi chu kỳ khối). Tuy nhiên, để đạt được chứng minh thời gian thực, chỉ dựa vào công nghệ zkVM là chưa đủ, còn cần phải thay đổi ở tầng giao thức Ethereum. Ladislaus từ Quỹ Ethereum chỉ ra, dự kiến sẽ giới thiệu một cơ chế then chốt trong nâng cấp Glamsterdam năm tới - "tách rời xác thực khối và thực thi ngay lập tức", điều này sẽ cung cấp thời gian dồi dào hơn cho Prover để tạo chứng minh zkEVM trong một slot hoàn chỉnh, từ đó thực hiện xử lý thực sự theo thời gian thực. Mục tiêu kỹ thuật ban đầu mà Quỹ Ethereum đặt ra cho Prover là: kiểm soát chi phí phần cứng dưới 100.000 đô la, tiêu thụ điện năng dưới 10 kilowatt, tương đương với mức tiêu thụ điện của một pin gia dụng Tesla Powerwall. Con số này nghe có vẻ không "nhẹ nhàng", nhà phê bình Ethereum Justin Bons (nhà sáng lập Cyber Capital) gọi đó là "yêu cầu phần cứng điên rồ vượt xa nút xác thực của Solana", nhưng thực tế đây là sự nhầm lẫn giữa hai vai trò hoàn toàn khác nhau. Ladislaus từ nhóm điều phối giao thức Quỹ Ethereum chỉ ra: Prover và Validator có trách nhiệm khác nhau, không thể lẫn lộn - Validator chạy nút, tham gia đồng thuận; còn nhiệm vụ của Prover là tạo chứng minh ZK, một khi chứng minh ZK của một giao dịch được tạo chính xác, mạng chỉ cần xác minh chứng minh đó có chính xác hay không, không cần thực thi lại giao dịch. Chính vì vậy, Ladislaus bày tỏ sự lạc quan, "chỉ cần tìm được một người chứng minh trung thực đáp ứng điều kiện phần cứng, Ethereum có thể tiếp tục hoạt động an toàn, chúng tôi cố ý đặt ngưỡng dưới mức trung tâm dữ liệu, thậm chí ngay cả khi không phải là tổ chức lớn hay trung tâm dữ liệu, miễn là các nhà phát triển cá nhân có năng lực kỹ thuật cũng có thể chạy Prover tại nhà". Tại một hội nghị EthProofs vào tháng 7 năm nay, nhà nghiên cứu Justin Drake đã đề cập đến nhiều nguy cơ tiềm ẩn. Ví dụ như kẻ tấn công độc hại có thể chèn "prover killer" vào khối, dẫn đến cơ chế xác thực mạng hoàn toàn bị vô hiệu hóa; hoặc mức độ hoạt động mạng giảm đột ngột, phí giao dịch phát sinh không đủ để chi trả chi phí tạo chứng minh ZK, từ đó ảnh hưởng đến tính bền vững của mạng. Ladislaus từ nhóm điều phối giao thức Quỹ Ethereum cho biết, toàn bộ quá trình chuyển đổi có thể mất vài năm, đặc biệt là phải chú ý đến các mối nguy hiểm về mặt an ninh. Máy ảo ZK (zkVM) như một công nghệ phức tạp vẫn còn ở giai đoạn đầu, rất có khả năng xuất hiện các lỗ hổng. Nhưng theo sự phát triển của hệ sinh thái, chúng ta có thể từng bước nâng cao tính khả thi và độ bền vững của nó trên Ethereum L1 thông qua việc giới thiệu các hệ thống chứng minh đa dạng, hoàn thiện cơ chế khích lệ, và xác thực hình thức.
Nguồn nội dung
