网址：https://www.certora.com
确保智能合约安全。
MetaMask因安全原因将弃用部分生成密钥的API方法:金色财经消息，MetaMask发布公告称，因安全原因将弃用eth_decrypt和eth_getEncryption PublicKey的API方法，并将重新推出一个更安全的方式生成密钥。据悉，eth_decrypt和eth_getEncryption PublicKey方法根据EIP-1098构建，目前没有基于这些方法的已知漏洞或漏洞利用案例。[2022/6/28 1:35:04]
Certora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。
Certora 拥有称为 AEV 自动精确验证的独特技术，能够检查智能合约的所有执行是否满足一系列要求。AEV 技术可作为智能合约的现有编译器和调试器的补充工具。
Certora 为区块链生态系统中的所有参与者提供两种独特的解决方案：智能合约正式验证 CFV，适用于采用智能合约的企业，持续监控所有新发现的漏洞或可能暴露新问题的变更合约；开发者的质量开发环境 QDE 允许在开发期间检测问题，在合约部署时最大限度地提高安全性。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
链链资讯
Joystream 视频平台的开发团队。 Jsgenesis概述, Jsgenesis信息, Jsgenesis区块链, Jsgenesis维基, Jsgenesis社交, Jsgenesis Medium, Jsgenesis ICO, Jsgenesis回顾, Jsgenesis快讯, Jsgenesis追踪
创立于 2015 年的区块链实验室。 NevTrace概述, NevTrace信息, NevTrace区块链, NevTrace维基, NevTrace社交, NevTrace Medium, NevTrace ICO, NevTrace回顾, NevTrace快讯, NevTrace追踪
构建不可替代的未来 NFT42概述, NFT42信息, NFT42区块链, NFT42维基, NFT42社交, NFT42 Medium, NFT42 ICO, NFT42回顾, NFT42快讯, NFT42追踪
区块链行业的风险管理。 Merkle Science概述, Merkle Science信息, Merkle Science区块链, Merkle Science维基, Merkle Science社交, Merkle Science Medium, Merkle Science ICO, Merkle Science回顾, Merkle Science快讯, Merkle Science追踪