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