[智能合约基础设施公司Neutro完成1000万美元融资]6月21日消息，Cosmos 生态智能合约基础设施公司 Neutro 宣布完成 1000 万美元融资，Binance Labs 和 CoinFund 领投，Neutron 是一个利用 Cosmos 生态系统链间安全的跨链智能合约平台，允许智能合约开发人员利用基础架构和安全性在 Cosmos 生态系统中轻松构建可扩展的 DApp。
跨链智能合约平台Clover Finance将参加波卡首轮平行链竞拍:11月2日消息，跨链智能合约平台Clover Finance宣布将参加波卡首轮平行链竞拍，波卡首轮平行链插槽拍卖计划于11月11日开始，众贷参与者可以质押DOT来获得项目代币CLV奖励，具体细节将很快发布。[2021/11/2 6:26:36]
Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF:9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。[2021/9/18 23:35:18]
动态 | 币安实验室向智能合约验证平台CertiK投资数百万美元:据Coindesk消息，币安实验室近日向智能合约验证平台CertiK投资，投资额达数百万美元。据悉，CertiK为初创型企业，其中两名创始人分别来自美国的耶鲁大学和哥伦比亚大学。[2018/10/8]
郑重声明： 智能合约基础设施公司Neutro完成1000万美元融资版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。