BitVM

BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。

BTC L2 大致分为侧链、rollup、DA 层、去中心化索引等方式，盘点一下各方式的实现方案。

今天，ZeroSync（一个为使用零知识证明拓展比特币而成立的协会）的开发者 Robin Linus 提出了 “BitVM”，为将来的比特币应用开发打开了非常有趣的可能性。它可以启用几乎所有的任意计算，并使用这些计算来执行在比特币链上发生的事情。

BitVM 概述：将有效性证明引入比特币

BitVM 2：比特币上的免许可验证

这篇文章指出了如何让比特币支持ZK验证功能，比特币UTXO和脚本在功能性上的缺陷，及可能的路线

走近BTC：理解BitVM所需的背景知识（1）

RGB、BitVM、Nostr 的详解入门

DLC原理解析及其优化思考

BitVM：在比特币上进行任何计算 中文翻译：BitVM中文社区

BitVM技术探索才刚刚开始，未来将探索和实践更多的优化方向，以实现对比特币的扩容，繁荣比特币生态。

什么是比特币 Rollups？