[智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper]8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。
其它快讯：
Moonbeam新增Scaffold-ETH支持部署Solidity智能合约:3月3日消息，据Moonbeam最新版开发者文档，以太坊开发技术栈Scaffold-ETH已支持在Moonbeam部署Solidity智能合约，并启用了带有React前端和已部署subgraph的DApp。目前有一些预制模板可供常见DApp类型，如NFT、ERC-20 Token、多签钱包、简易DEX等使用。Scaffold-ETH可提升提升开发效率，曾被部分开发者称为“Web3.0 DApp开发入门神器”。[2022/3/3 0:20:00]
动态 | 币安实验室向智能合约验证平台CertiK投资数百万美元:据Coindesk消息，币安实验室近日向智能合约验证平台CertiK投资，投资额达数百万美元。据悉，CertiK为初创型企业，其中两名创始人分别来自美国的耶鲁大学和哥伦比亚大学。[2018/10/8]
行情 | PeckShield漏洞研究总监罗元琮：以太坊公链安全相较智能合约更不容忽视:在2018 ISC互联网安全大会上，区块链安全公司PeckShield漏洞研究总监罗元琮指出，公链作为基础设施，一旦遭到攻击，其影响范围和危害程度超乎想象。PeckShield在本次大会的议题中披露了若干个存在于以太坊公链上的致命漏洞，目前这些漏洞均已和以太坊基金会沟通完成修复。此次披露的“EPoD 2”具体表现为：攻击者可通过geth LES协议实现缺陷，向受影响geth节点发送恶意AnnounceMsg，致使受害节点耗尽内存而卡死，甚至可能会连带大面积硬件终端宕机。其潜在危害也可能导致以太坊网络2/3以上的节点瞬间停摆，造成难以估量的严重影响。[2018/9/6]
郑重声明： 智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。