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

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

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

稳定币协议Abracadabra发布将MagicCRV加入白名单的Curve治理提案:4月30日消息，稳定币协议Abracadabra发布将MagicCRV加入白名单的Curve治理提案。MagicCRV是Abracadabra上CRV的包装资产，用户可以锁定CRV铸造 MagicCRV，锁定期为4年，期间用户可以将MagicCRV换为mCRV，并在Curve上的mCRV/CRV池交易将其交易为CRV。MagicCRV将允许Abracadabra拥有投票权，并将用于改进MIM挂钩。[2022/4/30 2:42:34]

关于Certik

声音 | Cardano创始人：有100人正专注于ADA的工作:Cardano创始人Charles Hoskinson在最新的YouTube问答中表示：目前有200人在为这个项目工作，其中100人专注于其自身加密货币ADA。我们没有可以复制的代码，没有可以派生的源代码库，我们正在做非常困难的事情。项目进展顺利。我们不会错过最后期限。我们知道自己在做什么，你可以在GitHub上公开看到。我们的项目比市场上任何其他加密货币项目的提交都多。（The Daily Hodl）[2019/10/14]

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

公告 | OKEx已于今日16时开放ADA充提:据OKEx公告，ADA客户端升级完成，现已稳定运行，OKEx已于2018年11月22日16时开放ADA的充提，升级期间发生的充值会在升级完成以后自动入账。[2018/11/22]

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

审计内容解析

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

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

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

标签：ADARACTIKcertikADAM价格InsurAcePLASTIKcertik币价

Filecoin热门资讯