Đường đến khả năng tương tác lớp 2

以太坊爱好者

特邀专栏作者

2020-10-25 14:00 (UTC+8)

Bài viết này có khoảng 2867 từ, đọc toàn bộ bài viết mất khoảng 5 phút

Nhà cung cấp thanh khoản, để giải quyết vấn đề di chuyển quỹ L2.

Tóm tắt AI

Nhà cung cấp thanh khoản, để giải quyết vấn đề di chuyển quỹ L2.

Lưu ý của biên tập viên: Bài viết này đến từNhững người đam mê Ethereum (ID: ethfans)Những người đam mê Ethereum (ID: ethfans)

, Tác giả: Tom Brand & Uri Kolodny, bản dịch: A Jian, được Odaily in lại với sự ủy quyền.

tóm tắt bốn câu
Khả năng tương tác của Lớp 2 có nghĩa là người dùng có thể di chuyển tiền giữa các hệ thống Lớp 2 với ít ma sát nhất có thể trên Lớp 1.
Các giải pháp khả năng tương tác Lớp 2 được đề cập trong bài viết này đều dựa trên "yếu tố mật mã giao dịch có điều kiện" mà chúng tôi đã đề xuất trước đây.
StarkEx 3.0 (dự kiến ra mắt vào tháng 12 năm 2020) sẽ sử dụng các giao dịch có điều kiện ngoài chuỗi để cung cấp khả năng tương tác Lớp 2 với Lớp 2 (rút tiền nhanh).

lý lịch

Các giải pháp khả năng mở rộng Lớp 2 (L2) đang phát triển nhanh chóng. Đã có nhiều hệ thống chứng minh tính hợp lệ trên mạng chính Ethereum và nhiều hệ thống chứng minh gian lận đã được đưa ra trên testnet. Lược đồ L2 cung cấp khả năng mở rộng, nhưng nó đi kèm với sự đánh đổi: với lược đồ L2, một số lợi ích của việc chạy hoàn toàn trên L1 bị phá vỡ hoặc ít nhất là giảm đi. Chúng tôi không tin rằng một giải pháp L2 là hoàn hảo cho mọi nhu cầu: các ứng dụng khác nhau có nhu cầu mở rộng thông lượng rất khác nhau. Bản thân các ứng dụng sẽ chọn những cái phù hợp từ thư viện thiết kế L2 phong phú.

Trước khi tiếp tục, hãy xác định hai thuật ngữ quan trọng:
Khả năng tương tác: Cho phép người dùng chuyển tiền hiệu quả giữa ứng dụng 1 (môi trường ban đầu) và ứng dụng 2 (môi trường đích)

Khả năng kết hợp: App_1, app_2, ..., app_n có thể được vận hành trong một giao dịch. (Khả năng kết hợp không phải là chủ đề của bài viết này. Chúng ta sẽ nói về nó vào lần tới.)

Ngoài những định nghĩa lỏng lẻo này, chúng ta cũng cần một phiên bản nâng cao của các giao dịch có điều kiện. Yếu tố quan trọng này là chìa khóa cho khả năng tương tác.

chữ

từng bước một

Đây là một yếu tố mật mã (mà chúng tôi đề xuất lần đầu tiên ở đây) có thể được sử dụng để đạt được khả năng tương tác trên các chuỗi khối không đáng tin cậy. Giao dịch có điều kiện là giao dịch phụ thuộc vào khả năng xảy ra hay không xảy ra của một số sự kiện (ví dụ: một khoản thanh toán nhất định, một sự thay đổi trạng thái nhất định) để xác định xem nó có hiệu lực hay không. Khái niệm cơ bản là chúng ta có thể xác định một giao dịch có điều kiện trong môi trường ban đầu, sau đó đợi các điều kiện được chỉ định trong giao dịch đó được đáp ứng trong một môi trường khác (tức là môi trường đích) trước khi giao dịch đó có hiệu lực.

từng bước một

Trong trường hợp không có giải pháp tốt hơn, ít nhất người dùng luôn có thể chuyển tiền từ L2 ban đầu trở lại L1 và sau đó đầu tư vào L2 mục tiêu. Cách thô sơ này chậm và tốn kém, và càng chậm hơn và đắt hơn khi nhu cầu tăng lên.

Vì vậy, chúng tôi phải làm tốt hơn. Trên thực tế, chúng tôi dự định thực hiện theo các bước dưới đây để từng bước đạt được giải pháp tốt hơn.

Giai đoạn I: StarkEx (L2) → Ethereum (L1) — rút tiền nhanh

Những người tham gia:

