BitcoinOS 和 Starknet 正在将智能合约功能添加到比特币上，而不必依赖有争议的 OP_CAT 分叉。这两个项目正在创新地利用零知识（ZK）证明的方式来扩展比特币，且不管是否进行有争议的 OP_CAT 硬分叉。
这两个项目已经展示了在比特币现有的主网上验证 ZK 证明是可能的，即使比特币的超简单脚本语言使其变得困难且昂贵。这可能会创造出真正的比特币第二层，继承了其大部分安全性，并解锁了在比特币本身上创建可编程代币的引人入胜的可能性。
作为以太坊第二层最知名的 Starknet 希望利用这项技术将比特币的每秒交易量扩展到数千笔，而不仅限于今天仅有的 7 TPS。共同创始人Eli Ben-Sasson告诉杂志说：“Starknet 生态系统非常热衷于扩展到比特币。”
与此同时，BitcoinOS 声称将很快推出技术，可以直接在比特币主网上解锁智能合约功能，而无需将 BTC 发送到比特币第二层。这可以使近 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