Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全

金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。

Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全本文于2021/6/9 18:56:26被区块链网收录,文章来源于网络,并不代表区块链网观点,如果你喜欢Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全,请分享给你的朋友们,区块链网精选网络区块链资讯、钱包、交易平台、项目等文章。

相关快讯：

Conflux首款NFT+DEFI游戏ConDragon NFT首发MoonSwap两小时内售罄:12月16日12点，Conflux首款DeFi+NFT+RPG游戏 ConDragon NFT开启盲盒预售活动，NFT售卖首发上架Conflux生态平台MoonSwap，并同步开启质押恐龙NFT进行挖矿。

此次ConDragon首发预售第一期共1857只恐龙NFT。在2小时内完成售罄。并完成462只恐龙NFT质押，其余进入MoonSwap NFT资产交易平台挂单交易。盲盒售卖后50%的金额全部通过合约自动兑换成cMOON注入奖池，总奖池达到46900.48 cMOON。

Conflux首款NFT+DEFI游戏ConDragon NFT首发MoonSwap两小时内售罄本文于2020/12/17 11:32:56被区块链网收录,文章来源于网络,并不代表区块链网观点,如果你喜欢Conflux首款NFT+DEFI游戏ConDragon NFT首发MoonSwap两小时内售罄,请分享给你的朋友们,区块链网精选网络区块链资讯、钱包、交易平台、项目等文章。[2020/12/17 11:32:57]

CoinBene满币启动CONI第五十六期销毁:据CoinBene满币官方公告，根据原定计划，于2020年11月10日（GMT+8），CoinBene满币网启动第五十六次CONI销毁行动。 CONI本期销毁：4,758,590；销毁后流通量：256,913,545；累积销毁量：154,586,455，CoinBene满币每月将交易手续费（不含API）的60%用于市场回购销毁平台币CONI。

CoinBene满币启动CONI第五十六期销毁本文于2020/12/3 14:04:19被区块链网收录,文章来源于网络,并不代表区块链网观点,如果你喜欢CoinBene满币启动CONI第五十六期销毁,请分享给你的朋友们,区块链网精选网络区块链资讯、钱包、交易平台、项目等文章。[2020/11/10 14:04:21]

币安已上线 ICON（ICX）现已开放交易 :币安已上线 ICON（ICX），并开通ICX/BNB、ICX/BTC、ICX/ETH交易市场，现已开放交易。[2017/12/18]

相关资讯