Tspec-to-code-compliance作者 trailofbitsspec-to-code-compliance 用于核对代码是否与书面规范完全一致,适合区块链审计和 Compliance Review。使用 spec-to-code-compliance 技能,可以对照白皮书、设计文档和实现代码,找出缺失的行为,并标记未说明或存在偏差的逻辑。合规审查收藏 0GitHub 5k