BitcoinOS 和 Starknet 正在为比特币增加智能合约功能而努力，无论是否进行有争议的 OP_CAT 分叉。
BitcoinOS 和 Starknet 并未等待有争议的 OP_CAT 硬分叉，而是通过设计创新的方式，利用零知识（ZK）证明目前就对比特币进行扩展。这两个项目已经证明，即使比特币的超简单脚本语言使得验证 ZK 证明变得困难和昂贵，他们仍然可以在比特币现有的主网上验证 ZK 证明。这可能会创造真正的比特币第二层，继承其大部分安全性，并解锁在比特币本身上创建可编程代币的有趣可能性。
Starknet 作为以太坊第二层的知名项目，希望利用这项技术将比特币的交易量从目前的每秒仅 7 笔扩展到每秒数千笔。共同创始人 Eli Ben-Sasson 告诉《Magazine》：“Starknet 生态系统对在比特币上扩展也非常热衷。”
与此同时，BitcoinOS 声称将很快推出技术，直接在比特币主网上启用智能合约功能，而无需将比特币发送到比特币第二层。这可能使将近 2 万亿美元的比特币能够在 DeFi 领域中本地化使用。
CTO Gadi Guy 表示：“这是一大笔资金就这样闲置着，什么也没做。我们希望让这笔钱发挥作用。” 今年 11 月，BitcoinOS 使用其 Grail zk 桥接器在比特币和 Merlin 比特币第二层之间进行了第一笔无信任交易。Merlin 是一个与以太坊虚拟机兼容的区块链，BitcoinOS 打算很快公开展示比特币和以太坊之间的交易。
[阅读更多](https://cointelegraph.com/magazine/bitcoinos-starknet-adding-smart-contracts-bitcoin-zk-proofs/)
新闻来源 (Source): Cointelegraph.com News
作者 (Author): Andrew Fenton