Tác giả gốc: Delphi Digital

Tổng hợp gốc: Luffy, Tin tức tầm nhìn xa

Người ta thường tin rằng lý thuyết mô-đun bao gồm bốn lớp: DA (tính sẵn có của dữ liệu), sự đồng thuận, thực thi và giải quyết. Tuy nhiên, một lớp mới, bộ chứng minh được chia sẻ, có thể được tích hợp vào lý thuyết mô-đun.

Nó có thể là phần còn thiếu để xác minh hiệu quả và có thể mở rộng không? Người chứng minh được chia sẻ, tập hợp bằng chứng và thị trường người chứng minh đang thay đổi bối cảnh bằng chứng không có kiến thức. Bạn có thể tìm hiểu mọi thứ bạn cần biết trong báo cáo mới nhất của chúng tôi.

Sau đây là tóm tắt những điểm chính của báo cáo👇

Đánh giá ngắn gọn về zk Rollup

Giải pháp zk Rollup mở rộng quy mô giao dịch của Ethereum, chuyển các giao dịch ra khỏi chuỗi để xử lý nhanh hơn, đồng thời cho phép tính hữu hạn cứng trên Ethereum và xác minh thông qua bằng chứng zk (bằng chứng không có kiến thức).

Bằng chứng zk: xác minh nhanh, tạo chậm

Mặc dù mạnh mẽ về mặt quyền riêng tư và khả năng mở rộng quy mô, nhưng proof-of-zk có thể tốn kém và tạo ra chậm trên Ethereum.

Chi phí chứng nhận cao sẽ hạn chế các ứng dụng zk. Các phương pháp tiếp cận mới như tổng hợp bằng chứng và thị trường chứng minh nhằm giải quyết những hạn chế này.

chuỗi cung ứng chứng nhận

Trình sắp xếp được chia sẻ cung cấp thông lượng cao cho các giao dịch trên các chuỗi khối. Tuy nhiên, thực tế chúng không chứng minh được điều gì. Trong tương lai, chúng có thể được tích hợp với mạng chứng minh dùng chung để ủy thác nhiệm vụ này.

Ngày nay, Rollup phải đối mặt với thách thức gửi bằng chứng không có kiến thức riêng biệt, tốn kém.

Mạng Prover 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 ZooKeeper 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ụ bằng chứng chuyên biệt, từ đó tăng chi phí và hiệu quả.

Người chứng thực được chia sẻ có thể cải thiện đáng kể tình hình cho các ứng dụng yêu cầu hỗ trợ chứng thực zk nhưng thiếu tài nguyên phát triển mạch hoặc zkVM nội bộ.

Hiện tại, Rollup gửi các bằng chứng zk riêng biệt, dẫn đến chi phí gas cao trong giờ cao điểm.

Mạng chứng minh hiện nhằm mục đích thuê ngoài việc tạo bằng chứng cho các nhà cung cấp phần cứng chuyên dụng để tăng hiệu quả.

Trong một mạng có nhiều lần cuộn và được kết nối với mạng của người chứng minh, vòng đời giao dịch hoạt động như sau:

• Rollup gửi yêu cầu chứng nhận.

• Cơ chế so khớp chọn một câu chuẩn.

• Người chứng minh thỏa mãn yêu cầu.

• Đặt các bằng chứng lại với nhau.

• Người chứng minh nộp bằng chứng cuối cùng cho L1 để xác minh.

Chi phí xác minh khấu hao

Proof Singularity đề cập đến các công nghệ khác nhau được thiết kế để giảm chi phí cho các bằng chứng xác minh trên chuỗi.

Tập hợp bằng chứng là một trong những kỹ thuật này, nén nhiều bằng chứng hợp lệ thành một bằng chứng duy nhất để xác minh tất cả chúng.

Việc "xác minh hàng loạt" 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í chứng minh ứng dụng zk

Chi phí xác minh cao và thời gian chứng minh của các ứng dụng zk cuối cùng sẽ được chuyển cho 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à công bố bằng chứng trên chuỗi.

