Xfinite 的原生代币 XET，通过运行时验证进行审计

Xfinite 宣布其母币 XET（Xfinite Entertainment Token）审核已通过 Runtime Verification 正式完成。 XET 是 Xfinite 生态系统中使用的实用程序和治理令牌，Xfinite 生态系统是一个在区块链上重新定义数字点播娱乐未来的平台。

XET 建立在 Algorand 区块链上，为所有利益相关者提供独特的价值交换和治理机制，包括； 用户、品牌、影响者和内容制作者。 XET 作为 Algorand 标准资产 (ASA) 实现，这是一种在 Algorand 区块链上表示任何类型资产的第 1 层机制。

审计的重点是将 XET 的规范与其在白皮书中的描述进行比较，以及查看令牌的 Python 部署脚本。 为了确保令牌部署脚本没有缺陷并且令牌按照白皮书中的说明工作，我们严格分析了两个不同的来源：XET 白皮书 v2.3.1 和 XET Github 存储库内容。

运行时验证团队成员 Musab Alturki 进行了 XET 审计，并于 2021 年 7 月 12 日发布了一份详尽的报告。

第一阶段包括根据白皮书中的描述审查 XET 的规范。 规范是从配置文件和部署脚本中提取的。 第二阶段是审查报告并尝试按照说明编译和执行主脚本，同时查找不一致和问题。 最后，对配置和部署代码进行了审查，以确保正确性和一致性。

所使用的方法导致确定了两个潜在的严重问题以及四个有见地的发现和建议。 所有重要问题都得到了处理，大部分有用的结果和一般性建议都得到了落实。

关于 Xfinite

Xfinite 是一个基于区块链的平台，旨在重建消费者、内容创作者和出版商之间的信任。 通过使用基于观众的奖励，Xfinite 生态系统通过提高透明度和创造新的参与习惯来帮助媒体和娱乐行业打击广告欺诈。

关于 XET

XET（Xfinite Entertainment Token）是 Xfinite 生态系统的原生货币。 XET 为包括用户、品牌和影响者以及内容生产者在内的所有利益相关者提供独特的价值交换和治理机制。

XET 建立在 Algorand 区块链上，因为它在规模上具有成本效益，因此非常适合微交易。 每笔交易的平均成本低于 0.001 美元。

关于运行时验证

Runtime Verification 是一家位于伊利诺伊州尚佩恩-厄巴纳的技术初创公司。 该公司使用正式的方法对公共区块链上的虚拟机和智能合约进行安全审计。

它还提供软件测试、验证服务和产品，以提高区块链领域软件系统的安全性、可靠性和正确性。

免责声明：这是一个付费帖子，不应被视为新闻/建议。

—-

原文链接：https://ambcrypto.com/xfinites-native-token-xet-audited-by-runtime-verification

原文作者：Anjali Sriniwasan

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。