Delphi thảo luận về Proof Sharer: Lãnh địa mới của mô-đun hóa
Tuyển chọn TechFlowTuyển chọn TechFlow
Delphi thảo luận về Proof Sharer: Lãnh địa mới của mô-đun hóa
Bằng chứng chia sẻ có thể giảm chi phí xác minh cho các ứng dụng zk và nâng cao hiệu quả xác minh.
Chuyên sâu báo cáo Web3Tác giả: Delphi Digital
Biên dịch: Luffy, Foresight News
Lý thuyết mô-đun thường được cho là gồm bốn lớp: DA (khả năng sẵn sàng dữ liệu), đồng thuận, thực thi và thanh toán. Tuy nhiên, một lớp mới – người chứng minh chung (shared prover) – có thể sẽ được tích hợp vào lý thuyết mô-đun.
Liệu nó có thể trở thành mảnh ghép còn thiếu để đạt được xác minh hiệu quả và mở rộng quy mô? Người chứng minh chung, tập hợp bằng chứng và thị trường người chứng minh đang thay đổi toàn cảnh bằng chứng kiến thức không (zero-knowledge proof). Bạn có thể tìm hiểu mọi điều cần biết trong báo cáo mới nhất của chúng tôi.
Dưới đây là tóm tắt những điểm chính từ báo cáo👇
Tổng quan ngắn gọn về zk Rollup
Các giải pháp zk Rollup giúp mở rộng quy mô giao dịch trên Ethereum bằng cách chuyển các giao dịch ra ngoài chuỗi để xử lý nhanh hơn, đồng thời vẫn đảm bảo tính chắc chắn cứng (hard finality) trên Ethereum thông qua việc xác minh bằng bằng chứng zk (zero-knowledge proof).
Bằng chứng zk: Xác minh nhanh, nhưng tạo ra chậm
Mặc dù bằng chứng zk mạnh mẽ về mặt riêng tư và khả năng mở rộng, việc tạo bằng chứng trên Ethereum có thể tốn kém và chậm.
Chi phí cao cho việc tạo bằng chứng có thể hạn chế các ứng dụng zk. Những phương pháp mới như tập hợp bằng chứng và thị trường người chứng minh nhằm giải quyết những hạn chế này.
Chuỗi cung ứng người chứng minh
Các bộ sắp xếp chung (shared sequencers) cung cấp thông lượng cao cho các giao dịch xuyên suốt nhiều blockchain. Tuy nhiên, chúng thực tế không chứng minh bất cứ điều gì. Trong tương lai, chúng có thể được tích hợp với mạng lưới người chứng minh chung để ủy quyền nhiệm vụ này.
Hiện nay, các Rollup đối mặt với bài toán khó khăn khi phải nộp riêng lẻ từng bằng chứng zk với chi phí cao.
Mạng lưới người chứng minh cung cấp một giải pháp: một thị trường thống nhất nơi các ứng dụng zk khác nhau có thể thuê ngoài việc tạo bằng chứng cho các nhà cung cấp dịch vụ chuyên biệt, từ đó cải thiện chi phí và hiệu suất.
Người chứng minh chung có thể cải thiện đáng kể tình hình cho các ứng dụng cần hỗ trợ bằng chứng zk nhưng thiếu nguồn lực phát triển zkVM hoặc mạch nội bộ.
Hiện tại, các Rollup nộp các bằng chứng zk riêng lẻ, dẫn đến chi phí Gas cao trong các giờ cao điểm.
Mục tiêu hiện tại của mạng lưới người chứng minh là thuê ngoài việc tạo bằng chứng cho các nhà cung cấp phần cứng chuyên biệt nhằm nâng cao hiệu quả.
Trong một mạng lưới có nhiều Rollup kết nối tới mạng lưới người chứng minh, vòng đời giao dịch hoạt động như sau:
-
Rollup gửi yêu cầu tạo bằng chứng.
-
Cơ chế khớp nối chọn một người chứng minh.
-
Người chứng minh thực hiện yêu cầu.
-
Các bằng chứng được tập hợp lại.
-
Người chứng minh nộp bằng chứng cuối cùng lên L1 để xác minh.
Chia sẻ chi phí xác minh
Điểm kỳ dị bằng chứng (Proof Singularity) là thuật ngữ chỉ các công nghệ nhằm giảm chi phí xác minh bằng chứng trên chuỗi.
Tập hợp bằng chứng là một trong số đó, nén nhiều bằng chứng hợp lệ thành một bằng chứng duy nhất có thể xác minh tất cả các bằng chứng kia.
Việc "xác minh theo lô" này có thể giảm chi phí Gas so với việc xác minh từng bằng chứng riêng lẻ.
Chi phí người chứng minh cho ứng dụng zk
Chi phí xác minh cao và thời gian tạo bằng chứng của các ứng dụng zk cuối cùng sẽ được chuyển sang người dùng.
Trong vài năm qua, các ứng dụng zk (chủ yếu là Rollup) đã chi gần 30 triệu USD tiền Gas để xác minh và đăng tải bằng chứng lên chuỗi.
Tổng quan các giao thức tập hợp bằng chứng
Nebra UPA
Nebra UPA cho phép các ứng dụng zk gom nhiều bằng chứng lại để giảm chi phí xác minh; họ tuyên bố hỗ trợ khoảng 10 lần chứng minh/giây trên mạng thử nghiệm. Người chứng minh của họ hiện tại mang tính tập trung, nhưng dự định sau này sẽ mở cửa cho mọi người tham gia.
Họ có cơ chế buộc đưa vào (forced inclusion) tương tự như buồng thoát hiểm (escape hatch) của L2 hiện tại. Nếu người chứng minh kiểm duyệt hoặc trì hoãn bằng chứng, các ứng dụng zk có thể bỏ qua người chứng minh và buộc thực hiện việc thanh toán bằng chứng trên L1.
Aligned Layer
Aligned Layer là một tầng xác minh zk chung dành cho Ethereum, được bảo vệ bởi EigenLayer AVS. Các bên restaker cung cấp tính xác định mềm (soft finality) cho người dùng thông qua tập hợp bằng chứng và gửi lên Ethereum duy nhất. Mặc định sử dụng EigenDA làm lớp DA, nhưng cũng có thể lựa chọn các lớp DA khác như Celestia hoặc Avail.
AggLayer
AggLayer của Polygon là một cơ sở hạ tầng trung lập nhằm đảm bảo tương tác an toàn giữa các chuỗi. Nó nhằm mục đích thống nhất các mạng blockchain độc lập dưới một cây cầu liên chuỗi, thúc đẩy khả năng tương tác mà không làm mất đi chủ quyền của các blockchain.
Hệ thống này hướng tới việc tổng hợp các bằng chứng từ tất cả các Rollup được kết nối, rồi nộp một bằng chứng duy nhất chứa cây Merkle của từng bằng chứng riêng lẻ đã nộp.
-
Không yêu cầu máy ảo hoặc môi trường thực thi cụ thể nào
-
Blockchain có thể tự do lựa chọn loại tiền Gas riêng
-
Không cần tuân theo quản trị chung.
Ở tầng dưới, cơ sở hạ tầng kết nối tất cả những thành phần này là cây cầu liên chuỗi LxLy, chuẩn hóa một giao thức truyền tin liên chuỗi chung để các Rollup có thể giao tiếp với nhau và với Ethereum mà vẫn giữ được chủ quyền.
Giải thích ngắn gọn về cách thức hoạt động của LxLy👇
-
Mỗi chuỗi theo dõi các giao dịch rút tiền trong một cây Merkle (cây xuất)
-
Tất cả các cây xuất được hợp nhất thành một cây xuất toàn cục, dùng chung xuyên suốt các chuỗi
-
Cập nhật cây địa phương và cây toàn cục, cho phép xác minh và tính toán ròng rút tiền.
Hơn nữa, AggLayer có một cây cầu liên chuỗi chung giữa các Rollup được kết nối, đơn giản hóa dòng chảy tài sản giữa L1 và L2. Tài sản được thế chấp trong một hợp đồng L1, không cần đóng gói hay khóa/phát hành.
Truyền thống, các khuôn khổ phụ thuộc vào một người chứng minh nội bộ duy nhất, tiềm ẩn rủi ro kiểm duyệt và vấn đề về độ sẵn sàng. Mạng lưới người chứng minh có thể bắt đầu theo cách tập trung, sau đó dần phi tập trung theo thời gian.
Vấn đề phi tập trung hóa thị trường người chứng minh vẫn còn bỏ ngỏ, nhưng một số phương pháp đang được khám phá:
-
Cuộc đua tạo bằng chứng: Người chứng minh nhanh nhất thắng, tăng hiệu suất nhưng gây lãng phí tính toán (chi phí dồn sang người dùng).
-
Đào bằng chứng: Tương tự đào PoW, dùng nonce để tránh tình trạng người thắng nhận hết (vẫn tồn tại lãng phí tính toán). Việc tăng tốc phần cứng trong SNARK ASIC hứa hẹn sẽ giảm chi phí.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
Delphi Digital
