Sidechain开发人员Starkware和Weizmann科学研究所声称为多个比特币脚本限制创建了解决方法。
根据最近的一项研究 纸，新的设计声称允许以更高的资本效率方式在比特币上部署复杂的智能合约。从计算的角度来看，新系统也可能更有效。
ColliderVM是一项协议，旨在启用比特币上的状态计算，从而允许在多个交易中安全执行多步骤过程。传统上，其他脚本无法访问比特币脚本的输出，因此几乎不可能进行复杂的计算。
研究人员认为，ColliderVM可以允许在比特币上使用可扩展的透明知识参数（Starks）（Starks） – 一种零知识证明 – 不需要对网络进行共识级别的更改。该体系结构将使比特币使用最小的OnChain数据来验证复杂的离子计算。
ColliderVM目标比特币限制
每个比特币块可以包含所有交易中最多400万个Opcodes（命令），一个比特币 脚本 最多可以包含1,000个堆栈元素（数据输入）。此外，无状态执行意味着每个脚本在不对先前的状态或中间计算中的内存中执行，从而使复杂的计算变得不切实际。
2023年的BITVM实现 纸 由比特币研究公司的Robin Linus ZeroSync允许在比特币上获得复杂的智能合约，但需要证明欺诈。欺诈证明是对特定交易或计算进行错误执行的加密证明，可能会触发纠正措施。
防欺诈实施通常需要操作员才能在潜在的纠正措施中进行前资本。在BITVM中，运营商支付了预付款，以涵盖潜在的欺诈交易，并在防欺诈窗口关闭后恢复了资本。
与以前的实现相比，从计算的角度来看，新系统也更有效，但仍然昂贵。以前的实现使用了密码学的一次性签名（Lamport和Winternitz）显着的计算重量。
ColliderVM从2024年11月的ColliderScript中绘制 纸 由Starkware，Web Services公司Cloudflare和Bitcoin Sidechain开发人员BlockStream的研究人员。该系统依赖于基于哈希碰撞的承诺设定挑战，以产生输入，该输入通过哈希功能运行时会产生具有预定功能的输出。
有关的： 比特币Taproot升级的初学者指南
与恶意演员相比，这种设置需要从诚实运营商那里的计算资源要少得多。
诚实和恶意参与者所需的计算资源取决于碰撞困难。来源：ColliderVM 纸
哈希，但没有食物或杂草
哈希是一种非可逆数学函数，可以在任意数据上运行，产生固定长度字母数字字符串。非可逆性意味着不可能反向运行计算以从哈希获得原始数据。
这会导致某种数据ID将数据识别到位，而无需包含任何基本数据。
哈希功能示例。来源： Wikimedia
这个系统 – 有点像比特币（BTC）挖掘 – 与BITVM相比，需要更少的哈希操作，从而减少了脚本大小和处理时间。 ColliderVM的研究人员声称，这些操作的数量将进一步减少至少10,000倍。
研究人员似乎认为，这种实施几乎使基于Starks的比特币Sidechain实用。论文读到：
“我们估计，用于Stark证明验证的比特币脚本长度几乎是实用的，可以与当今应用程序中常见的其他基于配对的基于配对的证明系统一起使用。”
斯塔克是一个 防ZK 确认其可扩展性和无信任性的系统（不需要信任的设置）。 ZK-Profforms是一个加密系统，它允许用户在不揭示基础数据的情况下证明数据的特定功能。
许多早期的ZK-PROFFROD系统需要一次性安全设置，该设置依赖于“有毒废物”数据。如果一方要抓住有毒废物，则可以使他们伪造并产生欺诈性证据。 Starks并不依赖于这样的设置，使其无信任。
Stark验证者的传统实现将需要超过比特币限制的脚本。现在，ColliderVM背后的研究人员认为，他们更有效的系统方法使“几乎实用”的鲜明验证脚本“几乎实用”。
基于比特币的无信任的Sidechains？
比特币广泛 被认为是最安全，最可靠的区块链，但与许多AltCoins相比，其功能集提出了问题，其功能集更加有限。存在诸如Blockstream的液体之类的侧链，但并非没有信任。
区块链公司Blockstream和数学家Andrew Poelstra的研究总监告诉Cointelegraph，早在2020年 是“最令人兴奋的发展领域之一在密码学领域中。Cypherpunk是一位比特币白皮书和Blockstream创始人引用的开发人员，在2014年的一张纸上解释说 需要更多的工作 在比特币上实现基于ZK-PROFFROOD的SIDECHAIN。
尽管如此，即使在十年后，基于Collidervm的系统将被信任最小而不是信任。这是因为用户仍然需要相信，至少一个网络参与者的最小子集将诚实地采取行动，以确保系统的正确功能。
该研究的主要作者包括Starkware的联合创始人Eli Ben-Sasson以及研究人员Lior Goldberg和Ben Fisch。本·萨森（Ben-Sasson）是Starks的原始开发人员之一，长期以来一直主张使用零知识证明来提高区块链可伸缩性。
Starkware联合创始人Ben-Sasson在最近对Cointelegraph的采访中指出，真正的比特币2层解决方案将需要具有“比特币本身的安全性”。相反，当前的解决方案依靠对签名者或基于欺诈的经济激励措施的信任。尽管如此，他还是认出了闪电网络：
“我们还应该承认，当然，今天有具有比特币安全性的闪电网络。”