Tổng quan về giao thức tổng hợp bằng chứng

Nebra UPA

Nebra UPA cho phép các ứng dụng zk gói nhiều bằng chứng để giảm chi phí xác minh và họ tuyên bố hỗ trợ khoảng 10 bằng chứng/giây trên mạng thử nghiệm. Trình chứng minh của họ hiện đang được tập trung hóa nhưng có kế hoạch kích hoạt bằng chứng không cần cấp phép trong tương lai.

Chúng có cơ chế đưa vào cưỡng bức tương tự như các nhóm thoát hiểm L2 hiện có. Nếu người chứng minh kiểm duyệt hoặc trì hoãn việc chứng minh, các ứng dụng zk có thể bỏ qua người chứng minh và buộc giải quyết bằng chứng trên L1.

Lớp căn chỉnh

Lớp được căn chỉnh là lớp xác minh zk phổ quát của Ethereum được bảo vệ bởi EigenLayer AVS. Các nhà khôi phục cung cấp cho người dùng tính hữu hạn mềm thông qua việc tổng hợp bằng chứng và các cam kết Ethereum duy nhất. DA mặc định là EigenDA, nhưng các lớp DA khác có thể được chọn, chẳng hạn như Celestia hoặc Avail.

Lớp Agg

AggLayer của Polygon là cơ sở hạ tầng trung lập cho các tương tác chuỗi chéo an toàn. Nó nhằm mục đích thống nhất các mạng blockchain độc lập dưới một cầu nối xuyên chuỗi, thúc đẩy khả năng tương tác mà không ảnh hưởng đến chủ quyền của blockchain.

Hệ thống được thiết kế để tổng hợp các bằng chứng trong tất cả các Bản tổng hợp được kết nối rồi gửi 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ẻ được gửi.

• Nó không yêu cầu máy ảo hoặc môi trường thực thi cụ thể

• Các chuỗi khối có thể tự do lựa chọn mã thông báo Gas của riêng mình

• Nó không cần phải chịu sự quản lý chung.

Về cơ bản, cơ sở hạ tầng kết hợp tất cả lại với nhau là cầu nối chuỗi chéo LxLy, tiêu chuẩn hóa giao thức nhắn tin xuyên chuỗi chung để Rollups giao tiếp với nhau và với Ethereum trong khi vẫn duy trì chủ quyền.

Giải thích ngắn gọn về cách hoạt động của LxLy 👇

• Mỗi chuỗi theo dõi các lần chuyển tiền rút trong cây Merkle (cây thoát)

• Tất cả các cây thoát được hợp nhất thành cây thoát toàn cầu, được chia sẻ trên các chuỗi

• Cập nhật cây cục bộ và toàn cầu để cho phép xác thực và tính toán số tiền rút ròng.

Ngoài ra, Agglayer còn có một cầu nối chuỗi chéo chung giữa các Rollups được kết nối, giúp đơn giản hóa luồng tài sản giữa L1 và L2. Tài sản được thế chấp trong hợp đồng L1 và không yêu cầu đóng gói hoặc khóa/đúc tiền.

Theo truyền thống, các khuôn khổ dựa vào một cơ quan chứng nhận nội bộ duy nhất, điều này có nguy cơ gây ra các vấn đề về kiểm duyệt và sự tồn tại. Một mạng lưới những người chứng minh có thể bắt đầu tập trung và dần dần phân cấp theo thời gian.

Việc phân cấp thị trường chứng minh vẫn là một câu hỏi mở, nhưng một số cách tiếp cận đang được khám phá:

• Cuộc thi chứng minh: Người chứng minh nhanh nhất sẽ thắng, tăng hiệu quả nhưng lãng phí tính toán (chi phí chuyển cho người dùng).

• Khai thác bằng chứng: Tương tự như khai thác PoW, các số ngẫu nhiên được sử dụng để ngăn chặn người thắng ăn hết (vẫn còn tồn tại lãng phí tính toán). Khả năng tăng tốc phần cứng trong SNARK ASIC hứa hẹn sẽ giảm chi phí.