[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
风投机构DWF Labs宣布向Conflux投资1000万美元:3月1日消息，Web3风险投资机构和全球数字资产做市商DWF Labs宣布，向区块链平台Conflux投资1000万美元。凭借DWF Labs的投资，Conflux可以扩展其技术并增加用户数量，有助于进一步实现其将区块链的好处带给全球用户的使命。DWF Labs是Digital Wave Finance的子公司，为所投资的公司提供Token上线、做市、OTC交易解决方案的支持。DWF Labs在新加坡、瑞士、阿联酋、中国香港、韩国和英属维尔群岛设有办事处[2023/3/1 12:36:16]
Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全:金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。[2021/6/9 23:24:53]
动态 | 区块链软件公司ConsenSys将向雄安新区提供区块链技术相关建议:据南华早报消息，根据区块链软件公司ConsenSys与雄安新区周一签署的谅解备忘录，ConsenSys将向雄安新区就如何使用区块链技术建设智能城市、提供软件解决方案等方面提供建议 。[2018/7/23]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。