BitcoinOS 和 Starknet 正在努力为比特币增加智能合约功能 —— 无论是否借助备受争议的 OP_CAT 分叉。这两个项目正在设计创新的方式，利用零知识 (ZK) 证明来扩展比特币，即使比特币的超简单脚本语言使得这一过程变得困难且昂贵。这有望创造真正的比特币第二层，继承了其大部分安全性，并解锁了在比特币本身上创建可编程代币的有趣可能性。
作为以太坊第二层最为人熟知的 Starknet 希望利用这项技术将比特币的交易量从目前的每秒仅 7 笔提升至数千笔。共同创始人 Eli Ben-Sasson 告诉 Magazine：“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