[Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全]金色财经报道，6月9日，Conflux研究总监杨光做客金色财经举办的“Web3.0-从信息交互到万物互联还要走多久？”为主题的金色沙龙第63期活动。杨光表示如果将区块链网络作为Web3.0基础设施，那么跨链协议是必备的，信息和资产需要在不同的区块链网络之间流动。其实跨链分很多个层次，信息跨链、资产跨链、智能合约的跨链互操作等等，难度是依次递增的。与之配套的还有各种数据格式、接口、通讯协议等等，甚至是统一的智能合约语言和编程范式。好的编程范式可以让智能合约更容易被形式化验证，从而更安全；也可以让合约在执行时候更容易实现并行化，优化性能和成本。
SumSwap郑重提示：市场发现假冒SumSwap项目网站，请用户务必认准官方指定网址:SumSwap官方消息，经社区反馈并被官方证实：当前市场上出现不法分子假冒SumSwap平台网站，并用其诱导用户。为了防止广大SumSwap用户受，请用户务必认准官方指定网址。
?SumSwap指定官网见原文链接；DAPP应用网址：app.sumswap.org （仅限在主流去中心化钱包，或安装Metamask插件的浏览器打开）；SumSwap平台通证SUM唯一合约地址：0x043c308bb8a5ae96d0093444be7f56459f1340b1。[2021/4/11 20:07:55]
社区大使兀：SumSwap整合各类优秀的DeFi数学算法，打造开创性的去中心化金融产品:据官方消息，4月2日消息，SumSwap中国社区大使兀做客CoinVoice直播间分享到：SumSwap通过以太坊智能合约打造，可应用于ETH各类ERC20数字资产之间的相互兑换交易。SumSwap完全部署在链上，只要安装了去中心化钱包软件都可以使用这个应用。SumSwap是一个带着数学基因出生的产品，秉持着数学即规律、代码即法律的基本原则。除了使用最基本的AMM流动性做市，及X*Y=K交易模型，SumSwap还设计了具备极强传播力的通证机制。
SumSwap开始会以去中心化交易所为基础，随着业务的不断壮大会引入去中心化借贷、去中心化合成资产，去中心化稳定币等各类热门DeFi功能，继而打造出一款集优秀数学算法于一身的DeFi一站式应用。[2021/4/2 19:40:49]
动态 | 波场TRON将在2月29日韩国首尔举办niTROn SUMMIT 2020全球行业峰会:据官方最新消息，波场TRON创始人孙宇晨刚刚发布了niTROn SUMMIT 2020 邀请信，波场TRON将在2020年2月29日韩国首尔正式举办为期两天的niTROn SUMMIT 2020全球行业峰会。niTROn SUMMIT能够为区块链从业者、项目方，以及各行各业想要了解区块链技术的意见领袖们提供一个交流平台，打破行业壁垒，共同探讨区块链技术性解决方案和未来发展趋势，消除行业对于区块链的误解与偏见。同时，波场TRON希望将用自身经验和技术，助力传统行业进行区块链转型，发现并扶持区块链行业优秀项目。更多详情请见原文链接。[2020/1/10]
郑重声明： Conflux研究总监杨光：好的编程范式可以让智能合约更容易被形式化验证，从而更安全版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。