Tổng hợp ZK nhanh nhất trên Bitcoin

Yona là lớp 2 (cuộn lên) được hỗ trợ bởi SVM trên Bitcoin.

Yona cho phép lập trình phong phú và mở rộng quy mô thực thi chưa từng có cho Bitcoin và các tài sản của nó trong khi kế thừa tính bảo mật kinh tế tiền điện tử của Bitcoin.

Để đạt được mục tiêu này, Yona triển khai một cơ chế cố định hai chiều không đáng tin cậy giữa BTC trên Bitcoin và BTC trên Yona, với khả năng thoát đơn phương. Chúng tôi gọi câu hook gốc Yona này là câu hook chuẩn.

Đặc điểm thiết kế chính của Yona là nó nhằm mục đích chuyển từ cầu TSS-MPC chung truyền thống sang cầu móc hai chiều chuẩn - một cầu hoàn toàn dựa vào bằng chứng mật mã và Cơ chế đồng thuận của Bitcoin. Nói cách khác, chốt đặc tả hai chiều không dựa vào bất kỳ sự đồng thuận bên ngoài nào.

Đặc điểm của móc đặc tả L2

Bản tổng hợp phải cung cấp mục nhập (đặt cọc) và thoát đơn phương ( Khả năng rút tiền).

Việc gửi và rút tiền đơn phương là rất quan trọng để đảm bảo tính khả dụng và khả năng chống kiểm duyệt của Bitcoin và các siêu tài sản.

Mặc dù việc triển khai gửi tiền rất đơn giản (được chứng minh qua SPV), nhưng việc thoát đơn phương thích hợp cần có bằng chứng xác thực trực tiếp trên Bitcoin.

Chúng tôi đề xuất một cách tiếp cận thực tế hơn sẽ dần dần xây dựng trên cơ sở hạ tầng kinh tế tiền điện tử hiện có của Ethereum và nhằm mục đích dần dần tích hợp nó vào Bảo mật Bitcoin càng nhiều càng tốt để có thể được chấp nhận bởi cốt lõi của những người ủng hộ lớn nhất của Bitcoin.

Mức cố định quy chuẩn của Bitcoin (BTC)

BTC gốc của chúng tôi thu hút bảo mật kinh tế tiền điện tử được kết hợp bởi EigenLayer và BitVM Hỗ trợ tình dục.

BitVM cho phép thực thi Bitcoin đã được xác minh ngoài chuỗi, cho phép bất kỳ ai thực hiện bằng chứng gian lận và trừng phạt những người chứng minh. BitVM là một nguồn móc đặc tả Yona được bảo mật bằng mật mã.

Eigenlayer cung cấp quyền truy cập vào cơ sở vốn đặt cược và bộ trình xác thực phi tập trung của Ethereum. Eigenlayer là nguồn an ninh kinh tế gắn liền với thông số kỹ thuật của Yona.

Nhà điều hành Yona Peg là đơn vị hỗ trợ điều chỉnh hoạt động ở chế độ bình thường của chốt (tức là gửi/rút BTC). Bất kỳ nhà điều hành Peg nào cũng cần phải thực hiện hai vai trò:

Đối tác hợp đồng gửi/rút tiền BitVM (đối với các hoạt động ở chế độ thông thường)

Toán tử AVS (để thoát một phía)

Điều quan trọng cần nhấn mạnh là không bao giờ có thể truy cập Toán tử Yona Peg bên ngoài Hợp đồng BitVM Các đơn đặt hàng được bảo vệ và có giá trị bằng Bitcoin có cường độ nhỏ hơn tài sản đặt cược AVS.

Có nhiều nhà khai thác chốt, ít nhất một trong số họ phải hành động trung thực, nhưng ngay cả trong trường hợp tất cả các nhà khai thác đều không trung thực, họ không thể ăn cắp bất kỳ khoản tiền gửi nào, trường hợp xấu nhất sẽ đốt cháy chúng.

Khi người dùng gửi BTC vào sidechain, họ sẽ thiết lập hợp đồng BitVM rút tiền với Nhà điều hành Peg. Sau khi hợp đồng được thiết lập, người dùng trực tiếp gửi UTXO đến địa chỉ BitVM. Lưu ý rằng UTXO này không bao giờ thuộc về người chứng minh.

Khi người dùng (có thể là người dùng khác) cung cấp bằng chứng về việc rút tiền hợp lệ từ Yona, họ sẽ sử dụng lại hợp đồng rút tiền (nếu họ không gửi tiền vào Yona Nếu bạn gửi BTC, một hợp đồng mới sẽ được thiết lập với nhà điều hành).

Trong trường hợp từ chối dịch vụ hoặc kiểm duyệt, các nhà khai thác Peg sẽ không thể hoặc không muốn tạo hợp đồng BitVM. Đây là lúc an ninh kinh tế của EigenLayer phát huy tác dụng. Một mặt, các nhà khai thác không thể đánh cắp Bitcoin đã gửi, do đó, việc từ chối dịch vụ rút tiền sẽ không có lợi ích gì. Nhưng điều này rõ ràng là không đủ. Do đó, chúng tôi sử dụng các đợt cắt giảm EigneLayer để đưa ra nhược điểm đáng kể của việc từ chối rút tiền.

