BitVM là gì và cách nó đưa hợp đồng thông minh lên Bitcoin

BitVM là một thiết kế tính toán cho phép xác minh các chương trình tùy ý trên Bitcoin mà không cần thay đổi các quy tắc đồng thuận của Bitcoin. Quá trình tính toán diễn ra ngoài chuỗi giữa hai bên, và Bitcoin chỉ thấy một cơ chế thách thức–phản hồi ngắn nếu một bên gian dối. Robin Linus đã công bố bài viết gốc vào ngày 9 tháng 10 năm 2023, và từ đó nó trở thành nền tảng cho phần lớn các thiết kế cầu nối Bitcoin giảm thiểu yêu cầu tin cậy được xây dựng sau này.

Ý tưởng này khá tinh gọn, nhưng kết quả triển khai lại không đồng đều. Triển khai sản xuất lớn nhất của một cầu nối BitVM, do Bitlayer xây dựng, đã bị ngừng vào ngày 3 tháng 6 năm 2026, khoảng 11 tháng sau khi đi vào hoạt động. Để hiểu lý do điều đó xảy ra, trước hết cần hiểu cơ chế vận hành, vì nguyên nhân dường như mang tính kinh tế hơn là mật mã học.

Tổng quan nhanh về BitVM

Dòng quan trọng nhất là dòng áp chót. Bất kỳ bài viết nào xem BitVM như một khoản đầu tư thực chất đang mô tả một thứ khác, thường là token do một nhóm triển khai phát hành.

BitVM là gì?

Ngôn ngữ script của Bitcoin được cố ý giữ ở mức tối giản và cho đến nay vẫn như vậy. Nó không có vòng lặp, không có trạng thái hợp đồng bền vững và có tập opcode bị hạn chế, đó là lý do mạng lưới này chưa từng có thứ gì tương tự máy ảo của Ethereum. Việc thêm một hệ như vậy sẽ đòi hỏi thay đổi cơ chế đồng thuận, và các thay đổi đồng thuận trên Bitcoin thường mất nhiều năm tranh luận, nếu cuối cùng chúng thực sự xảy ra.

BitVM né tránh vấn đề này bằng cách không chạy chương trình trên Bitcoin.

Hai bên thống nhất trước về một chương trình và ký trước một cây giao dịch Bitcoin mã hóa mọi bước của chương trình đó. Sau đó, một bên, gọi là bên chứng minh, đưa ra tuyên bố về đầu ra của chương trình và đăng một khoản thế chấp. Nếu tuyên bố đúng, sẽ không có gì khác xảy ra và blockchain hoàn toàn không nhìn thấy quá trình tính toán. Nếu tuyên bố sai, bên còn lại có thể dẫn Bitcoin đến đúng bước mà phép tính bị sai, chứng minh sự không khớp trong một giao dịch thông thường và nhận khoản thế chấp.

Thiết kế năm 2023 mã hóa chương trình như một mạch các cổng logic được cam kết vào một cây Merkle, với hai bên thu hẹp tranh chấp qua nhiều vòng cho đến khi còn một cổng đơn lẻ đủ rẻ để Bitcoin có thể đánh giá. Bài viết gốc về BitVM mô tả mô hình này là xác minh tính toán thay vì thực thi tính toán, tương tự cách optimistic rollup vận hành, nhưng được áp dụng lên một chain vốn không được thiết kế để hỗ trợ điều đó.

Hãy xem nó như một điều khoản kiểm toán thay vì một hệ thống kế toán. Bitcoin không trực tiếp làm sổ sách. Nó đồng ý trước lỗi bị phát hiện sẽ trông như thế nào, và sẽ phân phối kết quả khi ai đó chứng minh được lỗi đó.

Vì sao Bitcoin cần nó?

Có khoảng một nghìn tỷ USD giá trị nằm trên một chain vốn không thể tự nhiên cho vay, dùng làm tài sản thế chấp hay đưa vào giao thức. Mọi nỗ lực khắc phục điều này trước đây thường đi đến cùng một kết quả: một token được bọc lại và được bảo chứng bởi một bên lưu ký hoặc một liên minh được chỉ định. Mô hình đó hoạt động cho đến khi các thành viên thông đồng hoặc bị ép buộc, và khi thất bại thì thiệt hại có thể là toàn phần.

