Delphi Digital: Khám phá những người chứng minh được chia sẻ, một lãnh thổ mô-đun mới

Bản gốc của Delphi Digital

Tổng hợp gốc: Luffy, Foresight News

Lý thuyết mô-đun thường được coi là bao gồm bốn lớp: DA (Tính khả dụng của dữ liệu), Nhận thức chung, Thực thi và Thanh toán. Tuy nhiên, một lớp mới, câu tục ngữ đượ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 của xác thực hiệu quả, có thể mở rộng? Câu tục ngữ được chia sẻ, tổng hợp bằng chứng và thị trường chứng minh đang thay đổi cục diện của zk-SNARK. 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.

Dưới đây là tóm tắt 👇 các điểm chính từ báo cáo

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

Giải pháp zk Rollup có thể mở rộng quy mô giao dịch của Ethereum, di chuyển các giao dịch off-chain để xử lý nhanh hơn, đồng thời cho phép xác định cứng trên Ethereum và xác minh bằng bằng chứng zk (zk-SNARK).

zk proof: xác minh nhanh, tạo chậm

Mặc dù bằng chứng zk rất mạnh mẽ về quyền riêng tư và tỷ lệ, nhưng việc tạo bằng chứng trên Ethereum có thể tốn kém và chậm chạp.

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

Protender Chuỗi cung ứng

Bộ giải trình tự dùng chung cung cấp thông lượng cao cho các giao dịch trên toàn Blockchain. Tuy nhiên, chúng không thực sự chứng minh bất cứ điều gì. Chúng có thể được tích hợp với một mạng lưới prover được chia sẻ trong tương lai để ủy thác nhiệm vụ này.

Ngày nay, rollups phải đối mặt với thách thức của các bài nộp zk-SNARK tốn kém, riêng biệt.

Mạng Proof 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ụ Bằng chứng chuyên dụng, tăng chi phí và hiệu quả.

Trình 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 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, Rollups gửi bằng chứng zk riêng biệt, dẫn đến chi phí gas cao trong giờ cao điểm.

Mục tiêu của mạng lưới prover bây giờ là thuê ngoài việc tạo ra các bằng chứng cho các nhà cung cấp phần cứng chuyên dụng trong lệnh để tăng hiệu quả.

Trong một mạng có rollups dài nhất và được kết nối với mạng prover, vòng đời giao dịch hoạt động như sau:

• Rollup gửi yêu cầu Bằng chứng.
• Cơ chế khớp chọn một câu tục ngữ.
• Người chứng nhận đáp ứng yêu cầu.
• Bằng chứng tổng hợp.
• Người chứng minh nộp Bằng chứng cuối cùng cho L1 để xác minh.

Phân bổ chi phí xác thực

Proof Singularity đề cập đến một loạt các kỹ thuật được thiết kế để Thả on-chain bằng chứng xác nhận chi phí.

Tổng hợp bằng chứng là một trong những kỹ thuật này, nén các bằng chứng hợp lệ dài nhất thành một bằng chứng duy nhất xác minh tất cả các bằng chứng.

Việc "xác thực hàng loạt" này có thể Thả gas chi phí so với việc xác minh từng bằng chứng riêng lẻ.

zk App Prover Chi phí

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 được chuyển cho người dùng.

Trong vài năm qua, các ứng dụng zk (chủ yếu là Rollups) đã chi gần 30 triệu đô la gas để xác nhận và xuất bản bằng chứng trên on-chain.

Tổng hợp bằng chứng giao thức hồ sơ

Nebra UPA

Nebra UPA cho phép các ứng dụng zk gói các bằng chứng long để Thả chi phí xác minh và họ tuyên bố hỗ trợ khoảng 10 bằng chứng mỗi giây trên Testnet. Người chứng nhận của họ hiện đang tập trung, nhưng có kế hoạch thực hiện chúng sau này mà không cần bằng chứng về sự cho phép.

Chúng có cơ chế bao gồm cưỡng bức tương tự như các khoang thoát L2 hiện có. Nếu người chứng minh xem xét hoặc Trễ bằng chứng, ứng dụng zk có thể bỏ qua người chứng minh và thực thi giải quyết bằng chứng trên L1.

Aligned Layer

Aligned Layer là lớp xác minh zk phổ quát của Ethereum được bảo mật bởi EigenLayer AVS. Restakers cung cấp cho người dùng tính cuối cùng mềm mại thông qua tổng hợp bằng chứng và cam kết Ethereum đơn. DA mặc định là EigenDA, nhưng bạn cũng có thể chọn các lớp DA khác, chẳng hạn như Celestia hoặc Avail.

AggLayer

AggLayer của Polygon là một cơ sở hạ tầng trung lập cho tính tương tác chuỗi cross 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 chuỗi cross cầu duy nhất, tạo điều kiện cho khả năng tương tác mà không ảnh hưởng đến chủ quyền Blockchain.

Hệ thống được thiết kế để tổng hợp các bằng chứng trong tất cả các rollups được kết nối và sau đó gửi một bằng chứng duy nhất có chứa cây Merkle cho mỗi bằng chứng riêng lẻ được gửi.

• Nó không yêu cầu một Máy ảo hoặc môi trường thực thi cụ thể
• Blockchain được tự do lựa chọn gas Token của riêng mình
• Nó không cần phải chịu sự đồng quản trị.

Dưới mui xe, cơ sở hạ tầng kết hợp tất cả những điều này lại với nhau là cầu nối Cross-chain LxLy, tiêu chuẩn hóa một giao thức nhắn tin chuỗi cross chung để các Rollups có thể 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 thức hoạt động của LxLy

• Mỗi chuỗi theo dõi chuyển khoản rút tiền trong cây Merkle (cây thoát).
• Tất cả các cây thoát được hợp nhất thành một cây thoát toàn cầu, được chia sẻ chuỗi cross
• Cập nhật cây địa phương và toàn cầu để cho phép xác thực và tính toán rút tiền ròng.

Ngoài ra, Agglayer có chuỗi cross cầu dùng chung giữa các rollups được kết nối, đơ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 mà không cần bọc, khóa/đang đúc.

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

Phi tập trung của thị trường prover 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á:

• Cạnh tranh bằng chứng: Người chứng minh nhanh nhất chiến thắng, nâng cao hiệu quả nhưng lãng phí tính toán (chi phí chuyển cho người dùng).
• Chứng minh Khai thác: Tương tự như PoW Khai thác, số ngẫu nhiên được sử dụng để ngăn chặn người chiến thắng lấy tất cả (lãng phí tính toán vẫn tồn tại). Tăng tốc phần cứng trong SNARK ASIC dự kiến sẽ Thả chi phí.