[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
网石游戏公司的《Second Country: Cross World》成为去年P2E游戏销冠:1月30日消息，根据Sensor Tower数据，在去年的P2E游戏中，网石游戏（Netmarble）公司的《Second Country: Cross World》在Google Play、Apple Store上全球总销量排名第一，娱美德（WeMade）公司的《Mir 4》排名第二。虽然这两家公司都来自韩国，但韩国国内目前法规禁止了P2E游戏的运营。[2023/1/30 11:35:32]
GoldConnect电信服务提供商接受加密货币支付:拉丁美洲和加勒比地区领先的电信批发供应商GoldConnect今天宣布，该公司现在通过他们与世界上最大的比特币和加密货币支付服务提供商BitPay的新LatamConnect平台接受加密货币支付。（prnewswire）[2021/6/15 23:38:42]
企业区块链Concordium融资1500万美元并完成MVP测试网:企业区块链Concordium已经完成MVP测试网，并完成代币私募销售，为进一步开发提供资金。该公司获得1500万美元的额外资金，用于公共和以隐私为中心的无需许可合规区块链。（Businesswire）[2021/3/9 18:29:02]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。