Cầu nối cũng là nơi tiền thực sự dễ thất thoát nhất. Bài viết của chúng tôi về các vụ khai thác cầu nối DeFi năm 2026 phân tích mô hình này, và điểm chung thường không phải là một nguyên hàm mật mã bị lỗi. Vấn đề thường nằm ở một nhóm khóa nhỏ mà cuối cùng lại hành xử như một nhóm khóa duy nhất.

Lập luận của BitVM là người nắm giữ Bitcoin không nên phải tin vào đa số của bất kỳ nhóm nào. Nếu chỉ cần một người tham gia trong nhóm là đủ để giữ cho hệ thống chính xác, thì cả nhóm có thể có hành vi đối kháng ở cấp độ tổng thể mà peg vẫn được giữ. Đây là một tuyên bố khác với những gì các giải pháp Ethereum Layer 2 đưa ra, vì Ethereum có thể xác minh proof trực tiếp trong môi trường thực thi của chính nó còn Bitcoin thì không thể.

BitVM thực sự hoạt động như thế nào?

Giao thức đầy đủ phức tạp hơn thế, nhưng có thể tóm lại thành năm bước.

1. Quá trình thiết lập ký trước mọi thứ

Trước khi bất kỳ BTC nào được di chuyển, một nhóm người tham gia cùng nhau ký một đồ thị các giao dịch Bitcoin bao phủ mọi nhánh tranh chấp có thể xảy ra. Kết quả là một địa chỉ mà không tập con nào trong nhóm có thể chi tiêu tùy ý, vì các đường chi tiêu duy nhất tồn tại là những đường mà họ đã ký. Bài viết thiết kế BitVM Bridge của Bitlayer nêu rõ đặc tính chính: một khi ít nhất một thành viên ủy ban xóa khóa riêng của mình, việc tái tạo khả năng di chuyển các quỹ đó sẽ trở nên bất khả thi về mặt tính toán đối với phần còn lại.

2. Người dùng nạp tiền và nhận tài sản neo giá

BTC được đưa vào địa chỉ đã ký trước và một đại diện theo tỷ lệ 1:1 được mint trên chain đích. Bitlayer gọi phiên bản của mình là YBTC và Citrea gọi là cBTC. Tên gọi khác nhau nhưng mô hình kế toán thì không, vì mỗi đơn vị đang lưu hành được cho là tương ứng với một đồng bị khóa mà nhà vận hành không thể chạm tới.

3. Rút tiền được ứng trước bởi một nhà vận hành

Khi người dùng burn tài sản neo giá để thoát ra, họ không đợi hợp đồng trên Bitcoin được giải quyết xong. Một nhà vận hành tìm kiếm lợi nhuận, được Bitlayer gọi là broker, sẽ gửi BTC từ kho thanh khoản riêng của mình cho người dùng ngay lập tức rồi sau đó gửi yêu cầu hoàn trả từ lượng tiền bị khóa. Trải nghiệm có cảm giác nhanh vì một bên khác đang gánh rủi ro về thời gian.

4. Yêu cầu hoàn trả nằm trong một cửa sổ thách thức

Yêu cầu hoàn trả của nhà vận hành mang tính optimistic, nghĩa là mặc định được xem là đúng trừ khi bị phản đối. Bitlayer đặt thời gian tranh chấp khoảng một tuần. Cầu nối Clementine của Citrea, sử dụng cấu trúc BitVM2, hoàn tất quanh mức hai tuần. Sẽ không có gì xảy ra trong giai đoạn đó trừ khi một bên giám sát cho rằng có điều bất thường.

5. Một bên thách thức bác bỏ tuyên bố trên chain

