链资讯 链资讯
Ctrl+D收藏链资讯

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

作者:

区块链

时间:2021/6/9 23:24:53

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

ConsenSys创始人:加密货币是乌克兰对抗俄罗斯的有力武器:金色财经报道,ConsenSys创始人Joseph Lubin表示,事实证明,加密货币是乌克兰对抗俄罗斯的有力武器,东欧危机已成为加密货币稳步融入全球市场的“不可逆转点”。到目前为止,至少有6000万美元的加密货币流入了乌克兰。Lubin表示:“这是我们行业的又一个时刻。它代表着跨越鸿沟,进入主流。现在我们要讨论国家安全问题。这将是非常深远的,对我们的行业来说是一个不可逆转的转折点,因为很明显,我们的技术非常强大,不可阻挡。”Lubin预测,加密货币将“被许多不同的民族国家所使用,而不管其他民族国家说什么或做什么,这意味着每个民族国家都必须制定政策,变得精明,并开始使用这些工具。”(Decrypt)[2022/3/22 14:09:46]

DOGE投资者Glauber Contessoto恢复“狗狗币百万富翁”的身份:随着DOGE飙涨27%,33岁的DOGE投资者Glauber Contessoto在推特宣布自己重获“狗狗币百万富翁”的身份。8月8日,DOGE触及0.28美元,为6月25日以来的最高水平。DOGE现在比7月20日触及的近期底部上涨79.5%。然而,尽管Contessoto的财富恢复至百万美元,但谈论DOGE的回归还为时过早。Dogecoin仍相比0.73美元的历史高点下跌64%。与此同时,狗狗币持有者的“守护神”马斯克已经好几个星期没有发布DOGE相关推文。

据此前7月份报道,DOGE投资者和YouTuber Glauber Contessoto曾在网络和媒体上将自己宣传为“狗狗币百万富翁”,5月份DOGE达到0.74美元的历史峰值之后,Glauber Contessoto持有的加密货币价值超过200万美元。当DOGE从5月份的历史高点开始下跌时,他曾在一天内损失17万美元。Contessoto表示继续逢低买入狗狗币,并认为DOGE现在是他的储蓄账户。Contessoto辞去了日常工作,开始专注于自己作为“狗狗币百万富翁”的社交媒体形象,通过在他的网站上销售商品和在投资Doge中获得报酬来推广其他加密项目。(U.Today)[2021/8/8 1:42:04]

ConsenSys:Uniswap发布V2表现出团队对吸引更大流动性的渴望:全球性区块链技术公司ConsenSys发推表示:随着Uniswap的协议V2最新发布,Uniswap团队渴望为DeFi生态系统吸引更大的流动性。他们计划继续使用infura的界面为用户提供无损、稳定的体验。[2020/8/6]

相关资讯
金色财经挖矿数据播报:BTC今日全网算力下跌5.33%

金色财经报道,据蜘蛛矿池数据显示: BTC全网算力144.539 EH/s,挖矿难度21.05T,目前区块高度687001,理论收益0.00000620/T/天。 ETH全网算力603.775TH...

区块链:2021/6/10 23:26:29
美联储或在无意间持有比特币垃圾债

在去年疫情冻结了信贷市场之后,美联储购买了债券交易所交易基金(ETF),以推动市场再次运转。截至3月后期,美联储已成为SPDR Bloomberg Barclays High Yield Bond ETF(JNK)的...

区块链:2021/6/10 23:26:01
萨尔瓦多贸易和投资部长:比特币操作将与美元汇率挂钩

萨尔瓦多贸易和投资部长表示,在萨尔瓦多,比特币的交易将是自由决定的。美元将继续是萨尔瓦多的法定货币,比特币操作将与美元汇率挂钩。(金十) 萨尔瓦多正在为其比特币城建设机场:6月23日消息,萨尔瓦多正在为其比特...

区块链:2021/6/8 23:19:45
美国豪华顶层公寓以破纪录的 2250 万美元加密销售

一位匿名买家在佛罗里达州迈阿密海滩购买了价值2250万美元的顶层公寓,打破了有史以来以加密货币支付的最昂贵房地产购买的世界纪录。根据福布斯周一晚间的一份报告,此次购买于 5 月 27 日进行,售价也代表了迈阿密海滩房...

区块链:2021/6/8 23:20:46
BTC突破36300美元关口 日内涨幅为14.51%

火币全球站数据显示,BTC短线上涨,突破36300美元关口,现报36304.52美元,日内涨幅达到14.51%,行情波动较大,请做好风险控制。 BTC突破33500美元关口 日内涨幅为0.02%:火币全球站数...

区块链:2021/6/9 23:25:22
区块链初创公司peaq融资250万欧元,Scherzer & Co. AG等领投

德国区块链初创公司peaq融资250万欧元,由Scherzer & Co. AG、Werner Geissler(宝洁公司前副主席)以及Meteoric VC领投。这些资金将用于扩大peaq的解决方案规模,以及建立销...

区块链:2021/6/9 23:24:38
比特币及以太坊交易费用在过去几周分别下降93%和95%

根据Bitinfocharts的数据,比特币的平均交易费在4月24日达到62.77美元,这一数字超过了自 2017年12月以来创下的55美元的历史新高,到上周日,费用已降至 4.38 美元,减少93%。以太坊5月12...

区块链:2021/6/9 23:25:15
FS即将上线多链去中心化交易平台YouSwap

据官方消息,去中心化资产管理平台FS即将上线多链去中心化交易平台YouSwap。具体上线时间请关注youswap官方推特。 FS是基于火币生态链(HECO)的去中心化资产管理平台。未来FS将覆盖更多的底层链...

区块链:2021/6/8 23:21:34
人民日报海外版:区块链发展迎来新机遇

6月9日,人民日报海外版刊文“区块链发展迎来新机遇”。文章表示,近日发布的《关于加快推动区块链技术应用和产业发展的指导意见》明确,到2025年,区块链产业综合实力达到世界先进水平,产业初具规模。区块链应用渗透到经济社...

区块链:2021/6/9 23:22:58
算法稳定币今日平均涨幅为3.66%

金色财经行情显示,算法稳定币今日平均涨幅为3.66%。8个币种中8个上涨,0个下跌,其中领涨币种为:MITH(+9.41%)、ONS(+7.01%)、BAC(+6.39%)。领跌币种为:FRAX(-1.29%)。 ...

区块链:2021/6/9 23:24:32
青海省工业和信息化厅:全面关停虚拟货币“挖矿”项目

青海省工业和信息化厅发布关于全面关停虚拟货币“挖矿”项目的通知,要求各地区对有关虚拟货币“挖矿”行为开展清理整顿。 做好以下工作:一、严禁各地区立项批复各类虚拟货币“挖矿”项目,对现有的各类虚拟货币“挖矿”...

区块链:2021/6/9 23:25:31
区块链美元基金42DAO成立,已募集首笔近1000万美元资金

据媒体投资界报道,设立在开曼群岛的区块链美元基金42DAO正式成立,并完成第一笔近1000美元资金募集,目前已投组合包括BlackOcean、Dfinity、PocketNetwork、PlatON、DoraFact...

区块链:2021/6/8 23:20:26