Blockchain v1.0.0 S spec-to-code-compliance Antigravity 用于验证代码是否准确实现了区块链审计文档中规定的全部内容,适用于将代码与白皮书对比、发现规范与实现之间的差异,或对协议实现进行合规性检查 code verification blockchain audit spec-compliance check 浏览量21 下载量17 查看 →