Nếu một nhà vận hành yêu cầu hoàn trả dù không có quyền, bất kỳ ai đang giám sát đều có thể buộc tranh chấp được đưa lên Bitcoin. Bản sửa đổi năm 2024 là yếu tố khiến điều này trở nên thực tế hơn. Như bài viết BitVM2 trình bày, việc thách thức đã trở nên không cần cấp quyền, nên bất kỳ người dùng nào chạy full node đều có thể thực hiện thay vì chỉ một ủy ban cố định, và một nhà vận hành có lỗi có thể bị bác bỏ chỉ trong ba giao dịch trên chain thay vì một quá trình qua lại tương tác kéo dài. Nhà vận hành sẽ mất khoản thế chấp, và kết quả đúng sẽ được khôi phục.

Điểm cần nhớ là từ bước ba đến năm chính là toàn bộ mô hình bảo mật. Không có oracle trên chain, không có bỏ phiếu và cũng không có kháng nghị. Phải có ai đó đang theo dõi, và phải có ai đó sẵn sàng trả phí Bitcoin để chứng minh một người lạ đã sai.

BitVM so với sidechain liên minh

Sidechain liên minh đã giải quyết cùng một vấn đề từ một thập kỷ trước bằng cách chỉ định đơn vị lưu ký và yêu cầu người dùng tin vào nhóm đó. Đặt hai mô hình cạnh nhau là cách nhanh nhất để thấy BitVM mang lại điều gì và đánh đổi điều gì.

Không có lựa chọn nào là miễn phí. Một liên minh mang lại tốc độ và đầu mối liên hệ. BitVM mang lại một giả định bảo mật vẫn đứng vững ngay cả khi mọi người trong phòng đều không trung thực, nhưng đổi lại là cửa sổ thách thức và chi phí phí thực tế.

Các giả định về niềm tin là gì?

BitVM thường được mô tả là giảm thiểu yêu cầu tin cậy thay vì hoàn toàn không cần tin cậy, và sự khác biệt này có ý nghĩa cốt lõi. Có bốn giả định riêng biệt phải đồng thời đúng để cam kết bảo mật có ý nghĩa.

1. Giả định 1-trong-n phải giữ đúng

Đây là tuyên bố nổi bật nhất và thực sự yếu hơn những gì mô hình liên minh yêu cầu. Tài liệu của Bitlayer nêu rằng hợp đồng của họ chỉ cần một người tham gia hành động đúng, và thông báo mainnet của Citrea cũng đưa ra tuyên bố tương tự cho Clementine, rằng hoạt động cầu nối gian lận có thể bị thách thức trên Bitcoin mainnet miễn là vẫn còn một bên hành xử trung thực. Nếu mọi người tham gia đều không trung thực và phối hợp với nhau, giả định này sẽ sụp đổ hoàn toàn.

2. Ai đó thực sự phải xóa một khóa

Bảo mật trong giai đoạn thiết lập dựa vào việc người tham gia hủy vật liệu khóa sau đó. Không ai có thể chứng minh điều đó đã diễn ra. Đây là điểm yếu cấu trúc tương tự với mọi trusted setup trong mật mã học, và là lý do danh tính cùng uy tín của người tham gia vẫn quan trọng trong một thiết kế được quảng bá là không cần phải tin người tham gia.

3. Phải có người theo dõi cửa sổ thách thức

Một yêu cầu gian lận không bị thách thức sẽ thành công. Giao thức giả định tồn tại một bên giám sát, đang online, đã đồng bộ trạng thái và phát hiện vấn đề kịp thời. Giả định này rẻ nhất để đáp ứng khi một cây cầu có nhiều hoạt động và giá trị lớn, và kém đáng tin cậy nhất khi cây cầu ít hoạt động — điều này gần như ngược với điều người dùng mong muốn.

4. Bên thách thức phải có khả năng chi trả chi phí thách thức

Tranh chấp diễn ra trong blockspace của Bitcoin và blockspace không miễn phí. Bài viết BitVM3 ước tính chi phí tranh chấp trong trường hợp xấu nhất của BitVM2 vào khoảng 16.000 USD, nghĩa là bên thách thức cần có vốn sẵn có và khoản thưởng đủ lớn để biện minh cho chi tiêu đó. Dưới một ngưỡng nào đó, lựa chọn hợp lý về kinh tế có thể là bỏ qua hành vi gian lận, và mô hình bảo mật khi đó âm thầm mất tính ràng buộc.

