Wisp: Giao thức truyền thông cuộn chéo

Daniel, Kiến trúc sư tại LimeChain (công ty phát triển chuỗi khối) và là một phần của LimeLabs - Bộ phận R&D.

trừu tượng

Phần sau đây nhằm mục đích mô tả một giao thức Giao tiếp liên kết chéo được lưu giữ để truyền dữ liệu giữa các lần tổng hợp, hoàn toàn phù hợp với tương lai tập trung vào việc triển khai của Ethereum và hỗ trợ cộng đồng Ethereum.

Bản thảo 6 trình bày chi tiết về các ưu đãi kinh tế cho các tác nhân tham gia vào giao thức, trình bày luồng thông báo CRC và xem xét các tác động về bảo mật và khả năng mở rộng của giao thức.

Làm thế nào nó hoạt động

Wisp là (1) ứng dụng khách nhẹ dựa trên SNARK trên chuỗi và (2) cơ chế xác minh để lưu Rollup. Ứng dụng khách nhẹ trên chuỗi đảm bảo rằng Rollup hợp đích có thể tin cậy và suy luận về gốc trạng thái thực thi cụ thể ở độ cao cụ thể của Ethereum L1. Dựa trên nguồn gốc này, các hợp đồng thông minh có thể suy luận về việc bao gồm (hoặc không) một phần thông tin nhất định bên trong bất kỳ Rollup neo với Ethereum L1. Cách lý luận bao gồm dữ liệu xảy ra sẽ cụ thể cho từng Rollup nguồn.

Hệ thống được đề xuất bao gồm các bộ chuyển tiếp với tư cách là tác nhân chuyển dữ liệu từ một Rollup nguồn sang một Rollup đích . Truyền dữ liệu thành công yêu cầu:

1. executionStateRoot EthereumStateRoot được đăng trên Destination Rollup
2. Bằng chứng bao gồm Merkle (từ Ethereum L1) của root gốc của Rollup nguồn
3. Bằng chứng bao gồm Merkle (từ Rollup nguồn ) của các vị trí storage phải được chứng minh và cho Rollup để xác minh tính toàn vẹn của quá trình truyền dữ liệu.

Chứng minh gốc trạng thái thực thi L1
Giao thức CRC kết hợp một ứng dụng khách nhẹ trên chuỗi tuân theo Giao thức đồng bộ hóa Ethereum 1 và cập nhật phần đầu của nó thông qua việc sử dụng ZK-SNARK. ZKP chứng minh rằng phần lớn SyncCommittee đã ký vào một tiêu đề khối nhất định.

Chứng minh Rollup State Root
root của Rollup nguồn được đăng trên địa chỉ Hợp đồng L1 của Rollup. Bằng chứng bao gồm Merkle về khóa lưu trữ giữ trạng thái Tổng Rollup nguồn được cung cấp cho hợp đồng CRC trên mạng đích. Sử dụng executionStateRoot đã được chứng minh từ bước cuối cùng, hợp đồng xác minh gốc trạng thái của Rollup nguồn.

Chứng minh dữ liệu được chuyển
Bằng chứng bao gồm Merkle về khóa lưu trữ chứa dữ liệu bên trong Rollup nguồn được cung cấp cho hợp đồng CRC trên mạng đích. Sử dụng trạng thái Rollup nguồn đã được chứng minh, hợp đồng sẽ xác minh dữ liệu thô phải được chuyển.

Phiên bản Alpha

Có một phiên bản Alpha trực tiếp của giao thức sử dụng SNARK tương tự như Proof-of-Consensus 1 để chứng minh Gốc trạng thái thực thi L1 (bước 1).

• Giấy nháp - Giới thiệu Wisp - Giao thức truyền thông cuộn chéo 6
• Ứng dụng Demo - https://demo.wispprotocol.com/ 11
• Tài liệu - https://docs.wispprotocol.com/ 1

Điều này khác với các sáng kiến khác như thế nào?

