本页概述了以太坊生态中的形式化验证（及相关分析）项目。它是对 pirapira/ethereum-formal-verification-overview 的扩展和更新。 重点是智能合约的形式化验证和其他类型的分析，同时也收集了协议和编译...
Vyper是一个合约导向的Python 系程序语言，为了以太坊虚拟机(EVM) 而生。以太坊创办人Vitalik 推文赞赏Vyper 默默地成为更进步的以太坊高阶语言。Blocto共同创办人李玄表示，Vyper 跟现在开发智能合约惯用的...
鸿途知科网
