買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > 區塊鏈 > Info

Conflux研究總監楊光:好的編程范式可以讓智能合約更容易被形式化驗證,從而更安全

Author:

Block

Time:2021/6/9 23:24:53

金色財經報道,6月9日,Conflux研究總監楊光做客金色財經舉辦的“Web3.0-從信息交互到萬物互聯還要走多久?”為主題的金色沙龍第63期活動。楊光表示如果將區塊鏈網絡作為Web3.0基礎設施,那么跨鏈協議是必備的,信息和資產需要在不同的區塊鏈網絡之間流動。其實跨鏈分很多個層次,信息跨鏈、資產跨鏈、智能合約的跨鏈互操作等等,難度是依次遞增的。與之配套的還有各種數據格式、接口、通訊協議等等,甚至是統一的智能合約語言和編程范式。好的編程范式可以讓智能合約更容易被形式化驗證,從而更安全;也可以讓合約在執行時候更容易實現并行化,優化性能和成本。

Conflux將與Accseal合作開發其Layer 2生態系統:4月20日消息,Conflux 宣布與零知識證明 (ZKP) 硬件加速解決方案 Accseal 合作,推出新的零知識 (ZK) 戰略,開發自己的 Layer 2 生態系統。此外,Conflux 計劃提供 ZK 增強型跨鏈橋接解決方案,以確保 Conflux 與其 Layer 2 子鏈之間的互操作。[2023/4/20 14:16:36]

Convex鎖倉量突破210億美元,創歷史新高:1月4日,據DefiLlama數據顯示,CRV質押和流動性挖礦一站式平臺ConvexFinance總鎖倉量達210.1億美元,創歷史新高。目前,DeFi協議中鎖倉量位居前5名的協議包括:Curve(242.7億美元)、ConvexFinance(210.1億美元)、MakerDAO(179.4億美元)、Aave(144億美元)、Lido(123.3億美元)。[2022/1/4 8:24:47]

CoinEx上線Conflux(CFX):CoinEx公告消息,2020年11月9日(UTC+8)CoinEx正式開放CFX充值并于明日上線CFX/BTC,CFX/USDT交易對。為慶祝CFX上線,CoinEx將開啟充值交易瓜分活動,11月9日20:00-11月16日08:00活動期間,充值CFX即可獲得USDT獎勵。詳情見官網公告。

Conflux網絡致力于利用自主研發的樹圖高性能共識算法,搭建一個無需準入并擁有極高包容性的平臺,驅動DApps、Web3.0及開放式金融在Conflux網絡中蓬勃發展。[2020/11/9 12:06:50]

Invesco計劃推出兩只以加密貨幣為重點的ETF

金色財經報道,盡管美國監管機構一再推遲批準比特幣ETF,Invesco正計劃推出一對以加密貨幣為重點的交易所交易基金.

Block Chain:2021/6/10 23:26:03
北美交易所Kraken將支持Bifrost Kusama平行鏈插槽競拍

Bifrost Finance與北美知名加密貨幣交易所Kraken達成合作。Kraken將支持Bifrost Kusama平行鏈 Crowdloan——使Bifrost能夠吸引全球范圍更廣的區塊鏈貢獻者.

Block Chain:2021/6/9 23:25:09
銀保監會主席郭樹清:通貨膨脹如期而至,比所預料幅度要高一些

中國銀保監會主席郭樹清表示:通貨膨脹如期而至,比所預料幅度要高一些.

Block Chain:2021/6/10 23:26:28
Volt Equity申請推出最多將25%資金投資于MicroStrategy的ETF

金色財經報道,新興ETF發行商Volt Equity周一向美國證券交易委員會(SEC)申請推出一種ETF,該ETF可以將其“最多25%的基金資產投資于MicroStrategy”.

Block Chain:2021/6/8 23:19:39
加密交易平臺OKcoin已經集成Polygon PoS主網

官方消息,加密交易平臺OKcoin已經集成Polygon PoS主網,以降低提幣gas費。目前用戶可以將包括ETH、USDT、USDC、DAI在內的11種資產直接從OKcoin提幣到Polygon.

Block Chain:2021/6/8 23:22:21
ETH突破2500美元關口 日內漲幅為5.28%

火幣全球站數據顯示,ETH短線上漲,突破2500美元關口,現報2500.54美元,日內漲幅達到5.28%,行情波動較大,請做好風險控制.

Block Chain:2021/6/9 23:23:01
KingData監控:昨日Sushiswap日交易量較前日上漲94.01%

據KingData數據顯示,昨日 Sushiswap(SUSHI) 日交易量較前日上漲 94.01%,現報357.09萬美元。更多數據或KingData下載見原文鏈接.

Block Chain:2021/6/8 23:20:00
XTZ跌破3.5美元關口 日內跌幅為10.98%

火幣全球站數據顯示,XTZ短線下跌,跌破3.5美元關口,現報3.4992美元,日內跌幅達到10.98%,行情波動較大,請做好風險控制.

Block Chain:2021/6/8 23:20:03
預計2021年WTI原油價格為61.85美元/桶

據EIA短期能源展望報告,2021年全球原油需求增速預期為541萬桶/日,此前預計為542萬桶/日.

Block Chain:2021/6/9 23:22:43
美元指數DXY跌破90,日內跌0.16%

美元指數DXY跌破90,日內跌0.16%。美元指數DXY日內漲超0.50%,現報92.93:行情顯示,美元指數DXY日內漲超0.50%,現報92.93.

Block Chain:2021/6/8 23:19:13
新加坡開放式金融服務平臺 Cake DeFi 推出質押服務

6月8日消息,新加坡 Cake DeFi 公司宣布推出中文官網和質押服務,中文社區的用戶可通過 Cake DeFi 中文平臺使用權益質押服務等功能.

Block Chain:2021/6/8 23:22:02
全球最大肉類生產商JBS支付了1100萬美元比特幣解決勒索軟件的網絡攻擊

據道瓊斯報道,全球最大肉類生產商JBS美國業務首席執行官AndreNogueira周三表示,該公司已向造成其業務中斷的黑客支付了1100萬美元比特幣的贖金.

Block Chain:2021/6/10 23:26:20
ads