• Trung tâm Rollup của Ethereum - Wisp đặc biệt tập trung vào hệ sinh thái Ethereum và các rollup của nó. Nó nhận ra các sắc thái của tầm nhìn lấy Ethereum làm trung tâm và không được thiết kế cũng như không có ý định trở thành một sáng kiến “Chuỗi chéo”.
• Hàng hóa công cộng mã nguồn mở. Một giao thức truyền thông tổng hợp chéo phải là 1) nguồn mở (không thể thương lượng), 2) hàng hóa công cộng và lý tưởng nhất là 3) được xây dựng mở với sự đóng góp (hoặc ít nhất là thông tin đầu vào) từ các nhóm khác nhau. Hàng hóa công cộng không loại trừ việc có nguồn doanh thu bền vững, nhưng nó loại trừ hành vi trục lợi, tập trung hóa và tối ưu hóa lợi nhuận (chứ không phải tác động).
• Bảo vệ. Hoàn toàn quan trọng. Giải pháp CRC lý tưởng phải cung cấp bảo mật ngoài kinh tế tiền điện tử và các ưu đãi. Một cách tiếp cận thích hợp hơn ở đây sẽ đảm bảo tính bảo mật của L1 Ethereum và bổ sung cho điều đó bằng mật mã bổ sung (bằng chứng zk). Wisp thực hiện điều này thông qua SNARK thay vì khuyến khích kinh tế.
• Phân quyền. Không có multi-sig kiểm soát một cây cầu. Bất kỳ ai cũng có thể tham gia với tư cách là người chuyển tiếp trong giao thức Wisp. Không có diễn viên nào là đặc biệt hoặc được phép - bất kỳ ai cũng có thể đảm nhận bất kỳ vai trò nào trong giao thức. Việc ra quyết định của giao thức cũng sẽ được phân cấp theo thời gian nếu nó trở thành một phần quan trọng của hệ sinh thái.
• trung lập. Giao thức sẽ tạo điều kiện thuận lợi cho khả năng tương tác trong hệ sinh thái Ethereum và tránh phục vụ một số bản tổng hợp hoặc ứng dụng nhất định bằng chi phí của người khác.

Một lời mời luôn mở để tham gia và đóng góp

Wisp được dự định là hoàn toàn không cần cấp phép và tích hợp công khai. Chúng tôi đã mô hình hóa cách tiếp cận của mình bằng sáng kiến Flashbots - là một hàng hóa công cộng và hoàn toàn phù hợp với Ethereum. Để Wisp không được phép và trung lập, nó sẽ yêu cầu nhiều bên khác nhau tham gia sáng kiến. Dưới đây là một số cách hàng đầu để tham gia và đóng góp.

Phản hồi và hỗ trợ

Chúng tôi vẫn đang ở giai đoạn đầu của quá trình phát triển và hy vọng sẽ nhận được phản hồi từ cộng đồng Ethereum và các nhà lãnh đạo tư tưởng Ethereum. Mọi phản hồi quan trọng và đề xuất cải tiến đều được hoan nghênh và đánh giá cao. Vui lòng bình luận tại đây hoặc liên hệ với bất hòa 1 .

Một danh sách ngắn các chủ đề để khám phá và cộng tác thêm

Dưới đây là một số khía cạnh chưa được khám phá hoặc chưa được tối ưu hóa của Wisp. Chúng tôi rất muốn thấy các cộng tác viên và đề xuất trong các khía cạnh này hoặc bất kỳ khía cạnh nào khác của giao thức.

• Tính hữu hạn của Ethereum theo dõi nhanh - làm thế nào để không cần đợi 12 phút cho tính hữu hạn của khối
• Xử lý thời hạn tổng số - cách xử lý trạng thái (chưa) hoàn thiện của một Rollup.
• Tối ưu hóa và kết hợp các bằng chứng chuyển tiếp trạng thái - điều này có thể có nghĩa là hoàn toàn rời khỏi Circo và Groth16 nếu cần.
• Tối ưu hóa nhiều bằng chứng bao gồm Merkle - cho gốc thực thi Ethereum hoặc bao gồm lưu trữ trong một Rollup
• Di chuyển ra khỏi ủy ban giao thức đồng bộ hóa và dựa trên bộ trình xác thực rộng hơn - điều này có cần thiết và có lợi không?

Hỗ trợ rollup

Chúng tôi rất thích hỗ trợ tất cả các bản tổng hợp. Hiện tại, chúng tôi hỗ trợ các bản tổng hợp theo kiểu Optimism Bedrock. Chúng tôi đã khám phá một số bản tổng hợp khác nhưng sẽ cần cộng tác chặt chẽ hơn với các nhóm tổng hợp để hỗ trợ họ. Điều này chủ yếu là do sự khác biệt trong việc quản lý trạng thái của hầu hết các bản tổng hợp ZK. Chúng tôi muốn mời bất kỳ bản tổng hợp nào quan tâm liên hệ - chúng tôi rất muốn được liên kết với bạn và thêm nhiều bản tổng hợp nhất có thể.

Xây dựng trên đỉnh Wisp

Giao thức, không có các ứng dụng trên nó, chẳng có giá trị gì. Chúng tôi đã bắt đầu khám phá việc xây dựng các ứng dụng mẫu trên đó (giống như ứng dụng demo). Nếu bạn quan tâm đến việc trở thành nhà phát triển ứng dụng cuộn lên chéo, vui lòng liên hệ. Chúng tôi rất muốn làm cho nó trở nên cực kỳ thuận tiện và dễ dàng để Ứng dụng phi tập trung của bạn hoạt động đa cuộn.