原文链接

A curated list of resources around BitVM
BitVM周边资源的精选列表

作者：Robin Linus

BitVM is a computing paradigm to express Turing-complete Bitcoin contracts. This requires no changes to the network’s consensus rules.
BitVM是一种用于表达图灵完备比特币合约的计算范式。这不需要对网络共识规则进行任何更改。

Committing to a large program in a Taproot address requires significant amounts of off-chain computation and communication, however the resulting on-chain footprint is minimal. As long as both parties collaborate, they can perform arbitrarily complex, stateful off-chain computation, without leaving any trace in the chain. On-chain execution is required only in case of a dispute.
在Taproot地址上提交一个大型程序需要大量的链外计算和通信，然而产生的链上足迹是最小的。只要双方合作，它们可以执行任意复杂的、有状态的链外计算，而在链上不留下任何痕迹。链上执行仅在发生争议的情况下才是必需的。

• Complex smart contracts
• Prediction Markets
• Privacy
• Multisig
• 2WP for sidechains

• BitVM 白皮书 - 英文版
• BitVM 白皮书 - 中英文版
• BitVM 白皮书 - 超级详细讲解版

• BitVM Builders - Telegram group
• BitVM 中文社区 - Telegram group
• BitVM 中文社区资料库

• BitVM 如何工作的PPT
• BitVM：Bitcoin的链下合约

• 什么是BitVM? - Youtube
• 什么是BitVM? - Youtube -中文字幕翻译
• Robin Linus on BitVM - Youtube
• Robin Linus on BitVM - Youtube - 中英字幕翻译
• BitVM 在比特币上实现智能合约 20231019
• BTC生态浏览超70万次的BitVM到底是什么？ ｜ 11月8日更新了什么？
• Ark Whiteboard Masterclass with Burak & Robin
• BitVM Intro: Create Logic Gates and Circuits in Python
• BitVM 8 bit CPU: Write Bitcoin programs in Assembly
• Demo of Robin Linus's implementation of bitvm
• BitVM 8 bit CPU: Assembly Quirks
• How bitvm works: from logic gates to an 8bit cpu for bitcoin
• S15 E13: Robin Linus on BitVM & Permissionless Bitcoin Development
• BitVM: A Tool for Smarter Smart Contracts

• BitVM Online
• bitcoin-dev BitVM: Compute Anything on Bitcoin
• BitVM 入门指南
• BitVM Toy Implementation
• BitVM 常见问题
• BitVM简要解释
• BitVM and MATT
• Script, Taproot and BitVM
• Things bitvm needs
• BitVM vs RGB
• Nand Game
• BitVM图解
• BitVM and sCrypt
• BitVM电路执行的STARK证明
• BitVM交易图谱
• Ultimate BitVM Guide
• Unnamed Noncustodial Inchoate Sidechains On Bitvm (Unisob)

• The Big Deal with BitVM: Arbitrary Computation Now Possible on Bitcoin Without a Fork
• BitVM: But Can It Run DOOM?
• The Protocol: Bitcoin Might Get Ethereum-Style Smart Contracts Under ‘BitVM’ Plan
• BitVM: A Computational Revolution in Bitcoin
• Bitcoin Smart Contracts and BitVM
• Is BitVM the Next Evolution for Smart Contracts on Bitcoin?
• Bitcoin’s Fifteen Years Of Evolution: A Look Beyond the Original Whitepaper
• Lightning Network explainer
• Base58 explainer
• BitVM Slides by Cartesi
• Deep dive into BitVM -Computing paradigm to express Turing-complete Bitcoin contracts
• Bitcoin BitVM: What is it?, exactly?
• What is BitVM? And why does it matter to rollups?
• 2024 Crypto Market Outlook by Coinsbase Institutional
• Introduce sCrypt: a Layer-1 Smart Contract Framework for BTC
• Exploring the Landing Paths for Bitcoin Layer 2 Ecosystem

• Bitcoin compiler in C++
• BitVM Toy Implementation
• BitVM in Rust
• LogicGates: Logical gates in Python for different scenarios on BitVM (Phython)
• SHA256 WASM
• BLAKE3 WASM
• RIPEMD160 WASM
• Elftrace
• rv32i to BitVM
• Toy BitVM RS
• Tapleaf Circuits

• BitLDC (Bitcoin Life/Death Certificate) Protocol
• ASM to Bin
• Citrea
• Bitstake: A proof of stake bridge based on BitVM

BitVM operates on a simple yet powerful architecture involving two principal actors: the Prover and the Verifier. The Prover is the party that initiates a computation or claim, essentially saying, “Here’s a program, and here’s what I assert it will do or produce.” The Verifier, on the other hand, is responsible for validating that claim. This dual-role system enables a level of checks and balances, ensuring that the computational results are both accurate and trustworthy.
BitVM在一个简单而强大的架构上运行，涉及两个主要角色：证明者（Prover）和验证者（Verifier）。证明者是发起计算或声明的一方，基本上是在说：“这是一个程序，这是我断言它将要做或产生的结果。” 另一方面，验证者负责验证这个声明。这种双重角色系统实现了一种检查与平衡，确保计算结果既准确又可信。

