[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
BNB Beacon Chain预计将于7月19日进行张衡升级:7月12日消息，据官方消息，BNB Beacon Chain将于区块高度328,088,888（预计于7月19日）进行张衡升级，本次升级引入了BEP-255，将在信标链上实施链上资产对账，以提高安全性。[2023/7/12 10:51:09]
WalletConnect将V1.0关闭时间延后至6月28日:金色财经报道，Web3通信协议WalletConnect宣布将WalletConnect V1.0关闭时间延后至6月28日。WalletConnect于去年10月宣布WalletConnect V1.0将停用，并建议钱包和DApp迁移到WalletConnect V2.0。[2023/2/17 12:12:53]
动态 | CFTC起诉Control-Finance Ltd用超过2.28万比特币进行:据btcmanager消息，美国商品期货交易委员会(CFTC)已对英国的一家名为Control-Finance Ltd公司提起诉讼，监管机构指控Control-Finance嫌欺诈约1,000名客户，从客户那里招揽投资，为庞氏局提供资金，用超过2.28万比特币进行活动。[2019/6/19]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。