"Rút tiền nhanh" có thể giải quyết vấn đề mà người dùng cần rút tiền nhanh chóng từ hệ thống StarkEx sang L1. Nó không chỉ có thể gửi tiền đến địa chỉ L1 của chính người dùng mà còn gửi tiền đến bất kỳ địa chỉ mục tiêu nào của L1, chẳng hạn như Compound, Aave, v.v. Điều quan trọng là độ trễ rút tiền của người dùng sẽ được đo bằng "thời gian khối", không phụ thuộc vào tần suất StarkEx tạo bằng chứng cho các đợt giao dịch.
Tình huống sử dụng: Alice muốn gửi 1 ETH trong tài khoản dYdX của mình ở L2 đến địa chỉ của cô ấy ở L1.
Alice (người dùng có tiền gửi trên L2)

LP (nhà cung cấp thanh khoản có tiền trên L1)

Toán tử StarkEx trong môi trường ban đầu (dYdX trong ví dụ trên)

- Hình 1: Quy trình rút tiền nhanh chóng -

Phase II：StarkEx (L2) → StarkEx (L2)

Quy trình: (1) Người dùng gửi giao dịch có điều kiện cho LP, hứa trả 1 ETH (cộng với phí xử lý của LP), với điều kiện LP gọi 1 ETH đến địa chỉ L1 của Alice trên L1; Sau khi gửi tiền cho Alice, giao dịch có điều kiện có hiệu lực ; (3) LP gửi giao dịch có điều kiện cho nhà điều hành, đợi nó được đóng gói thành lô giao dịch tiếp theo để chứng minh; (4) Chờ bằng chứng tiếp theo Sau khi được cam kết với L1 và được xác minh, số dư L2 của LP tăng lên để phản ánh số tiền anh ta nhận được từ Alice.

tiêu đề phụ

Những người tham gia:

StarkEx ban đầu lưu trữ một ứng dụng cho mỗi phiên bản. Ở giai đoạn này, chúng tôi muốn người dùng có thể chuyển tiền nhanh chóng giữa các ứng dụng khác nhau này. Giống như rút tiền nhanh, chúng tôi cũng hy vọng có thể giúp người dùng giảm thiểu chi phí trên chuỗi nhiều nhất có thể và không phải đợi các giao dịch rút tiền của họ được đóng gói và chứng minh trên L2.
Tình huống sử dụng: Alice muốn chuyển 1 ETH từ tài khoản dYdX của cô ấy trên L2_1 sang tài khoản DeversiFi của cô ấy trên L2_2.
Alice (người dùng có tiền gửi trên L2_1)

LP (nhà cung cấp thanh khoản có tiền trên L2_2)

Toán tử StarkEx trong môi trường ban đầu (dYdX trong ví dụ trên)

Mô tả hình ảnh

Quy trình: (1) Alice gửi giao dịch có điều kiện đã ký cho LP, hứa trả 1 ETH (cộng với phí xử lý của LP) trên L2_1, với điều kiện LP chuyển 1 ETH vào tài khoản L2_2 của Alice; ( 2) LP trả cho Alice trên L2_2; ( 3) Nhà điều hành L2_2 đóng gói giao dịch thanh toán thành một lô và gửi chứng chỉ, được xác minh trên L1; sau khi lô giao dịch được xuất bản trên L1, giao dịch có điều kiện có thể có hiệu lực; (4) LP gửi giao dịch có điều kiện cho nhà điều hành của L2_1 và người sau sẽ gói nó vào lô tiếp theo mà anh ta muốn chứng minh (5), v.v. Sau khi lô giao dịch tiếp theo của L2_1 được công bố trên L1 và bằng chứng của nó đã được hợp đồng xác minh, tài khoản số dư của LP trên L2_1 được cập nhật để phản ánh số lượng TA nhận được từ Alice.

Phase III：L2→ L2

tiêu đề phụphiên dịch tiếng trung）

Một tiện ích mở rộng dựa trên Giai đoạn II, cho phép chuyển tiền giữa bất kỳ L2 nào, cho dù đó là hệ thống sử dụng bằng chứng hợp lệ hay hệ thống sử dụng bằng chứng gian lận (Optimistic Rollup, Plasma). Điều tôi muốn nhắc ở đây là (so với zkRollup) Optimistic Rollup sẽ có một số nhược điểm về hiệu quả sử dụng vốn khi sử dụng LP để đạt được khả năng tương tác, đây là điều không thể tránh khỏi (xem tại đây)(

mô hình tin tưởng

cho người dùng

tiêu đề phụ

cho người dùng

Nó hoàn toàn không đáng tin cậy.

tiêu đề phụ

Đối với LP
Chống kiểm duyệt: Gửi giao dịch có điều kiện đã được kiểm duyệt tới hợp đồng thông minh của "nhà điều hành" trên chuỗi, cho phép người điều hành đóng băng nhà điều hành, do đó không thể xử lý bằng chứng do nhà điều hành gửi.