The ingenuity of BitVM lies in its handling of computational workloads. Unlike conventional blockchain operations, which put significant computational burdens on-chain, BitVM performs most of its complex calculations off-chain. This drastically reduces the amount of data that needs to be stored directly on the Bitcoin blockchain, enhancing efficiency and lowering costs. This off-chain methodology also provides greater speed and flexibility, as developers or users can run intricate programs or simulations without worrying about overwhelming the blockchain.
BitVM的巧妙之处在于它对计算工作负载的处理。与传统的区块链操作不同，这些操作将大量的计算负担放在链上，BitVM在链外执行大部分复杂计算。这显著减少了需要直接存储在比特币区块链上的数据量，提高了效率并降低了成本。这种链外方法还提供了更高的速度和灵活性，因为开发人员或用户可以运行复杂的程序或模拟，而不必担心对区块链造成过大的负担。

However, BitVM does employ on-chain verification when needed, especially in cases of disputes. Should the Verifier question the legitimacy of the Prover’s claim, the system will then refer to the unalterable, decentralised ledger of the Bitcoin blockchain to resolve the issue. This is accomplished through what are known as “Fraud Proofs.”
然而，BitVM在需要时确实采用了链上验证，特别是在争议的情况下。如果验证者对证明者的声明的合法性提出质疑，系统将参考比特币区块链的不可更改的分散账本来解决问题。这是通过所谓的“欺诈证明”来实现的。

If the Prover’s claim turns out to be false, the Verifier can submit a concise fraud proof to the blockchain, thereby exposing the dishonesty. This not only settles the dispute but also maintains the overall integrity of the system. By integrating both off-chain computations and on-chain verifications, BitVM has struck a balance that offers both computational efficiency and robust security.
如果证明者的声明被证明是虚假的，验证者可以向区块链提交一个简明扼要的欺诈证明，从而揭露不诚实行为。这不仅解决了争议，而且保持了系统的整体完整性。通过整合链外计算和链上验证，BitVM在提供计算效率和强大安全性之间取得了平衡。

Optimistic Rollups are a Layer 2 scaling solution for blockchains that enable more efficient computation and data storage by performing most operations off-chain while maintaining the same level of security as on-chain transactions. The fundamental idea is to assume that all transactions are correct (“optimistic”) unless proven otherwise. Only if a dispute arises is the relevant data and computation published and verified on the main blockchain. This significantly reduces the amount of data that has to be stored on-chain, thereby freeing up space and lowering transaction fees.
乐观 Rollups 是区块链的 Layer 2 扩展解决方案，通过将大多数操作放在链外执行，从而实现更高效的计算和数据存储，同时保持与链上交易相同级别的安全性。其基本**是假设所有交易都是正确的（“乐观”），除非有证据证明相反。只有在发生争议时，相关数据和计算才会被发布并在主区块链上进行验证。这显著减少了需要存储在链上的数据量，从而释放空间并降低交易费用。

In BitVM, Optimistic Rollups can be particularly beneficial. Recall that BitVM primarily works with two parties: a Prover and a Verifier. Most of the computational work happens off-chain, reducing the amount of data that needs to be stored on the Bitcoin blockchain. When a transaction is initiated, BitVM can use Optimistic Rollups to bundle multiple off-chain transactions into a single on-chain transaction, further reducing the blockchain footprint.
在 BitVM 中，乐观 Rollups 可能特别有益。回顾一下，BitVM 主要涉及两方：证明者和验证者。大部分计算工作在链外进行，减少了需要存储在比特币区块链上的数据量。当一笔交易发起时，BitVM 可以使用乐观 Rollups 将多个链外交易捆绑成一个单一的链上交易，进一步减少了区块链的足迹。

Moreover, in the event of a dispute, BitVM’s use of fraud proofs dovetails well with the “challenge-response” system inherent in Optimistic Rollups. If the Prover makes a false claim, the Verifier can quickly expose the dishonesty by providing a succinct fraud proof. This fraud proof would then be scrutinised within the Optimistic Rollup framework, and if validated, the dishonest party would be penalised.
此外，在发生争议的情况下，BitVM 使用欺诈证明与乐观 Rollups 内在的“挑战-响应”系统非常契合。如果证明者提出了虚假的声明，验证者可以通过提供简明扼要的欺诈证明迅速揭露不诚实行为。然后，在乐观 Rollups 框架内对这一欺诈证明进行审查，如果验证通过，不诚实的一方将受到惩罚。