BitVM hiện đang được dùng ở đâu?

Bitlayer đã triển khai phiên bản chức năng đầu tiên, ra mắt mainnet beta cho BitVM Bridge vào tháng 7 năm 2025 cùng với YBTC. Việc triển khai này hiện không còn khả dụng nữa, và token, mốc đóng cửa cùng các số liệu liên quan đã được phân tích trong bài viết đi kèm về Bitlayer.

Ví dụ đang hoạt động tính đến thứ Tư, ngày 26 tháng 8 năm 2026 là Citrea, ZK-rollup của Bitcoin với mainnet đi vào hoạt động ngày 27 tháng 1 năm 2026 cùng Clementine là cầu nối sản xuất. Clementine phân chia công việc giữa các signer xử lý nạp tiền thông qua multisig N-of-N, các operator ứng trước cho rút tiền, và các watchtower được khuyến khích để bác bỏ các operator gian lận. Citrea công khai danh tính các signer của cầu nối, đây là sự thừa nhận hợp lý rằng giả định 1-trong-n vẫn có lợi nếu người dùng biết n là những ai.

Các nhóm khác bao gồm BOB và GOAT Network cũng đã công bố công việc cầu nối dựa trên BitVM ở giai đoạn testnet. Testnet vẫn chỉ là testnet, và khoảng cách giữa một testnet hoạt động được với một cây cầu giữ BTC thật trong một lệnh rút bị tranh chấp chính là chủ đề cốt lõi của bài viết này. Độc giả đang so sánh các hướng mở rộng Bitcoin có thể thấy phần phân tích Stacks, Citrea và Bitcoin Hyper hữu ích để đặt các thiết kế này cạnh nhau, và cầu nối cũng không phải con đường duy nhất để đưa BTC vào sử dụng, vì các giao thức staking như Babylon tiếp cận vấn đề từ một hướng hoàn toàn khác.

Rủi ro và các vấn đề còn bỏ ngỏ

1. Chi phí tranh chấp đủ cao để làm thay đổi hành vi

Một mô hình bảo mật chỉ hoạt động khi có người sẵn sàng chi hàng chục nghìn USD để bảo vệ nó sẽ có một ngưỡng tối thiểu mà dưới đó nó không vận hành như kỳ vọng. BitVM3, được công bố vào tháng 5 năm 2026, tồn tại chính để giải quyết điểm này bằng cách đưa phần tính toán vào garbled circuits được đánh giá ngoài chuỗi và cắt tổng chi phí trên chain xuống khoảng 9 USD theo ước tính của chính bài viết đó. Đây là cải thiện rất lớn, nhưng đồng thời vẫn là một đặc tả mới chứ chưa phải một hệ thống đã triển khai.

2. Thiết kế phụ thuộc vào việc operator ứng trước thanh khoản

Rút tiền nhanh đòi hỏi ai đó phải ứng trước BTC của chính họ và chờ nhiều tuần để được hoàn trả. Đây là một mô hình kinh doanh cần nhiều vốn nhưng biên lợi nhuận thấp, và nếu các operator thấy lợi suất không đủ hấp dẫn, người dùng sẽ chỉ còn đường chậm hoặc không còn đường nào. Đây là rủi ro thị trường khoác lên mình vỏ bọc kỹ thuật.

3. Rút tiền chậm là đặc điểm cấu trúc

Cửa sổ thách thức kéo dài một đến hai tuần không phải là lỗi đang chờ được tối ưu hóa. Đó là giai đoạn mà gian lận có thể bị phát hiện, nên việc rút ngắn nó sẽ làm suy yếu trực tiếp cam kết bảo mật. Bất kỳ ai xem cầu nối BitVM như một tuyến hạ tầng giao dịch thay vì một tuyến hạ tầng lưu ký có thể đang hiểu sai mục đích sử dụng của nó.

4. Tài sản neo giá vẫn là một tài sản được bridge

