Cửa hàng DApp | Trung tâm Web3 với các sự kiện và trò chơi

Chủ đề thịnh hành

GOAT Network 🟡

Bitcoin Native ZK Rollup với lợi nhuận BTC bền vững Năng suất https://t.co/VnKrDmHRif TG https://t.co/NSgbSrJa3h

Kỹ thuật Con đường Không Hạnh Phúc: Hiểu Kiến Trúc BitVM2 Phần Ba: Trạng Thái Canonical Cần Bối Cảnh Chain Một bằng chứng peg-out của BitVM2 chỉ tốt như trạng thái mà nó đang chứng minh. Nếu một nhà điều hành có thể chọn các đầu vào công khai trong một cuộc tranh chấp, họ có thể tạo ra một bằng chứng hợp lệ trên một lịch sử L2 không chính xác/nhánh và vẫn cố gắng thoát ra. Mật mã là chính xác; bối cảnh thì sai. Giải pháp của Mạng GOAT là xác định lịch sử L2 nào là chính thống bằng cách cam kết bộ trình tự hoạt động trên Bitcoin. Cách nó hoạt động (về mặt khái niệm): • L2 vận hành một mạng lưới trình tự phi tập trung, và các khóa công khai của các trình tự (hoặc một cam kết cho chúng) được neo trên Bitcoin. • Các cập nhật bộ trình tự được thực hiện thông qua một luồng giao dịch đã ký trước, nơi một cập nhật chỉ hợp lệ nếu được phê duyệt bởi một ngưỡng đủ (ví dụ: 2/3) của bộ hiện tại. • Luồng cập nhật cam kết băm bộ trình tự cho vòng tiếp theo trên Bitcoin (bao gồm một cam kết OP_RETURN để dễ dàng xác minh). Sau đó, trong quá trình xác minh peg-out, hệ thống không "tin vào trạng thái mới nhất của nhà điều hành". Nó buộc nhà điều hành phải chứng minh rằng: • các giao dịch cập nhật bộ trình tự liên quan đã được xác nhận trên chuỗi Bitcoin hợp lệ dài nhất (bối cảnh chuỗi), và • trạng thái L2 được tham chiếu được lấy từ bộ trình tự đã cam kết gần nhất (tính chính thống), và • việc đốt tài sản được bao gồm trong trạng thái L2 chính thống đó. ‘Watchtowers’ tồn tại đặc biệt để cung cấp và chứng thực bối cảnh chuỗi Bitcoin được sử dụng trong các thách thức (tiêu đề/chứng cứ chuỗi dài nhất), để các tranh chấp có thể ràng buộc “mới nhất” với thực tế Bitcoin, thay vì sự lựa chọn của nhà điều hành. Tác động tổng thể: một nhà điều hành không thể an toàn thoát ra bằng cách sử dụng một bằng chứng trên một nhánh riêng tư, vì bằng chứng phải nhất quán với lịch sử bộ trình tự được neo trên Bitcoin. Sắp tới: rút tiền tùy ý của người dùng - tách luồng “rút x BTC” của người dùng khỏi luồng bằng chứng hoàn trả của nhà điều hành.

Kỹ thuật Con đường Không Hạnh Phúc: Hiểu Kiến Trúc BitVM2 Phần Hai: Những Rào Cản Thực Tế của BitVM2 BitVM2 là một khung cầu nối mạnh mẽ, nhưng "hoạt động trong lý thuyết" không phải là tiêu chuẩn cho Bitcoin. Tiêu chuẩn là liệu con đường không hạnh phúc có rẻ, rõ ràng và tương thích với động lực hay không. Trong một triển khai BitVM2 kiểu zkRollup, ba rào cản thực tế xuất hiện nhanh chóng: 1. Chứng minh trạng thái sai Trong một lần thách thức peg-out, người điều hành có thể cố gắng sử dụng một bằng chứng hợp lệ trên một lịch sử L2 không chính xác/nhánh. Nếu "trạng thái mới nhất" không được xác định một cách khách quan, bằng chứng có thể đúng về mặt nội bộ nhưng lại gian lận về mặt kinh tế. 2. Người dùng không thể rút số tiền tùy ý Các peg-out BitVM2 cổ điển gắn liền với các khoản peg-in L1 cố định và các quy trình kiểu người điều hành. Người dùng cuối không thể được kỳ vọng sẽ thực hiện một quy trình của người điều hành chỉ để rút "x BTC". 3. Các động lực không trả tiền cho người trung thực một cách đáng tin cậy Nếu những người thách thức không được trả tiền một cách nhất quán, họ sẽ ngừng theo dõi. Một chế độ thất bại cụ thể: thực thể tài trợ/bắt đầu một thách thức không nhất thiết là thực thể thực hiện bước chứng minh cuối cùng, vì vậy phần thưởng có thể bị những người khác chiếm đoạt. Thiết kế GOAT BitVM2 nhắm trực tiếp vào những vấn đề này với ba động thái kiến trúc: • Cam kết bộ trình tự trên Bitcoin để "trạng thái L2 chính thống" được neo bên ngoài. • Di chuyển tài sản thế chấp của người điều hành/thách thức đến L2 + sử dụng quy trình rút tiền hoán đổi nguyên tử để người dùng rút số tiền tùy ý một cách sạch sẽ, trong khi các nhà điều hành hoàn trả cho chính họ thông qua các bằng chứng L2. • Giảm chi phí tranh chấp với các mạch rối + DV-SNARK để con đường thách thức có thể thực hiện được về mặt hoạt động. Sẽ có phần tiếp theo trong Phần Ba: điều đó có nghĩa là gì khi neo cái nhìn L2 chính thống trên Bitcoin bằng cách cam kết bộ trình tự, và tại sao điều này đóng lại "chứng minh trạng thái sai".

Hàng đầu

Thứ hạng

Yêu thích