0% read

最后更新:

Runera

Runera 是一个 协议,集成了和 AI 以支持游戏应用,同时保持与 的兼容性。它实现了复杂计算的链下执行,并在上设有验证机制,以确保安全性和效率。[3]

概述

Runera 是一个游戏和 AI 协议,在 上利用 。它旨在与 完全兼容,并支持使用原生 支付 费用,将的稳定性与 的适应性联系起来。

作为一种 解决方案,Runera 在去中心化的游戏和 AI 框架中融入了 ZK Stark 算法和 Taproot 脚本。由于在处理复杂计算方面的限制,Runera 在链下处理,同时使用类似于 bitVM 的 Taproot 脚本在链上进行验证。该协议还采用 AI 将高级语言程序翻译成低级操作码,这些操作码可以表示为数字电路,并在需要时在上进行模拟。

这种结构实现了具有选择性链上验证的链下计算执行,类似于 。Runera 集成了 zkEVM 以生成 ,并由链下进行验证,从而减轻网络负载。实施 SVMZK 方案是为了增强排序器的抗审查能力。Runera 强调社区参与,让早期用户和生态系统合作伙伴参与决策。其治理和结构旨在确保透明度和长期参与。[4]

技术

游戏 x AI

Runera 正在开发一种专注于游戏和 AI 的 解决方案,将理论进步与实际应用联系起来。开发遵循分阶段的方法:

  • Alpha 主网阶段旨在稳定系统运行,集成 组件,并融入游戏和 AI 功能。
  • 主网阶段将验证过渡到 Taproot 脚本,将链下证明者 (Prover) 和验证者 (Verifier) 组件转换为电路,使用 NZK 实现反交易重排序,并扩展 AI 功能以用于交互式游戏。

在不同阶段推出,以评估功能和性能,确保在重大更新前系统的可靠性。技术架构在 框架内集成了游戏和 AI,以增强基于的游戏体验。[5]

承诺验证

在 Runera 中,承诺 (Commitment) 确保了链下交易和状态转换的完整性。如果发生争议,相关数据可以临时上传到比特币区块链进行验证,比特币节点充当仲裁者。

提议者 (Proposer) 将 电路执行结果提交给,由验证者进行验证。为了防止提交无关或随机数据,需要一种机制让 能够独立验证上传的链下数据是否相关。

承诺会定期发布在 上,将其与链下状态转换和交易联系起来。它是大量链下数据的紧凑表示,功能类似于哈希。[6]

验证过程

Runera 使用类似于 BitVM 的方法在上验证计算,采用脚本来模拟逻辑门电路。尽管比特币脚本具有非图灵完备的性质,但这种方法仍能执行复杂的虚拟机操作。

Runera 的系统将处理器建模为由逻辑门电路组成的输入输出系统。脚本复制了这些效果,理论上能够模拟图灵机。由于无法直接验证 操作码,Runera 将高级语言操作码编译为逻辑门电路,然后比特币脚本将其作为 之间的中间表示 (IR) 进行处理。

该协议利用 Bristol 格式来定义电路结构,详细说明输入、输出、门功能和连接。这种格式标准化了逻辑门电路的描述,确保了计算验证的清晰度。

通过这种方式模拟计算,Runera 能够在不需要完全图灵完备系统的情况下,实现对链下操作的安全高效验证,从而维护状态转换和交易过程的完整性。[7]

Taproot 脚本

Runera 在其验证框架中利用了两个关键脚本:

  • 位承诺 Taproot (Bit Commitments Taproot):验证提议者提交的原像承诺 (Preimage Commitment)。
  • 验证 Taproot (Verification Taproot):确认提议者披露的执行轨迹的正确性。

这两个脚本都包含一个时间锁叶子,它为 强制执行基于时间的解锁条件:

  • 位承诺 Taproot:限制提议者提交证明的时间范围。如果错过截止日期,验证者可以花费该 Taproot,向第三方验证者发出数据提交延迟的信号。
  • 验证 Taproot:确保 在到期时解锁,防止在提议者没有恶意行为的情况下资金被永久锁定。

与交互式验证系统不同,Runera 根据花费条件和时间来确定执行的有效性。如果位承诺 Taproot 在允许期限之后仍处于锁定状态,则表明可能存在恶意行为。如果验证 Taproot 按预期解锁,则确认了执行轨迹的正确性。该系统实现了对比特币区块链上链下计算的安全透明验证。[8]

RUNERA 代币

RUNERA 是 Runera 生态系统的原生代币。它的总供应量为 100 亿枚,分配如下:[9]

  • 生态系统:40%
  • 预售:15%
  • 国库:15%
  • 团队:10%
  • 投资者:10%
  • 社区激励:7%
  • 顾问:3%
发现错误了吗?

参考文献 (9 来源)

首页分类维基MC事件词汇表