CertiK在对稳定币协议Terra进行安全审核后“印象深刻”

Certik是由耶鲁大学和哥伦比亚大学的顶级形式验证专家共同创建的区块链和智能合约验证平台，最近完成了对Terra的安全审核，该公司设计了一种算法稳定币来为区块链上的下一代支付系统供电。

Terra的主网络于4月投入使用，是一个使用Cosmos SDK和Tendermint Consensus Engine的Delegated Proof-of-Stake（DPos）系统。

审计程序

审计工作由经验丰富的经济学家，安全研究人员和CertiK的安全工程师进行，并与Terra研发团队合作。CertiK对Terra的经济模型进行了全面审查，以测试潜在的市场操纵，建筑审查特别注重确保所有Cosmos插件的实施都受到良好保护，以防止可能的边缘情况和攻击，以及专家对Go – 编写Terra代码的语言。

强调

• 审计工作跨越多个月，从早期版本的Terra文档和实施开始。通过CertiK和Terra团队之间的互动式每周同步，传达了中间审计意见，并在审计过程中进行了讨论。审计工作包含在最终的Terra文件和实施中，用于启动Terra主网。
• CertiK研究了Terra白皮书以及Terra的其他研究，分析和设计文档，以理解Terra的完整语义。从经济学理论的角度来看，CertiK验证了数学推理的正确性以及模型对潜在的高级恶意货币操纵的稳健性。
• 审计的另一个重点是验证每个Cosmos插件的实现是否符合并完全实现Terra协议的理论模型的各个方面。还特别注意确保实施得到良好保护，以防止可能的边缘情况和攻击。
• 总体而言，Certik发现Terra的理论模型以及Go实现都经过精心设计和执行。虽然Certik没有评测Terra区块链的最终性能，但建模和数学推理被认为是合理的。该实现结构良好，并展示了对编程模式以及通用良好编程实践的良好掌握。
• CertiK在审计过程中使用了多种方法，包括自动静态分析，数学推理，以及Go上的专家，形式验证和安全性的仔细人工审查。

Certi对经济理论的巧妙和高效设计印象深刻，特别是对货币稳定和可预测的经济增长的控制的适当脱钩。CertiK还发现Terra的技术实施是它所见过的最高质量的技术实现之一，它展示了极其原则的工程实践，掌握Cosmos SDK的命令，以及勤奋的文档工作。

 

资讯来源：由0x资讯编译自CRYPTONINJAS。版权归作者所有，未经许可，不得转载