[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
Web3基础设施WalletConnect宣布完成1250万美元融资:金色财经报道，Web3基础设施WalletConnect宣布完成1250万美元融资，?1kx、Union Square Ventures、Shopify、ConsenSys和Gnosis领投。WalletConnect希望为非托管钱包提供社交功能，例如钱包到钱包的聊天和身份验证。?[2022/11/3 12:14:19]
SportsIcon完成550万美元种子轮融资，Dapper Labs等参投:11月25日消息，NFT体育平台SportsIcon宣布完成550万美元种子轮融资，投资者包括Dapper Labs、 AU21 Capital、Vinny Lingham、Elefund VC 、Fourth Revolution Capital、Vendetta Capital、FishDao、Techstars等。[2021/11/25 7:10:18]
声音 | 前Consensys金融科技负责人：Facebook将统治加密支付:前Consensys金融科技和监管科技负责人、比特币基金会法律顾问Juan Llanos表示，“当Libra在6月中旬被宣布…看完白皮书后想到的第一件事显然是支付用例已经是他们的了。”他在视频中探索了Libra可能会改变的事情。他表示，Facebook在未来几年里基本上会垄断支付市场，并警告初创企业要专注于兑换货币和创造钱包支持其他货币。[2019/7/18]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。