Những điểm chính từ buổi thảo luận "Sự khác biệt trong các triển khai BitVM2 - và liệu BitVM2 có phải là hình thức cuối cùng?" tại Hội nghị Kinh tế @Bitcoin của House of ZK 👇 1️⃣ Sự khác biệt trong thiết kế: • @fiamma_labs: cầu nối BTC 1-click + cơ chế thách thức ngoài chuỗi • @GOATRollup: bộ sắp xếp phi tập trung + lựa chọn thách thức dựa trên VRF • @build_on_bob: Sử dụng staking Babylon để kiểm tra trạng thái với Bitcoin cho tính cuối cùng • @nubit_org: Công cụ xác minh chính thức & DSL thân thiện với nhà phát triển 2️⃣ Các con đường tối ưu hóa: • Mọi người đều muốn thu nhỏ ~4MB txs xác nhận/chứng minh • BitVM3 tận dụng các mạch bị rối để nén chứng minh một cách đáng kể - giảm kích thước tx khoảng ~1000 lần so với BitVM1, nhưng với chi phí phức tạp hơn trong việc phối hợp thách thức và logic mã hóa • Nhưng các mạch bị rối làm tăng độ phức tạp, đặc biệt là xung quanh việc thiết lập thách thức 3️⃣ Giả định về niềm tin: • Các sự đánh đổi: chuyển dữ liệu sang @ethereum so với việc giữ nguyên BTC • Một số L2 vẫn phụ thuộc vào các xác thực có quyền hoặc các khách hàng nhẹ dễ bị tổn thương để xác minh chứng minh 4️⃣ Phân mảnh so với Sự đồng thuận: • Mỗi L2 cần logic cầu nối tùy chỉnh • Liên minh BitVM thống nhất bộ xác minh SNARK cốt lõi • BitVM còn sớm, không phải cuối cùng - nhưng sự đồng thuận xung quanh xác minh dựa trên SNARK đang gia tăng