Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn
原文标题:Mô hình ZKP Requester-Prover Separation để hỗ trợ Full ZK và Optimistic ZK
Tác giả gốc: 0x3d18, ZKPool
Trình biên dịch: Qianwen, ChainCatcher
Có nhiều trường hợp sử dụng cho các bằng chứng không có kiến thức, bao gồm rollups, bridge và oracles. Điều này dẫn đến sự phát triển của các dự án như ZK-Rollup, ZK-bridge và ZK-oracle.
Thiết kế lai và lạc quan gần đây đã được áp dụng cho công nghệ ZKP. Ví dụ, Orbiter Finance đã đề xuất giao thức bắc cầu ZK lạc quan, trong khi Taiko đã đề xuất một giải pháp tổng hợp lai tiến bộ.
ZK lạc quan giả định rằng tất cả các chuyển đổi trạng thái là chính xác và không yêu cầu bằng chứng ngay lập tức về tính hợp lệ. Nhưng nó thiết lập một cửa sổ thách thức được xác định trước, trong đó bất kỳ người tham gia nào cũng có thể tranh chấp hoạt động gian lận bằng cách gửi bằng chứng về tính hợp lệ hoặc bằng chứng gian lận.
Thiết kế này làm giảm tổng chi phí chứng minh cho các dự án ZKP trong khi vẫn đảm bảo an ninh bằng cách khuyến khích hệ thống giám sát thách thức phi tập trung và thách thức gian lận.
Giao thức bắc cầu ZK lạc quan
Orbiter Finance là một trong những dự án cross-rollup nổi tiếng hơn. Nó đề xuất "Orbiter Cross-Rollup Protocol: Lạc quan về đa số tuân thủ, trọng tài cứng rắn cho thiểu số độc hại".
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/840b113311223b1c65f29c4e385c0f81.png)
Optimistic Rollup Cross Trading Process (từ Orbiter Finance)
Nó xác định một thiết kế cross-rollup phi tập trung, an toàn và tiết kiệm chi phí, được hỗ trợ bởi công nghệ ZKP.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/e570d5bc7c7047baa06d05b54b30219b.png)
Thiết kế phi tập trung của Orbiter
Có một số yếu tố quan trọng cần xem xét cho một thiết kế như vậy:
Trước hết, dự án cầu trong quá khứ đã gặp nhiều vấn đề về bảo mật, gây thiệt hại không nhỏ cho người sử dụng. Tập trung hóa cũng mang lại rủi ro bảo mật. Do đó, phân cấp là điều cần thiết để bắc cầu.
Thứ hai, cần có cơ chế đảm bảo tính chính xác của luồng giao dịch giữa nguồn/rollup và chuỗi/rollup đích.
Ngoài ra, điều cần thiết là tìm một cách hiệu quả về chi phí để tạo ra các bằng chứng như vậy. So với cây Merkle trên chuỗi, ZKP là một lựa chọn khả thi với ít phí gas hơn.
Đặc biệt, đối với cầu cuộn chéo, chi phí là mối quan tâm hàng đầu và mục tiêu của toàn bộ thiết kế là giảm thiểu chi phí. Điều này có nghĩa là điều quan trọng là phải giảm các giao dịch trên chuỗi và giảm thiểu lượng gas cho mỗi giao dịch trên chuỗi.
Trong thiết kế của Orbiter, ngoài chương trình thanh toán bắc cầu, còn có một chương trình khác yêu cầu ZKP. Trong trường hợp này, một vai trò được gọi là "người gửi" tổng hợp thông tin giao dịch tổng hợp chéo và gửi nó đến L1 để đảm bảo rằng đại lý phi tập trung nhận được phần thưởng chính xác.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/8fceebbf48adb58194cbf12d5c4b2353.png)
Thiết kế cam kết phi tập trung của Orbiter
Giao thức của Orbiter giả định rằng phần lớn những người tham gia không thể sai lầm và lạc quan xử lý các sự kiện cross-rollup để đảm bảo thực hiện kịp thời. Nếu bằng chứng được yêu cầu cho mọi giao dịch tổng hợp chéo, thì việc thực hiện toàn bộ giao dịch bắc cầu sẽ chậm. Do đó, không cần phải tạo ra bằng chứng trong trường hợp không có hành vi độc hại, tiết kiệm chi phí. Tuy nhiên, nếu người tạo hoặc người gửi phát hiện hành vi độc hại, người thách thức có thể tạo bằng chứng và người gửi bị thách thức cũng nên gửi bằng chứng.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/bf6f51aaec292c901d7338d4c5f59363.png)
Tàu quỹ đạo Thiết kế cầu zk lạc quan
Mô hình tách Prover của ZKPool Requester
Khi nói đến việc sử dụng công nghệ ZKP, có các chế độ khác nhau có sẵn:
ZK đầy đủ: Trong chế độ này, một ZKP là bắt buộc cho mỗi chuyển đổi. Điều này có thể đạt được thông qua các dự án như ZK-bridge (ví dụ: Polyhedra) hoặc ZK-Rollup (ví dụ: Scroll).
Zk lạc quan: Trong chế độ này, ZKP chỉ được yêu cầu khi chuyển đổi được thử thách. Taiko và Orbiter là một ví dụ về mô hình này.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/c19a08c68ebbf3a141b9a208c0ce3570.png)
Zk đầy đủ và lạc quan zk
Khi xác định các mô hình trừu tượng, rõ ràng ZK-bridge và ZK-Rollup có một số điểm tương đồng. Cụ thể, sự khác biệt này được phản ánh trong mối quan hệ giữa người yêu cầu ZKP và tục ngữ ZKP, như thể hiện trong sơ đồ sau. Ở đây, người yêu cầu ZKP tham chiếu đến một mô-đun có nhu cầu tạo ZKP.
Kịch bản như sau:
Trong dự án ZK-Rollup:
Ở chế độ zk đầy đủ, trình sắp xếp hoạt động như một người yêu cầu ZKP.
Trong chế độ zk lạc quan, người thách thức đóng vai trò là người yêu cầu ZKP.
Trong dự án cầu ZK:
Trong chế độ all-zk, nhà sản xuất đóng vai trò là người yêu cầu ZKP.
Trong chế độ zk lạc quan, người thách thức hoạt động như một người yêu cầu ZKP.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/44d8c7de5987ff81d07b07403ef421e0.png)
ZKP Requester và ZKP Prover
Như đã đề cập trước đó, trong một zk lạc quan, có thể không phải lúc nào cũng có một nhiệm vụ chứng minh. Do đó, nếu người yêu cầu ZKP và người chứng minh ZKP được kết hợp thành cùng một mô-đun, người chứng minh có thể không hoạt động và sức mạnh tính toán của nó có thể không được sử dụng đầy đủ.
Nếu chúng ta thiết kế một mô hình phân tách người yêu cầu-người chứng minh và biến người chứng minh thành một nhóm chia sẻ, chúng ta có thể tăng việc sử dụng câu tục ngữ. Khi kịch bản lạc quan không bị thách thức, người chứng minh có thể đảm nhận nhiệm vụ chứng minh từ các dự án ZKP khác. Điều này có nghĩa là ZKPool đóng một vai trò quan trọng trong dự án zk-bridge, đặc biệt là khi kết hợp Optimistic với những người khác.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/3c792f2cf715a1b1288bf5b08229ff60.png)
ZKPool chia sẻ vai trò của người chứng minh ZKP trong số những người yêu cầu ZKP
Mô hình phân tách người cầu xin ZKP không chỉ áp dụng cho các cuộn và cầu, mà còn cho các nhà tiên tri và tất cả các dự án ZKP khác.
Tóm tắt
Dựa trên thông tin được cung cấp, chúng tôi có thể rút ra kết luận sau:
Công nghệ ZKP rất cần thiết cho dự án ZKP, bao gồm rollups, bridges, oracles và các dự án liên quan khác.
ZKPool cho phép chúng tôi coi người tạo / người gửi ZK-bridge và người sắp xếp trình tự của ZK-Rollup là cùng một vai trò, được gọi chung là người yêu cầu ZKP
Bằng cách sử dụng mô hình tách người yêu cầu-người chứng minh ZKP của ZKPool, bạn có thể cải thiện tỷ lệ sử dụng câu tục ngữ của mình. Mô hình này cũng thúc đẩy sự phân cấp của tất cả các dự án ZKP.
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn
原文标题:Mô hình ZKP Requester-Prover Separation để hỗ trợ Full ZK và Optimistic ZK
Tác giả gốc: 0x3d18, ZKPool
Trình biên dịch: Qianwen, ChainCatcher
Có nhiều trường hợp sử dụng cho các bằng chứng không có kiến thức, bao gồm rollups, bridge và oracles. Điều này dẫn đến sự phát triển của các dự án như ZK-Rollup, ZK-bridge và ZK-oracle.
Thiết kế lai và lạc quan gần đây đã được áp dụng cho công nghệ ZKP. Ví dụ, Orbiter Finance đã đề xuất giao thức bắc cầu ZK lạc quan, trong khi Taiko đã đề xuất một giải pháp tổng hợp lai tiến bộ.
ZK lạc quan giả định rằng tất cả các chuyển đổi trạng thái là chính xác và không yêu cầu bằng chứng ngay lập tức về tính hợp lệ. Nhưng nó thiết lập một cửa sổ thách thức được xác định trước, trong đó bất kỳ người tham gia nào cũng có thể tranh chấp hoạt động gian lận bằng cách gửi bằng chứng về tính hợp lệ hoặc bằng chứng gian lận.
Thiết kế này làm giảm tổng chi phí chứng minh cho các dự án ZKP trong khi vẫn đảm bảo an ninh bằng cách khuyến khích hệ thống giám sát thách thức phi tập trung và thách thức gian lận.
Giao thức bắc cầu ZK lạc quan
Orbiter Finance là một trong những dự án cross-rollup nổi tiếng hơn. Nó đề xuất "Orbiter Cross-Rollup Protocol: Lạc quan về đa số tuân thủ, trọng tài cứng rắn cho thiểu số độc hại".
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/840b113311223b1c65f29c4e385c0f81.png)
Optimistic Rollup Cross Trading Process (từ Orbiter Finance)
Nó xác định một thiết kế cross-rollup phi tập trung, an toàn và tiết kiệm chi phí, được hỗ trợ bởi công nghệ ZKP.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/e570d5bc7c7047baa06d05b54b30219b.png)
Thiết kế phi tập trung của Orbiter
Có một số yếu tố quan trọng cần xem xét cho một thiết kế như vậy:
Trước hết, dự án cầu trong quá khứ đã gặp nhiều vấn đề về bảo mật, gây thiệt hại không nhỏ cho người sử dụng. Tập trung hóa cũng mang lại rủi ro bảo mật. Do đó, phân cấp là điều cần thiết để bắc cầu.
Thứ hai, cần có cơ chế đảm bảo tính chính xác của luồng giao dịch giữa nguồn/rollup và chuỗi/rollup đích.
Ngoài ra, điều cần thiết là tìm một cách hiệu quả về chi phí để tạo ra các bằng chứng như vậy. So với cây Merkle trên chuỗi, ZKP là một lựa chọn khả thi với ít phí gas hơn.
Đặc biệt, đối với cầu cuộn chéo, chi phí là mối quan tâm hàng đầu và mục tiêu của toàn bộ thiết kế là giảm thiểu chi phí. Điều này có nghĩa là điều quan trọng là phải giảm các giao dịch trên chuỗi và giảm thiểu lượng gas cho mỗi giao dịch trên chuỗi.
Trong thiết kế của Orbiter, ngoài chương trình thanh toán bắc cầu, còn có một chương trình khác yêu cầu ZKP. Trong trường hợp này, một vai trò được gọi là "người gửi" tổng hợp thông tin giao dịch tổng hợp chéo và gửi nó đến L1 để đảm bảo rằng đại lý phi tập trung nhận được phần thưởng chính xác.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/8fceebbf48adb58194cbf12d5c4b2353.png)
Thiết kế cam kết phi tập trung của Orbiter
Giao thức của Orbiter giả định rằng phần lớn những người tham gia không thể sai lầm và lạc quan xử lý các sự kiện cross-rollup để đảm bảo thực hiện kịp thời. Nếu bằng chứng được yêu cầu cho mọi giao dịch tổng hợp chéo, thì việc thực hiện toàn bộ giao dịch bắc cầu sẽ chậm. Do đó, không cần phải tạo ra bằng chứng trong trường hợp không có hành vi độc hại, tiết kiệm chi phí. Tuy nhiên, nếu người tạo hoặc người gửi phát hiện hành vi độc hại, người thách thức có thể tạo bằng chứng và người gửi bị thách thức cũng nên gửi bằng chứng.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/bf6f51aaec292c901d7338d4c5f59363.png)
Tàu quỹ đạo Thiết kế cầu zk lạc quan
Mô hình tách Prover của ZKPool Requester
Khi nói đến việc sử dụng công nghệ ZKP, có các chế độ khác nhau có sẵn:
ZK đầy đủ: Trong chế độ này, một ZKP là bắt buộc cho mỗi chuyển đổi. Điều này có thể đạt được thông qua các dự án như ZK-bridge (ví dụ: Polyhedra) hoặc ZK-Rollup (ví dụ: Scroll).
Zk lạc quan: Trong chế độ này, ZKP chỉ được yêu cầu khi chuyển đổi được thử thách. Taiko và Orbiter là một ví dụ về mô hình này.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/c19a08c68ebbf3a141b9a208c0ce3570.png)
Zk đầy đủ và lạc quan zk
Khi xác định các mô hình trừu tượng, rõ ràng ZK-bridge và ZK-Rollup có một số điểm tương đồng. Cụ thể, sự khác biệt này được phản ánh trong mối quan hệ giữa người yêu cầu ZKP và tục ngữ ZKP, như thể hiện trong sơ đồ sau. Ở đây, người yêu cầu ZKP tham chiếu đến một mô-đun có nhu cầu tạo ZKP.
Kịch bản như sau:
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/44d8c7de5987ff81d07b07403ef421e0.png)
ZKP Requester và ZKP Prover
Như đã đề cập trước đó, trong một zk lạc quan, có thể không phải lúc nào cũng có một nhiệm vụ chứng minh. Do đó, nếu người yêu cầu ZKP và người chứng minh ZKP được kết hợp thành cùng một mô-đun, người chứng minh có thể không hoạt động và sức mạnh tính toán của nó có thể không được sử dụng đầy đủ.
Nếu chúng ta thiết kế một mô hình phân tách người yêu cầu-người chứng minh và biến người chứng minh thành một nhóm chia sẻ, chúng ta có thể tăng việc sử dụng câu tục ngữ. Khi kịch bản lạc quan không bị thách thức, người chứng minh có thể đảm nhận nhiệm vụ chứng minh từ các dự án ZKP khác. Điều này có nghĩa là ZKPool đóng một vai trò quan trọng trong dự án zk-bridge, đặc biệt là khi kết hợp Optimistic với những người khác.
! [Giải thích ý tưởng mới về cầu nối ZKP: sử dụng mô hình phân tách người yêu cầu-người chứng minh ZKP để tạo ra một cầu nối chuỗi chéo phi tập trung an toàn hơn] (https://cdn-img.panewslab.com//panews/2022/11/3/images/3c792f2cf715a1b1288bf5b08229ff60.png)
ZKPool chia sẻ vai trò của người chứng minh ZKP trong số những người yêu cầu ZKP
Mô hình phân tách người cầu xin ZKP không chỉ áp dụng cho các cuộn và cầu, mà còn cho các nhà tiên tri và tất cả các dự án ZKP khác.
Tóm tắt
Dựa trên thông tin được cung cấp, chúng tôi có thể rút ra kết luận sau:
Công nghệ ZKP rất cần thiết cho dự án ZKP, bao gồm rollups, bridges, oracles và các dự án liên quan khác.
ZKPool cho phép chúng tôi coi người tạo / người gửi ZK-bridge và người sắp xếp trình tự của ZK-Rollup là cùng một vai trò, được gọi chung là người yêu cầu ZKP
Bằng cách sử dụng mô hình tách người yêu cầu-người chứng minh ZKP của ZKPool, bạn có thể cải thiện tỷ lệ sử dụng câu tục ngữ của mình. Mô hình này cũng thúc đẩy sự phân cấp của tất cả các dự án ZKP.