Tóm tắt Chainfeeds:
Nếu không có ZK thời gian thực, rất khó để có trải nghiệm người dùng Interop thực sự hữu ích.
Nguồn bài viết:
https://www.techflowpost.com/article/detail_29532.html
Tác giả bài viết:
Phòng thí nghiệm imToken
Quan điểm :
imToken Labs: Vào ngày 4 tháng 12, nâng cấp Ethereum Fusaka đã chính thức được kích hoạt trên mạng chính. Tuy nhiên, không giống như nâng cấp Dencun, đây không phải là một sự kiện lớn, và sự chú ý của thị trường chủ yếu tập trung vào việc mở rộng quy mô Blob và PeerDAS, với nhiều cuộc thảo luận về việc giảm chi phí dữ liệu L2 hơn nữa. Nhưng ngoài những ồn ào đó, thực tế có một Đề án, EIP-7825, đã loại bỏ trở ngại lớn nhất để Ethereum đạt được L1 zkEVM và bằng chứng thời gian thực, và thậm chí có thể nói là đang âm thầm mở đường cho giai đoạn cuối của Interop. Trong nâng cấp Fusaka lần , trọng tâm gần như hoàn toàn là về khả năng mở rộng: dung lượng Blob tăng gấp 8 lần, kết hợp với xác minh lấy mẫu ngẫu nhiên PeerDAS, khiến câu chuyện về chi phí của DA ( Dữ liệu Availability) hoàn toàn trở thành lịch sử. Thật vậy, L2 rẻ hơn là một điều tốt, nhưng đối với lộ trình ZK dài hạn Ethereum , EIP-7825 mới thực sự là yếu tố thay đổi cuộc chơi vì nó đặt ra giới hạn gas (khoảng 16,78 triệu gas ) cho một giao dịch Ethereum duy nhất. Như chúng ta đã biết, giới hạn gas của khối Ethereum đã được tăng lên 60 triệu trong năm nay. Tuy nhiên, ngay cả với việc tăng giới hạn liên tục, về mặt lý thuyết, nếu ai đó sẵn sàng trả một mức giá gas cực kỳ cao, họ vẫn có thể gửi một "giao dịch siêu lớn" phức tạp, trực tiếp lấp đầy toàn bộ dung lượng 60 triệu gas của khối, do đó làm tắc nghẽn toàn bộ khối. Vậy tại sao lại giới hạn kích thước của một giao dịch duy nhất? Trên thực tế, thay đổi này không ảnh hưởng đến các giao dịch chuyển khoản thông thường của người dùng, nhưng đối với ZK Prover (trình tạo bằng chứng), đó là vấn đề sống còn, và cũng liên quan mật thiết đến cách hệ thống ZK tạo ra bằng chứng. Để đưa ra một ví dụ đơn giản, trước EIP-7825, nếu một khối chứa một "giao dịch khổng lồ" tiêu tốn 60 triệu gas , Trình chứng minh ZK phải chạy giao dịch cực kỳ phức tạp này theo trình tự. Nó không thể được chia nhỏ hoặc song song hóa. Điều này giống như một đường cao tốc một làn với một chiếc xe tải khổng lồ chạy rất chậm phía trước, và tất cả các xe nhỏ hơn (các giao dịch khác) phía sau phải đợi nó đi qua. Điều này chắc chắn sẽ là án tử cho "bằng chứng thời gian thực" - bởi vì thời gian để tạo ra bằng chứng hoàn toàn không thể dự đoán được và có thể mất hàng chục phút hoặc thậm chí lâu hơn. Sau EIP-7825, ngay cả khi kích thước khối mở rộng lên 100 triệu Gas trong tương lai, vì mỗi giao dịch bị giới hạn bắt buộc ở mức 16,78 triệu Gas , mỗi khối được chia nhỏ thành các "đơn vị nhiệm vụ nhỏ" có thể dự đoán được, có giới hạn và có thể song song hóa. Điều này có nghĩa là việc tạo bằng chứng của Ethereum đã chuyển đổi từ một "câu đố logic" phức tạp thành một "vấn đề tiền tệ" thuần túy: miễn là đầu tư đủ tỷ lệ băm tỷ lệ băm song song, chúng ta có thể xử lý đồng thời nhiệm vụ nhỏ được chia nhỏ này trong một thời gian rất ngắn, từ đó tạo ra bằng chứng ZK cho các khối lớn. Tuy nhiên, trong khi EIP-7825 đã mở đường vật lý (song song hóa) cho bằng chứng thời gian thực bằng cách giới hạn kích thước của một giao dịch duy nhất, thì đây chỉ là một mặt của vấn đề. Mặt khác là cách mạng chủ Ethereum sử dụng khả năng này. Điều này liên quan đến câu chuyện quan trọng nhất trong lộ trình Ethereum—L1 zkEVM. Từ lâu, zkEVM đã được coi là "chén thánh"mở rộng Ethereum, không chỉ vì nó có thể giải quyết các nút thắt cổ chai về hiệu suất, mà còn vì nó định nghĩa lại cơ chế tin cậy của blockchain. Ý tưởng cốt lõi của nó là cho phép mạng chủ Ethereum tạo và xác minh bằng chứng ZK. Nói cách khác, sau mỗi lần thực thi khối trong Ethereum, nó có thể xuất ra một bằng chứng toán học có thể kiểm chứng được, để nút khác (đặc biệt là light node và L2) có thể xác nhận tính đúng đắn của kết quả mà không cần lặp lại phép tính. Nếu khả năng tạo bằng chứng ZK được ghi trực tiếp vào lớp giao thức Ethereum(L1), bên đề xuất sẽ đóng gói một khối và tạo bằng chứng ZK mỗi lần, và nút xác minh sẽ không cần phải chạy lại các giao dịch nữa, mà chỉ cần xác minh bằng chứng toán học nhỏ này.
Nguồn nội dung 
