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