YBTC, cBTC và các biến thể tương tự đều là các yêu cầu đối với coin bị khóa chứ không phải chính các coin đó. Chúng mang rủi ro hợp đồng trên chain đích, rủi ro thanh khoản trong các pool nơi chúng được giao dịch, và rủi ro mất peg nếu niềm tin vào đường đổi trả bị suy giảm. Phần BitVM bảo vệ cơ chế khóa, và không bảo vệ những rủi ro phát sinh ở các tầng phía sau.

5. Bề mặt marketing có thể tồn tại lâu hơn chính sản phẩm

Khi kiểm tra bitlayer.org vào thứ Tư, ngày 26 tháng 8 năm 2026, trang chủ vẫn trình bày YBTC và BitVM Bridge như các sản phẩm đang khả dụng với số liệu nạp tiền và TVL đi kèm, trong khi thông báo trên blog của chính công ty đề ngày 27 tháng 5 năm 2026 lại cho biết dịch vụ đã bị ngừng. Cả hai trang cùng nằm trên một tên miền. Hãy xem landing page của một dự án là tài liệu quảng bá, còn mục thông báo của họ mới là hồ sơ ghi nhận sự kiện.

6. Đặc tả tiếp tục thay đổi nhanh hơn các triển khai

Ba phiên bản trong chưa đầy ba năm, mỗi phiên bản đều thay đổi đáng kể cơ chế tranh chấp, đồng nghĩa với việc bất kỳ thứ gì xây trên phiên bản đầu tiên đều có tính lỗi thời về cấu trúc trước khi kịp trưởng thành. Điều đó là bình thường với nghiên cứu giai đoạn đầu, nhưng lại không thuận lợi cho những ai đã gửi BTC vào đó.

BitVM đã sẵn sàng cho dòng tiền thực chưa?

Bản thân cơ chế này hoạt động khá sát với những gì được mô tả, và đó không phải câu hỏi còn bỏ ngỏ. Nó đã được triển khai nhiều hơn một lần, đã duy trì peg trên mainnet, và Citrea đã vận hành nó trong môi trường sản xuất từ tháng 1 năm 2026. Không có gì trong hồ sơ công khai cho thấy một hợp đồng BitVM đã bị kẻ tấn công phá vỡ, và việc ngừng hoạt động dẫn đến bài viết này không phải là một vụ hack.

Phần chưa được giải quyết nằm ở kinh tế học. Thông báo ngừng dịch vụ của Bitlayer đã vô hiệu hóa bridge-in vào ngày 28 tháng 5 năm 2026, cho người nắm giữ thời hạn đến ngày 3 tháng 6 năm 2026 để bridge-out, và nêu rằng Security Council của họ sẽ trực tiếp rút số tiền còn lại rồi burn số YBTC còn lưu hành trên Ethereum đối chiếu với dự trữ BTC cơ sở. Thông báo này mô tả việc đóng cửa là một cuộc đại tu kiến trúc, không nêu sản phẩm kế nhiệm và cũng không đưa ra ngày khôi phục. Nếu đọc nó cùng với bài viết BitVM3 được công bố hai tuần trước đó, vốn lập luận rằng chi phí tranh chấp và yêu cầu ký quỹ của operator trong BitVM2 chính là rào cản tham gia, thì một bức tranh khá nhất quán xuất hiện. Thế hệ đầu tiên có chi phí vận hành cao, khối lượng mỏng, và đã bị một thiết kế rẻ hơn thay thế trước khi kịp đạt quy mô.

Vì vậy, câu trả lời phụ thuộc vào câu hỏi bạn đang đặt ra. Với tư cách là một thiết kế giải quyết một vấn đề có thật, BitVM là phương pháp đáng tin cậy nhất mà đến nay người ta xây dựng được để đưa Bitcoin vào các hợp đồng mà không cần chạm vào cơ chế đồng thuận. Với tư cách là nơi để gửi lượng vốn lớn vào tháng 8 năm 2026, đây vẫn là một hệ thống sản xuất còn non trẻ với một triển khai đang hoạt động, một triển khai hàng đầu đã ngừng, và một đặc tả đã thay đổi hai lần khi các triển khai vẫn còn đang được đưa ra thị trường.

