BitcoinOS 和 Starknet 正在将智能合约功能添加到比特币中，无论是否进行有争议的 OP_CAT 分叉，两个项目都在想出创新的方式来利用零知识（ZK）证明来扩展比特币。
这两个项目都已经证明了在比特币现有的主网上验证 ZK 证明是可能的，即使比特币的超简单脚本语言使其变得困难且昂贵。这可能会创建真正的比特币 Layer 2，继承了其大部分安全性，并解锁了在比特币本身上创建可编程代币的有趣可能性。
Starknet 以太坊 Layer 2 最为人熟知，希望利用这项技术将比特币的交易量从目前的每秒仅 7 笔提高到每秒数千笔。“Starknet 生态非常热衷于扩展到比特币，”联合创始人 Eli Ben-Sasson 在杂志上表示。
与此同时，BitcoinOS 声称将很快推出一项技术，可以直接在比特币主网上解锁智能合约功能，而无需将 BTC 发送到比特币 Layer 2。这可以使将近 2 万亿美元的比特币在 DeFi 中本地使用成为可能。
CTO Gadi Guy 表示：“这是一大笔钱在那里闲置着什么都没做，我们想让这笔钱投入运转。”
去年11月，BitcoinOS 使用其 Grail zk 桥梁在比特币和 Merlin 比特币 Layer 2 之间发送了第一笔不受信任的交易。Merlin 是与以太坊虚拟机兼容的区块链，BitcoinOS 打算很快公开展示比特币和以太坊之间的交易。
[阅读更多](https://cointelegraph.com/magazine/bitcoinos-starknet-adding-smart-contracts-bitcoin-zk-proofs/)
新闻来源 (Source): Cointelegraph.com News
作者 (Author): Andrew Fenton