规范符合性验证Skill spec_compliance

此技能用于验证智能合约代码是否与设计文档(如白皮书、MIP)一致,确保实现符合规范,便于区块链项目审计和合规检查。关键词:智能合约、规范符合性、区块链审计、MIP 验证、白皮书验证。

智能合约 0 次安装 0 次浏览 更新于 3/21/2026

name: spec_compliance description: 验证代码是否符合白皮书或 MIP(MultiversX 改进提案)。

规范符合性

此技能确保实现的智能合约与设计文档(白皮书、MIP、规范)匹配。

1. 输入

  • 代码: Rust 实现。
  • 规范: whitepaper.pdfMIP-XX.mdREADME.md

2. 过程

  1. 提取声明: 列出规范中的每个 “MUST”、“SHOULD” 和公式。
  2. 映射到代码: 找到实现每个声明的具体代码行。
  3. 验证: 数学计算是否匹配?约束是否强制执行?

3. MultiversX 特定内容

  • MIP 符合性: 如果项目声称实现 MIP-2(部分 NFT),验证其是否遵循该 MIP 中定义的 SFT 元数据标准。
  • 经济学: 验证代币经济学(通货膨胀率、燃烧率)是否与白皮书完全一致(BigUint 精度很重要!)。