Kỹ thuật Con đường Không Hạnh Phúc: Hiểu Kiến Trúc BitVM2 Phần Một: An Ninh Sống Trong Con Đường Tranh Chấp Một Bitcoin L2 sống hoặc chết trên con đường không hạnh phúc của nó. Trên Bitcoin, bạn không có "chạy trình xác minh trên chuỗi và tiếp tục". Bạn có một môi trường thực thi bị hạn chế, các đồ thị giao dịch đã ký trước, và các khóa thời gian xác định chính xác khi mỗi bên có thể hành động. BitVM2 là một mô hình thực thi lạc quan cho Bitcoin: thực hiện ngoài chuỗi, sau đó làm cho tính chính xác có thể thi hành thông qua một giao thức tranh chấp trên chuỗi được xây dựng từ các giao dịch đã ký trước. Điều đó dẫn đến một quy tắc kỹ thuật đơn giản: Nếu các tranh chấp tốn kém hoặc có thể bị trì hoãn bởi phí, thì mô hình an ninh đơn giản là không hoạt động. Các hệ thống dựa trên BitVM hoạt động bằng cách cho phép các nhà điều hành thực hiện ngoài chuỗi, sau đó cho bất kỳ ai khả năng thách thức trên chuỗi và buộc giao thức vào một con đường tranh chấp dưới giả định trung thực 1-trong-n (ít nhất một người thách thức trung thực cho tính hợp lệ; ít nhất một nhà điều hành trung thực cho tính sống). Con đường tranh chấp này là cơ chế. Các giao dịch đã ký trước và chữ ký một lần (các cửa sổ thách thức, thời hạn phản hồi, hoàn tất) là "thời gian chạy" của cầu nối và các lối thoát của nó. Vì vậy, khi chúng ta nói về việc xây dựng trên BitVM2, ngôi sao dẫn đường không phải là các thuật ngữ tiếp thị như "không cần tin tưởng". Ngôi sao dẫn đường là: • các tranh chấp đủ rẻ để thực hiện, • ngữ cảnh chuỗi đủ khách quan để ngăn chặn "chứng minh trạng thái sai" thoát ra • các dòng giao dịch tiếp tục tiến triển dưới các điều kiện phí thực tế. Chuỗi bài viết này phân tích cách chúng tôi tiếp cận những ràng buộc đó trong thiết kế GOAT BitVM2, từng phần một. Sắp tới trong Phần Hai: các rào cản thực tiễn để triển khai một zkRollup sẵn sàng sản xuất trên Bitcoin.