Nhận định cuối cùng

Hãy theo dõi số lượng operator và hoạt động thách thức thay vì chỉ nhìn TVL. Một cầu nối BitVM có số dư lớn nhưng không có watchtower hoạt động có thể kém an toàn hơn một cầu nhỏ với nhiều bên có động lực kinh tế để phát hiện gian lận, vì giả định 1-trong-n là nhận định về việc ai đang chú ý chứ không phải về số tiền bị khóa.

Cột mốc thực sự tiếp theo là một cầu nối BitVM3 nắm giữ lượng BTC có ý nghĩa trong môi trường sản xuất, vì toàn bộ lập luận ủng hộ thiết kế này sẽ chặt chẽ hơn nếu một tranh chấp chỉ tốn chi phí một chữ số USD thay vì năm chữ số. Cho đến khi điều đó được triển khai và vượt qua một lệnh rút có tranh chấp, cách mô tả công bằng là Bitcoin đã có một phương pháp vận hành được để xác minh tính toán ngoài chuỗi, nhưng chưa có một thị trường vận hành được cho những người phải thực thi cơ chế đó.

Mật mã học thanh nhã thường không thất bại một cách ồn ào. Đôi khi nó chỉ lặng lẽ bị ngừng để phục vụ cho một cuộc nâng cấp kiến trúc mà không ai từng lên lịch rõ ràng.

Câu hỏi thường gặp

BitVM là blockchain hay token?

Không phải cả hai. Đây là một đặc tả để xác minh tính toán trên Bitcoin, gần với một tiêu chuẩn giao thức hơn là một sản phẩm, nên không có tài sản nào đại diện cho chính BitVM để mua. Các token do những nhóm triển khai nó phát hành là mức độ tiếp xúc với các công ty đó và năng lực thực thi của họ, điều này rất khác với việc bản thân thiết kế có vững chắc hay không.

BitVM có cần soft fork trên Bitcoin không?

Không, và đó là điều quan trọng nhất về nó. Nó hoạt động trong các opcode mà Bitcoin đã có sẵn, vì vậy nó đã đi từ bài viết học thuật đến mainnet trong chưa đầy hai năm, trong khi các đề xuất covenant như OP_CTV và OP_CAT đã mất nhiều thời gian hơn rất nhiều trong tranh luận. Các đề xuất cần thay đổi đồng thuận có thể hiệu quả hơn về sau, nhưng trước tiên chúng cần mạng lưới đạt được đồng thuận.

Điều gì xảy ra với BTC của tôi nếu một cầu nối BitVM đóng cửa?

Điều đó phụ thuộc hoàn toàn vào cách nhà vận hành xử lý, và đây là một giả định niềm tin mà bản thân thiết kế không bao phủ. Bitlayer đã cho người nắm giữ một khoảng thời gian bridge-out xác định và tuyên bố sẽ đối soát YBTC còn tồn đọng với dự trữ sau khi đóng, nên người dùng bỏ lỡ khoảng thời gian đó có thể phải xử lý việc thoát vị thế theo từng trường hợp thay vì theo hợp đồng.

BitVM khác sidechain Bitcoin như thế nào?

Sidechain đưa BTC của bạn vào một hệ thống được bảo mật bởi bộ validator hoặc liên minh riêng của nó, nên độ an toàn của coin phụ thuộc vào độ an toàn của nhóm đó. Cầu nối BitVM giữ coin bị khóa trên Bitcoin dưới một hợp đồng mà chỉ cần một người tham gia thực thi đúng, đây là một yêu cầu yếu hơn đáng kể, nhưng phải đánh đổi bằng thời gian rút chậm hơn và chi phí tranh chấp cao hơn.

Bài viết này chỉ nhằm mục đích cung cấp thông tin và không cấu thành lời khuyên tài chính hoặc đầu tư. Giao dịch tiền điện tử có mức độ rủi ro đáng kể. Hãy luôn tự nghiên cứu trước khi đưa ra quyết định giao dịch.