Tại sao việc xây dựng một zkRollup thực sự trên Bitcoin lại là một trong những vấn đề kỹ thuật khó khăn nhất trong lĩnh vực này hiện nay? Trên Ethereum, zkRollups có thể công bố một bằng chứng và có một hợp đồng xác minh trên chuỗi kiểm tra tính hợp lệ của nó. Và giống như các Rollup trên Ethereum, hầu hết thời gian một Bitcoin zkRollup chạy nhanh ngoài chuỗi. Đường đi hạnh phúc. Nhưng Bitcoin không có loại xác minh bằng chứng trên chuỗi đó, vì vậy bạn không thể chỉ đăng một bằng chứng và để Bitcoin xác minh nó theo cách tương tự. Đó là lý do tại sao một Bitcoin zkRollup cũng cần một loại chế độ 'vụ kiện' cho những trường hợp tồi tệ nhất. Đường đi không hạnh phúc. Nếu ai đó gian lận hoặc ngoại tuyến, hệ thống sẽ chuyển sang một quy trình thách thức lạc quan: Bitcoin thực thi một trò chơi tranh chấp đã được xác định trước bằng cách sử dụng các giao dịch đã ký trước và thời hạn, cho đến khi yêu cầu không hợp lệ bị bác bỏ hoặc kẻ gian lận hết thời gian. Đó là lý do tại sao việc xây dựng điều này khó khăn: bạn không chỉ xây dựng Rollup - bạn đang thiết kế toàn bộ cơ chế thực thi cho trường hợp tồi tệ nhất mà Bitcoin thực sự có thể chạy. Và đó là những gì mạng chính GOAT BitVM2 đang cung cấp: một con đường tranh chấp có thể thực thi trên Bitcoin giúp việc mở rộng an toàn trở nên thực tế, trong khi vẫn giữ cho các lối thoát có thể thực thi trên chính Bitcoin. Tìm hiểu tất cả về cách chúng tôi đang thiết kế cho đường đi không hạnh phúc với loạt bài mới của chúng tôi về việc hiểu kiến trúc BitVM2 👇