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.