Nếu vì lý do nào đó, nhà điều hành chốt từ chối tạo hợp đồng rút tiền, người dùng có thể gửi giao dịch Bitcoin cùng với yêu cầu tới hợp đồng EigenLayer của chúng tôi. Chứng minh rằng hợp đồng rút tiền đã không được tạo ra. Điều này sẽ cắt giảm thu nhập của nhà điều hành.

Tương tự, trong trường hợp rút tiền đơn phương, người rút tiền có thể cung cấp bằng chứng về việc rút tiền hợp lệ khỏi Yona. Người vận hành Peg có tối đa N khối để cung cấp bằng chứng rằng họ đã hoàn thành yêu cầu rút tiền. Nếu không có bằng chứng nào được cung cấp, nhà điều hành sẽ bị cắt giảm trên EigenLayer và người dùng có thể rút trực tiếp khỏi hợp đồng BitVM.

Giao thức meta chỉ định móc kép và thoát đơn phương mà không cần tin cậy

Một điểm chính khác Sự đổi mới là rằng Yona cho phép giao thức Bitcoin Meta hoàn toàn không cần tin cậy, được quản lý hoàn toàn bằng mật mã và không phụ thuộc vào an ninh kinh tế.

Các siêu giao thức (chẳng hạn như BRC-20) sử dụng Bitcoin để ghi lại dữ liệu và sử dụng các công cụ lập chỉ mục ngoài chuỗi để xác minh độc lập các giao dịch siêu giao thức. Điều này cho phép xây dựng một Bản tổng hợp hiệu quả và không cần tin cậy như một lớp có thể lập trình nhanh cho các siêu giao thức.

Sự khác biệt chính giữa Rollup và sidechain là Rollup cho phép thoát đơn phương không cần tin cậy: người dùng có thể rút tiền của họ khỏi Rollup bằng cách thực hiện giao dịch Bitcoin mà BRC-20 không yêu cầu sự tham gia của bên thứ ba (chẳng hạn như hoạt động tổng hợp, trình xác nhận hoặc cầu nối).

Tiếp theo chúng ta sẽ tập trung vào trường hợp sử dụng BRC-20.

Cơ chế nối như sau:

Để vào danh sách tổng hợp, người dùng cần " "Phá hủy" BRC-20, chứng minh sự phá hủy đối với hợp đồng thông minh của rollup (thông qua ứng dụng khách Bitcoin ZK nhẹ) và dòng chữ tương tự có thể được tạo ra trên L2. Việc phá hủy có thể đạt được trên L1 bằng cách gửi giao dịch "TRANSFER" tới tập lệnh "OP_RETURN" không chứa bất kỳ dữ liệu nào.

Để thoát khỏi danh sách tổng hợp, người dùng cần "đốt" BRC-20 trên L2 và "đúc" chúng trên Bitcoin L1 với bằng chứng ZK rút tiền hợp lệ.

Bằng chứng ZK về việc thoát hiệu quả bao gồm:

Nhập và tổng hợp giao dịch rút tiền L2 Cam kết về gốc Merkle của cây trạng thái

ZkVM của Rollup đã thực hiện phép tính chính xác và số dư BRC20 thu được lớn hơn hoặc bằng số tiền rút

Không vi phạm bất biến tổng nguồn cung (nghĩa là tổng nguồn cung BRC20 = nguồn cung BTC + nguồn cung L2 + số tiền cần rút)

Bản thân mạng Bitcoin không thể xác minh bằng chứng không có kiến ​​thức vì các tập lệnh Bitcoin không có các mã hoạt động cần thiết. Tuy nhiên, vì người lập chỉ mục có thể thực hiện xác nhận hợp lệ nên điều này là không bắt buộc. BRC-20 đã dựa vào các công cụ lập chỉ mục ngoài chuỗi để xây dựng lại số dư BRC-20, điều duy nhất cần làm là hỗ trợ xác minh bằng chứng thoát cho các giao dịch rút tiền trên công cụ lập chỉ mục.

Nếu L2 không khả dụng, bằng chứng không có nhịp tim trên lớp DA trong một khoảng thời gian nhất định (chẳng hạn như 5 ngày) cho phép người dùng đơn phương rút tiền bằng cách gửi giao dịch Bitcoin nghĩa là bộ chỉ mục BRC20 ngoài chuỗi có thể xử lý việc rút tiền mà không cần giao dịch rút tiền L2.

Nếu L2 bắt đầu kiểm duyệt việc rút tiền, người dùng có thể bắt đầu rút tiền bằng cách gửi giao dịch Bitcoin cùng với yêu cầu rút tiền. Người vận hành chốt L2 có 24 giờ để thực hiện việc rút tiền và gửi bằng chứng. Nếu điều này không xảy ra, người dùng có thể gửi bằng chứng sau:

Yêu cầu rút tiền đơn phương thông qua giao dịch Bitcoin

Rút tiền đơn phương L2 nếu không được xử lý kịp thời

Nếu bạn có số dư dư nợ BRC20 hợp lệ, bạn có thể rút số tiền đó

Bằng cách xác minh bằng chứng này, người lập chỉ mục BRC20 ngoài chuỗi có thể trả lại quyền sở hữu mà không cần kiểm tra các giao dịch rút tiền L2.

Do đó, Yona là L2 đầu tiên cung cấp chốt siêu tài sản Bitcoin hoàn toàn không đáng tin cậy.