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".