[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
相关快讯：
动态 | 慈善组织乐施会与Sempo、ConsenSys合作 利用稳定币DAI援助灾民:据CoinDesk 6月21日消息，国际慈善组织乐施会与澳大利亚科技公司Sempo、以太坊创业公司ConsenSys合作进行一项南太平洋国家瓦努阿图的试点项目，该试点项目利用稳定币DAI援助当地灾民。[2019/6/22]
现场 | Blucon CEO金裕径：基于区块链的储值卡可以通过已有系统实现支付的全球化:金色财经现场报道，1月8日，2019首届海南GFIS国际金融科技创新峰会在海南海口盛大开幕，Blucon首席执行官金裕径进行以《韩国支付市场的区块链应用实践》为题的演讲，她指出：智能卡需要通过国家机构进行发行，但基于区块链技术的储值卡却可以通过已有全球系统实现支付的全球化。[2019/1/8]
动态 | ConsenSys再次裁员 被裁员工占比达60%:据virtualmoney消息，以太坊风险投资公司ConsenSys正在分拆或削减其投资组合中一些创业公司的资金。根据The Verge周四发布的一份报告，大约60％的ConsenSys员工（1200名）将离开。[2018/12/23]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。