[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
ConsenSys：以太坊从PoW转变为PoS共识，将减少99.9%碳足迹:11月10日消息，ConsenSys在发布的博文《2021年10月Staking状态》中指出，以太坊共识机制从PoW转变为PoS将使得区块产出碳足迹减少99.9%。[2021/11/10 21:41:06]
ConsenSys创始人：以太坊联盟已对生态系统产生影响；ETH2升级有利于用户和开发者:2017年以太坊联盟承诺将推动以太坊区块链技术作为开放标准的使用，以增强所有企业的能力。在最近的Ethereal 峰会上，以太坊联合创始人、ConsenSys创始人Joseph Lubin表示该联盟已经对生态系统产生了影响，不负众望。“从外部很难注意到这一点。但从内部来看，有大量的高价值活动。联盟的主要任务是找出规格。在它们周围建造什么，这对于使ETH变得如此容易访问是很有价值的。”在ETH2升级中，从PoW到PoS的转变是一个非常必要的步骤。 Lubin表示，最重要的是，这次升级不仅对用户有利，对开发者也有利。他补充道，“对开发人员来说，这就像是操作系统升级，是向更多功能的有机过渡。我们将解决问题并推出新功能。”针对DeFi领域的快速发展，他表示，“所有这一切将导致世界上更精细的治理，我们将能够在不同项目中创建自己的代币。我认为这将是一个赋权的未来，人们和小型组织将有更经济的代理机构。”（AMBCrypto）[2020/5/10]
动态 | 前纳斯达克欧洲副主席加入Concordium:据Coindesk报道，去年秋天作为纳斯达克欧洲副主席退休的Hans-Ole Jochumsen加入了Concordium基金会的顾问委员会。Jochumsen在纳斯达克工作期间就已对区块链技术感兴趣，并参与了与区块链相关的多项活动和项目。例如，为纳斯达克爱沙尼亚分公司的股东提供基于区块链的电子投票。[2019/1/10]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。