Tóm tắt
BitVM (Robin Linus, tháng 10/2023) là đề xuất kỹ thuật cho phép verify arbitrary computation trên Bitcoin bằng cách biểu diễn computation như một chuỗi commitment có thể challenge. Ý tưởng cốt lõi: thay vì chạy lại toàn bộ computation on-chain (Bitcoin Script không thể làm được), chỉ cần verify một bước duy nhất bị tranh cãi sau quá trình binary search. Đây là nền tảng kỹ thuật quan trọng nhất cho Bitcoin Optimistic Rollup — không cần EVM, không cần soft fork Bitcoin, chỉ cần Bitcoin Script hiện tại.
1Vấn Đề BitVM Giải Quyết – Tại Sao Bitcoin Rollup Khó Đến Vậy?
Để hiểu BitVM, cần hiểu tại sao Bitcoin Rollup là bài toán khó hơn Ethereum Rollup một cách căn bản.
Trên Ethereum, Optimistic Rollup hoạt động được vì: khi có dispute, một smart contract EVM có thể chạy lại đoạn transaction bị tranh cãi on-chain để xác định ai đúng. EVM là Turing-complete execution environment — verify được computation phức tạp tùy ý ngay trên L1.
Bitcoin không có EVM. Bitcoin Script là ngôn ngữ stack-based, intentionally not Turing-complete, không có loops, không có state lưu trữ, không có contract account. Nếu muốn làm Optimistic Rollup trên Bitcoin, câu hỏi là: làm thế nào để Bitcoin Layer 1 verify rằng một computation off-chain đã bị tính sai?
Trước BitVM, câu trả lời là: không thể. Sau BitVM: có thể — bằng cách thiết kế lại hoàn toàn cách tiếp cận verification.
2BitVM Là Gì? Ý Tưởng Cốt Lõi
BitVM do Robin Linus — researcher tại ZeroSync — công bố trong whitepaper tháng 10/2023 với tiêu đề "BitVM: Compute Anything on Bitcoin". Ý tưởng không phải là chạy computation trên Bitcoin — mà là chứng minh rằng computation đã bị tính sai trên Bitcoin khi có tranh chấp.
Ba thành phần chính:
- Prover: Bên thực thi computation off-chain, commit toàn bộ execution trace lên Bitcoin (dưới dạng hash commitment trong Taproot)
- Verifier: Bên giám sát, có thể challenge nếu nghi ngờ prover gian lận
- Bitcoin Script: Đóng vai trò arbitrator — chỉ được gọi đến khi có dispute, verify một bước đơn lẻ
3Bisection Protocol – Binary Search Trên Computation Trace
Đây là cơ chế trung tâm của BitVM. Giả sử computation có N bước. Prover commit hash của trạng thái tại mỗi bước — tạo thành một Merkle tree của execution trace. Khi verifier nghi ngờ, diễn ra quá trình binary search:
Ví dụ: computation có 8 bước (step 0–7). Lỗi xảy ra tại step 4.
→ Verifier thấy state tại step 4 sai. Zoom vào nửa trái (0-3 đúng, 4-7 sai).
→ Phạm vi thu hẹp: steps 3–5. Lỗi ở step 4 hay 5?
→ Xác định: step 4 là bước lỗi. Chỉ bước này được verify on-chain bằng Bitcoin Script.
4Ví Dụ Thực Tế: Verify ZK Proof Bằng BitVM
Use case quan trọng nhất của BitVM trong ngữ cảnh Bitcoin Rollup là verify ZK proof. ZK proof verification không thể làm natively trong Bitcoin Script (quá phức tạp, thiếu opcodes), nhưng có thể làm bằng BitVM:
- Off-chain execution: Operator L2 thực thi ZK verifier program (ví dụ: Groth16 verifier) off-chain, tạo ra execution trace đầy đủ
- Commit trace: Commit hash của execution trace lên Bitcoin Taproot — không cần reveal toàn bộ trace, chỉ commit
- Happy path: Nếu không ai challenge trong cửa sổ thời gian (ví dụ: 2 tuần), withdrawal được chấp nhận
- Challenge path: Nếu verifier phát hiện lỗi, khởi động bisection protocol — sau O(log N) rounds, Bitcoin Script verify một gate đơn lẻ và phạt prover gian lận
Kết quả: Bitcoin L1 có thể "enforce" tính đúng đắn của ZK proof verification mà không cần tự chạy ZK verifier on-chain.
5Trust Assumption Của BitVM
BitVM không phải trustless hoàn toàn — nó có một trust assumption quan trọng cần hiểu rõ:
| Thành phần | Trust requirement | Hậu quả nếu vi phạm |
|---|---|---|
| Prover honest | Không cần (có thể gian lận) | Verifier challenge và slash bond |
| Ít nhất 1 honest verifier | ⚠ Cần thiết | Prover gian lận mà không bị phát hiện |
| Bitcoin PoW | Kế thừa từ L1 | N/A (Bitcoin security) |
| Verifier online trong challenge window | ⚠ Cần thiết | Fraud window expiry → prover "thắng" dù gian lận |
Trust assumption "ít nhất 1 honest verifier" giống Optimistic Rollup Ethereum — đây là mô hình 1-of-N honest, không phải trustless hoàn toàn. Câu hỏi thực tế: ai là verifier, incentive của họ là gì, và có đủ động lực để họ thực sự giám sát không?
6So Sánh BitVM vs Ethereum Optimistic Rollup
🔵 Ethereum Optimistic Rollup
- Dispute resolution: 1–7 on-chain tx (EVM re-execute)
- Challenge window: 7 ngày (thông thường)
- Verifier: bất kỳ ai chạy full node L2
- Proof system: single-round hoặc multi-round fraud proof
- Cần trust: 1 honest verifier trong 7 ngày
- Production: Optimism, Arbitrum đang chạy hàng tỷ USD TVL
🟠 Bitcoin BitVM
- Dispute resolution: O(log N) rounds × 2 tx ≈ 30–100 Bitcoin tx
- Challenge window: hàng tuần đến hàng tháng (Bitcoin block time chậm)
- Verifier: pre-selected (cần setup Taproot trước)
- Proof system: multi-round bisection protocol
- Cần trust: 1 honest verifier trong challenge window dài hơn
- Production: Chưa có — đang nghiên cứu và testnet
Sự khác biệt lớn nhất: trên Ethereum, dispute resolution rẻ (EVM re-execute) và nhanh. Trên Bitcoin, dispute resolution tốn nhiều on-chain tx và chậm hơn do block time 10 phút. Đây là overhead thực tế của việc không có EVM — không phải lỗi thiết kế của BitVM, mà là hệ quả tất yếu của việc làm việc với Bitcoin Script.
7BitVM2 – Từ Lý Thuyết Đến Mainnet Verification (2025)
BitVM gốc (2023) có hai hạn chế lớn: chỉ một verifier pre-selected có thể challenge, và worst-case cần 40–70 on-chain tx. BitVM2 (paper ePrint 2025/1158 – Robin Linus et al.) giải quyết triệt để cả hai:
- Permissionless challenger: Bất kỳ Bitcoin full node nào cũng có thể challenge — không cần pre-selected verifier. Đây là thay đổi căn bản nhất về trust model.
- Chỉ 3 on-chain tx: Thay vì 40–70 tx, BitVM2 dùng SNARK verifier chia thành chunks (≤4MB mỗi chunk, ~43 sub-programs). Dispute resolution: Assert + Disprove + Slash = 3 tx.
- Verified trên mainnet (June 2025): Worst-case dispute settlement hoàn thành trong 42 blocks (7 giờ 36 phút), chi phí 14.9M sat (~0.15 BTC). 90% Disprove scripts dưới 3MB — không vượt block limit.
- Happy path chi phí thấp: Khi operator honest (không có dispute), chi phí chỉ ~50k sat (~$53). Overhead thực tế cho L2 bridge là hợp lý.
| Chỉ số | BitVM1 (2023) | BitVM2 (2025) |
|---|---|---|
| Dispute tx (worst case) | 40–70 tx | 3 tx |
| Dispute time | Nhiều tuần | 7h36m (mainnet verified) |
| Challenger | Permissioned (1 người) | Permissionless (bất kỳ ai) |
| Chi phí worst case | ~$500–2000 | ~$16k (0.15 BTC) – nhưng feasible |
| Chi phí happy path | ~$50–200 | ~$53 (50k sat) |
| Trạng thái | Research/testnet | Mainnet verified |
Ecosystem BitVM2 (tháng 3/2026)
Bitlayer ra mắt BitVM Bridge Mainnet (July 2025). BOB (Build on Bitcoin) ra mắt BitVM Bridge testnet (July 2025), mainnet roadmap Q4 2025. Citrea (ZK Rollup trên Bitcoin) dùng BitVM2 làm fraud proof layer. Alpen và Fiamma đang xây dựng infrastructure dựa trên BitVM2. BTC rollup với significant production TVL chưa có — nhưng các building block đã được xác nhận trên mainnet.
8Giới Hạn Thực Tế Cần Biết (Cập Nhật 2026)
- Chi phí dispute vẫn cao: Worst-case ~0.15 BTC ($16k tại June 2025) để resolve một dispute. Điều này chỉ kinh tế với bridge value đủ lớn (thường >$500k). Không phù hợp với bridge nhỏ.
- BTC rollup production scale chưa có: Bitlayer, BOB bridge đang chạy nhưng TVL còn nhỏ. Rollup với hàng tỷ USD TVL dùng BitVM2 full trustless chưa tồn tại tính đến đầu 2026.
- Challenge window vẫn dài: Dù rút ngắn so với BitVM1, window vẫn là hàng tuần. Ảnh hưởng đến UX withdrawal từ L2 về L1.
- 1-of-n honesty assumption: Vẫn cần ít nhất một honest challenger trong setup committee xóa private key sau setup. Đây là trust assumption không thể loại bỏ hoàn toàn.
- Verifier incentive: Cần cơ chế kinh tế rõ ràng để challenger có động lực monitor liên tục. Chưa có standard solution được deployed rộng rãi.
?FAQ Chuyên Sâu Về BitVM
BitVM là một mảnh ghép quan trọng. SATS.VN phân tích toàn bộ kiến trúc BTC L2 — từ Lightning, Liquid, Bitcoin Rollup đến Data Availability và Trust Model — kỹ thuật, trung lập, không gắn với dự án cụ thể.
→ Đọc Phân Tích Tổng Thể Tại SATS.VN