Runera 是一个 比特币 Layer 2 协议,集成了 零知识证明 和 AI,以支持游戏应用,同时保持与 以太坊虚拟机 (EVM) 的兼容性。它支持复杂计算的链下执行,并通过 比特币 上的验证机制来确保安全性和效率。[3]
Runera 是一个游戏和 AI 协议,它利用 比特币 Layer 2 上的 BRC-20。它被设计为与 以太坊虚拟机 (EVM) 完全兼容,并支持 BTC 原生交易用于 gas 费用,将 比特币 的稳定性与 EVM 的适应性联系起来。
作为 比特币 Layer 2 解决方案,Runera 在去中心化的游戏和 AI 框架内结合了 ZK Stark 算法和 Taproot 脚本。由于 比特币 在复杂计算方面的限制,Runera 在链下处理 智能合约,同时使用 Taproot 脚本在链上验证它们,类似于 bitVM。该协议还采用 AI 将高级语言程序翻译成低级操作码,这些操作码可以表示为数字电路,并在需要时在 比特币 上进行模拟。
这种结构支持链下计算执行,并有选择性地进行链上验证,类似于 以太坊 Rollups,如 Arbitrum。Runera 集成了 zkEVM 以生成 ZK 证明,由链下 节点 验证,从而减少网络负载。SVMZK 方案的实施旨在增强定序器的抗审查性。Runera 强调社区参与,让早期用户和生态系统合作伙伴参与决策。其治理和 代币经济学 结构旨在确保透明度和长期参与。[4]
Runera 正在开发一个 比特币 ZK Rollup Layer 2 解决方案,专注于游戏和 AI,将理论进步与实际应用相结合。开发遵循分阶段方法:
测试网 在各个阶段引入,以评估功能和性能,确保系统在重大更新之前的可靠性。技术架构将游戏和 AI 集成到 ZK Rollup 框架中,以增强基于 区块链 的游戏体验。[5]
在 Runera 中,承诺确保链下交易和状态转换的完整性。如果出现争议,相关数据可以临时上传到比特币区块链进行验证,比特币节点充当仲裁者。
Proposer 将 零知识 (ZK) 电路执行结果提交给 比特币,由 Verifier 进行验证。为了防止提交不相关或随机的数据,需要一种机制让 比特币 节点 独立验证上传的链下数据是否相关。
承诺会定期发布在 比特币 区块链 上,将其与链下状态转换和交易联系起来。它是广泛的链下数据的紧凑表示,功能类似于哈希。[6]
Runera 使用类似于 BitVM 的方法在 比特币 上验证计算,采用 比特币 脚本来模拟逻辑门电路。这种方法支持执行复杂的虚拟机操作,尽管 比特币 脚本的非图灵完备性。
Runera 的系统将处理器建模为由逻辑门电路组成的输入输出系统。比特币 脚本复制这些效果,理论上可以模拟图灵机。由于 比特币 无法直接验证 以太坊虚拟机 (EVM) 操作码,Runera 将高级语言操作码编译成逻辑门电路,然后 比特币 脚本将其作为 EVM 和 比特币 之间的中间表示 (IR) 进行处理。
该协议利用 Bristol 格式来定义电路结构,详细说明输入、输出、门函数和连接。这种格式标准化了逻辑门电路描述,确保了计算验证的清晰性。
通过以这种方式模拟计算,Runera 能够安全有效地验证链下操作,而无需完全图灵完备的系统,从而保持状态转换和交易过程的完整性。[7]
Runera 在其验证框架内使用两个关键脚本:
这两个脚本都包含一个时间锁定的叶子,该叶子强制执行 UTXO 的基于时间的解锁条件:
与交互式验证系统不同,Runera 根据花费条件和时间确定执行有效性。如果 bit commitments Taproot 在允许的时间段后仍保持锁定状态,则表明存在潜在的恶意行为。如果 verification Taproot 按预期解锁,则确认执行跟踪的正确性。该系统支持在比特币区块链上安全透明地验证链下计算。[8]
RUNERA 是 Runera 生态系统的原生代币。它的总供应量为 100 亿个代币,并具有以下分配:[9]