ADA:ADAMoracle预言机正式通过Certik智能合约代码审计

我们很荣幸的宣布，ADAMoracle预言机智能合约已于2021年11月15日顺利通过了安全审计认定，审计团队是专注于区块链安全领域的Certik安全公司，该团队已获得多家业内知名机构的认可，本次审计认定结果具有极高含金量与行业参考价值，为行业应用生态发展提供了强大的安全壁垒加持。

ADAMoracle是业内首个采用“广域节点喂价”机制的去中心化预言机，添加海量多元化服务器作为计算节点和存储节点，以图灵智能化取代传统预言机，构建一个安全、可信、精准、防止女巫攻击、可自我维护的去中心化预言机网络生态。随着中东、欧洲、亚洲等地区生态建设的不断拓展，ADAMoracle将与全球节点共同肩负起搭建新一代去中心化预言机生态的使命，开创“人人皆可参与喂价”的预言机3.0时代。

Starknet推出高性能定序器Madara:7月20日消息，Starknet推出高性能定序器Madara，后者将Starknet为提供创建可定制且高效的应用链的能力。Madara通过使用Substrate框架，增强了Cairo VM的功能，从而生成可证明、安全且灵活的程序。此外，Madara还将提高Starknet的互操作性和链上隐私水平。[2023/7/20 11:07:18]

关于Certik

CertiK是区块链网络安全公司，于2017年由耶鲁大学计算机系主任邵中教授与哥伦比亚大学计算机系顾荣辉教授共同创建。旨在使用最严密和最彻底的网络与软件安全技术来识别并消除安全漏洞。截至目前，CertiK已进行了超过700次审计，审计了超过39.6万行代码，保护了超过300亿美元的资产免受损失。

LVMH与Prada、Cartier合作开发全球奢侈品区块链Aura:奢侈品品牌路易威登（LVMH）宣布与普拉达（Prada ）、历峰集团（Richemon）旗下卡地亚（Cartier）合作，共同开发全球首个全球奢侈品区块链Aura区块链联盟。[2021/4/20 20:40:48]

CertiK由Binance Labs、DHVC、FBG、光速中国、经纬中国、比特大陆、策源创投等全球领先的投资者共同孵化投资，已与Binance、Kucoin、OKEx和Huobi等世界顶级数字资产交易所，以及NEO、ICON、Terra和QuarkChain等公链建立了战略合作伙伴关系。截至目前，CertiK已经累计保护了超过45亿美元的资产免受损失。CertiK已经对BNB, Terra, Crypto.com，TUSD和USDK等多个主要项目进行了安全审计。未来，CertiK将继续为区块链行业安全发展保驾护航。

动态 | EOS Canada 宣布 dfuse 支持 EOS 旧金山黑客马拉松:据 IMEOS 报道，EOS Canada 宣布?dfuse 的团队为黑客马拉松的参赛者创建了快速访问的资源列表，可以帮助找到一些实用的工具。参赛者想访问能连接到 EOS 主网和麒麟测试网的流式API，可以申请免费的 API 密钥，并且 EOS Canada CTO ?Marc-Antoine Ross 整个周末将在现场帮助解决问题。[2018/11/11]

审计内容解析

CertiK利用最新和最先进的形式化验证技术，为ADAMoracle预言机提供最全面和最严格的安全审计，经过对项目数千行的代码审计，仅发现了部分小问题，相比同类型代码问题率超50%以上的项目，此次审计过程中没有检测到关键漏洞，智能合约代码在编写逻辑、规范程度等方面均表现优秀，智能合约完全符合安全运营的要求，Certik也表示了对项目的认可。

ADAMoracle预言机在审计结束后，立即根据CertiK的审计报告建议和反馈对原代码进行了改进和优化，提高了系统整体的安全性。此次ADAMoracle预言机通过Certik智能合约审计，同时也寓意着ADAMoracle预言机在规避安全漏洞上更有保障力度，更全面的提升了审计覆盖率和准确率，有效的降低了交易风险。

目前，在ADAMoracle预言机已在币安智能链（BSC）上部署，生态通证ADAM已正式上线去中心化交易所DODO，任何人均可参与交易。我们也期待更多的用户参与到ADAMoracle预言机的生态建设当中，在享受安全和精准数据传输服务的同时，还能够获得更多项目数字生态发展中的多样化红利，ADAMoracle未来将开启预言机3.0新时代。

标签：ADACERTIKCERTAdalendDSOCCER币certik币价certik币价

XLM热门资讯