免责声明:金色财经所有资讯仅代表作者个人观点,不构成任何投资理财建议。请确保访问网址为(jinse.cn) 举报

    安全聚焦 | Terra

    gJMAzINfA9KT4RU0f5JfamXWdr9nHjs5yiIFVY1X.png

    据团队最新消息,Certik于本月初完成了Terra项目的安全审计

    Terra正在发展成为下一代分散式应用程序的新金融基础架构。该公司已设计出稳定币算法系统,来为下一代区块链支付系统提供发展动力。Terra的主网已于4月份上线,其采用的是委托权益证明 (DPos)共识机制, Cosmos SDK和Tendermint Consensus为主网引擎。

    审计过程

    来自CertiK的经济学家、安全专家和工程师与Terra研发团队合作完成了此次安全审计。CertiK团队对Terra的经济模型进行了以下三种审计:

    • 经济模型审查测试:以排除市场操控可能性。

    • 建构性审查测试:着重检验Cosmos插件的实施是否都得到良好保护,以防止任何可能出现的边缘情况和潜在攻击。

    • 专家审查:用以编写Terra的项目为Go语言,CertiK专门委派了Go语言的专家对此进行人工审查。

    以下是审计中的亮点

    •  此次工作历时数个月,从早期版本的Terra文件和代码执行开始审计。 CertiK和Terra团队之间每周进行互动和信息同步,有效传达了双方意见,并在审计过程中对代码优化的方案进行进一步讨论。 在审计工作全面结束之后,通过审计的最终版Terra文件和代码来启动Terra主网的时候结束。

    • 为了对Terra有充分且深入的了解,CertiK团队研究了Terra白皮书、其他研究类、分析类、以及设计类文档。从经济学理论的角度来说,CertiK证明了Terra系统中数学原理的正确性,并确保Terra的经济模型在应对潜在恶意货币操纵方面具有稳健性。

    • 此次审计的另一个侧重点是检验每个Cosmos插件的实现是否符合Terra协议理论模型的所有要求,并对其进行完整实现。在此基础上,CertiK专家团队特别注重确保代码执行得到良好的保护,以防止可能出现的边缘情况和潜在攻击。

    • 总体而言,Certik发现Terra的理论模型和Go语言代码实现都经过了精心的设计和精确的执行。虽然Certik对Terra区块链的最终性能未进行评论,但通过审计结果得知其理论模型和数学推理是合理的。Terra的代码总体具有良好的实现结构,对Go编程模式以及通用编程模式也具有良好的实现。

    • CertiK在审计过程中使用了多种方法,包括动态/静态分析,数学原理证明,以及由在Go语言、形式化验证以及区块链安全性领域的专家进行人工审计。

    Terra对经济理论的巧妙运用和对经济模型的高效设计给CertiK留下了深刻印象,尤其是采用了不同的手法,对货币稳定及可预测的经济增长分别进行独立调控。同时,Terra是迄今为止CertiK所合作过的达到最高质量技术实现的客户之一,展示了合乎设计原则的工程实践、对Cosmos SDK命令的熟练掌握、以及勤勉的文档工作。

    关于Terra

    Terra项目致力于设计研发价格稳定的数字货币,为下一代区块链支付网络赋能。 Terra如今正在与不断壮大的全球电子商务平台联盟合作,可使商家和日常消费者从区块链行业中获益,例如给用户带来低交易成本的好处。通过缩小数字货币与实际应用之间的差距,Terra旨在发展成为创新金融dApps的开放平台,并增加区块链经济的实际收入。 Terra团队由来自商业,金融和区块链领域的专家组成,目前在新加坡和韩国设有办事处。

    了解更多信息,请访问 https://terra.money

    关于CertiK

    CertiK公司于2019年初成立北京办公室,由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立,通过形式化验证科技为智能合约和区块链应用及协议提供代码安全解决方案。团队迄今已经成功守护了价值近45亿美元的数字资产免受黑客攻击。

    Kbok3BDv7Zf6dw8kpUznqzLZUZTiVIvjHM5Rf5Mh.jpeg

    jeJ2dgGv4Q4wJI5XImDfvZUYAvtyI8ZWwCt7MYYt.png

    jinse.cn 0
    好文章,需要你的鼓励
    jinse.cn 0
    好文章,需要你的鼓励
    参与评论
    0/140
    提交评论
    文章作者: / 责任编辑:

    声明:本文由入驻金色财经的作者撰写,观点仅代表作者本人,绝不代表金色财经赞同其观点或证实其描述。

    提示:投资有风险,入市须谨慎。本资讯不作为投资理财建议。

    金色财经 > CertiK中文社区 > 安全聚焦 | Terra
    • 寻求报道
    • 金色财经中国版App下载
      金色财经APP
      iOS & Android
    • 加入社群
      Telegram
    • 意见反馈
    • 返回顶部
    • 返回底部