[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
0xScope：Multichain漏洞影响了Fantom、Dogechain、Moonriver和Conflux:金色财经报道，7月7日，Multichain在发现大规模漏洞后停止运营。锁定在其MPC智能合约上的资产已被异常转移。
根据Web3知识图协议0xScope，该漏洞影响了Fantom、Dogechain、Moonriver和Conflux。
Multichain团队表示不确定事件的细节，目前正在调查该事件。PechShield估计该漏洞中被盗资产的价值约为1.26亿美元。截至撰写本文时，多链运营已关闭30多个小时，目前尚未确定恢复时间。[2023/7/9 22:26:42]
动态 | ConsenSys Grants下月将在纽约举办黑客马拉松:据以太坊联合创始人Joseph Lubin推文消息，ConsenSys Grants将于7月19日至21日在纽约举办黑客马拉松。ConsenSys Grants将资助正在构建改善以太坊开发人员和用户体验所需的基础架构、工具和组件相关项目。据悉，ConsenSys Grants为ConsenSys于2018年11月公布的资助计划，将为以太坊基础设施项目拨款50万美元。[2019/6/26]
声音 | ConsenSys CTO Ray Valdes：区块链更是一个平台:ConsenSys首席转型官（CTO）Ray Valdes今日在上海举行的2018年中国区块链新经济论坛暨区块链人年会上表示，很多人认为区块链技术是数字黄金、数字现金或加密资产／通证，但在他们看来区块链更是一个平台。智慧城市正从解决有形问题转型到解决无形问题。要让城市系统变得更加可信，关键是用区块链技术创造市场，建立新的数字资产经济、新的管理框架体系，以及新的社会秩序。[2018/12/7]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。