区块链开发人员距离在比特币上推出汇总又近了一步，实现了“无限的智能合约功能”并实现了曾经与 OG 加密网络无关的扩展。

周五，BitcoinOS 发布了“BitSNARK 和 Grail”白皮书，这是一个以信任最小化的方式将比特币与第 2 层汇总和区块链连接起来的系统。

比特币上的汇总：可能吗？

新的汇总系统是 BitVM 的产物——BitVM 是 Robin Linus 去年发现的基于比特币的计算范式。

BitVM 最引人注目的应用之一是它能够验证比特币上的“简洁非交互式知识论证”（SNARK）。从广义上讲，这为比特币 Rollup Bridge 以及类似于以太坊上的 Optimism 或 Arbitrum 的扩展技术开辟了可能性。

BitSNARK 在 BitVM 的基础上，使用专门为此特定目的而优化的软件库，实现了便宜、高效、足够安全的桥梁以供实际使用。

论文作者之一 Edan Yago 周四在 Twitter 上写道：“这是解决比特币规模、计算表达能力和去中心化三难困境的解决方案。无需软分叉、升级或新的操作码。”

新的比特币桥梁模型

到目前为止，与以太坊等更具表现力的区块链上构建的扩展系统相比，现有的比特币第 2 层系统一直受到重大权衡的困扰。例如，由于渠道管理的成本和复杂性，比特币的闪电网络对于个人使用来说可能变得不切实际。

此外，Liquid 和 Rootstock 等比特币侧链需要第三方联合来管理 L1 和 L2 之间的“桥梁”，这意味着两条链都存在单点故障。

这就是 Grail 的用武之地：新系统使用 BitSNARK 为比特币和汇总交易生成 SNARK 证明，并允许在 L1 和 L2 汇总之间进行安全的资产转移。

白皮书指出：“虽然许多系统依靠阈值签名方案中的多数投票来确保安全性，但 BitSNARK 承诺通过允许单个诚实代理防止任何或所有其他代理的滥用来提供更强大的安全性。”

作者表示，圣杯桥至少需要两名操作员才能运行，但理论上可以支持任意数量的操作员。创建者还可以建立系统，让老的桥梁操作员离开该组，或让新的操作员加入。

Yago 表示，BitcoinOS 团队目前的目标是设计一座拥有超过 100 名运营商的桥梁。

“除非各方串通一气，否则信任假设是成立的，”他补充道。“这就是它如此强大的原因。”

该白皮书是在 Runes 发布后不久发布的。Runes 是一种比特币代币协议，过去一周，该协议大幅提升了比特币基础层的活动和费用。

这篇文章 BitcoinOS 发布“改变游戏规则”的白皮书，以获得比特币上的汇总，首先出现在 CryptoPotato 上。