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

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

Author:

Block

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

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

Celer cBridge和IM已支持ConsenSys zkEVM測試網:金色財經報道,Celer Network發推稱,cBridge和Celer鏈間消息傳遞技術 ( Celer IM ) 現已支持ConsenSys zkEVM測試網,BNB、BUSD、MATIC和AVAX代幣的無縫跨鏈橋已上線。[2023/3/8 12:49:18]

Convex Finance鎖倉量突破200億美元,創歷史新高:金色財經報道,據DeFi Llama數據顯示,收益聚合器項目Convex Finance總鎖倉量突破200億美元,創歷史新高,現為201.2億美元,位居所有DeFi應用第二名。[2022/1/2 8:19:27]

CoinBene滿幣網啟動CONI第四十九期銷毀:據CoinBene滿幣網官方公告,根據原定計劃,于2020年4月10日(GMT+8),CoinBene滿幣網啟動第四十九次CONI銷毀行動。 CONI本期銷毀:3653009;銷毀后流通量:287252303;累積銷毀量:124247697,CoinBene滿幣網每周將交易手續費(不含API)的60%用于市場回購銷毀平臺幣CONI。[2020/4/10]

ETC跌破55美元關口 日內跌幅為13.08%

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

Block Chain:2021/6/8 23:20:29
隱私項目Tor獲ZOMG贈款用于編碼語言升級

Zcash技術咨詢委員會ZOMG(Zcash Open Major Grants)今日宣布,他們將授予隱私項目Tor 67萬美元的贈款,以繼續開發Tor客戶端的Rust編碼語言Arti.

Block Chain:2021/6/8 23:22:03
中幣(ZB)將于6月10日上線LAT

根據官方公告,中幣(ZB)于2021年6月10日上線LAT(PlatON),并在14:00開放LAT充值。6月11日14:00開放LAT/USDT和LAT/QC交易。同時,中幣將于6月10日14:00開始LAT新幣上...

Block Chain:2021/6/10 23:26:49
Bithumb交易所宣布終止Trader App服務

6月8日消息,韓國Bithumb交易所官方宣布,將于7月7日起終止tTrader App服務,用戶在Trader App上使用過的所有功能可轉移至Bissom App、PC/ Mobile Web上使用.

Block Chain:2021/6/8 23:20:57
媒體:比特幣2021年的年內漲幅已經開始落后于主流資產

由于在收復5月失地方面舉步維艱,比特幣年內迄今的投資回報現已開始落到傳統資產之后。比特幣新近的下跌已使其年內迄今漲幅只剩下14%,不及大宗商品,也低于歐洲和亞洲的一些股票指數.

Block Chain:2021/6/8 23:21:01
比特幣基金上周資金凈流出1.41億美元

金色財經報道,根據數字資產管理公司CoinShares的報告,在截至6月4日的7天內,投資者從比特幣基金中凈贖回了1.41億美元,這是有記錄以來的最高每周總額。該金額約占今年早些時候記錄的凈流入量的8.3%.

Block Chain:2021/6/8 23:19:25
中幣(ZB)將于今日上線AMP和MLN

根據官方公告,中幣(ZB)于2021年6月9日上線AMP(Amp)以及MLN(Enzyme),并在14:00開放AMP和MLN充值。6月9日18:00開放AMP/USDT和AMP/QC交易,20:00開放MLN/US...

Block Chain:2021/6/9 23:24:01
Coinbase股票被投資銀行Raymond James評為“賣出”評級

金色財經報道,Coinbase股票(COIN)被投資銀行Raymond James評為“賣出”評級。在周三早上給客戶的一份報告中,分析師寫道,缺乏進入壁壘使得競爭不可避免,交易所的收入將因此減少.

Block Chain:2021/6/10 23:26:05
HT突破14美元關口 日內漲幅為5.3%

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

Block Chain:2021/6/9 23:24:00
流直播協議Livepeer(LPT)上周共轉碼超過1,000,000分鐘的視頻

官方消息,流直播協議Livepeer(LPT)上周共轉碼超過1,000,000分鐘的視頻.

Block Chain:2021/6/8 23:21:29
Square創建500萬美元的比特幣捐贈基金以促進加密包容性

金色財經報道,支付巨頭Square周三宣布,將通過新創建的“比特幣捐贈基金”提供500萬美元的贈款,將在未來幾年內每季度滾動分配500萬美元.

Block Chain:2021/6/10 23:25:44
THETA跌破8.5美元關口 日內跌幅為5.15%

歐易OKEx數據顯示,THETA短線下跌,跌破8.5美元關口,現報8.4945美元,日內跌幅達到5.15%,行情波動較大,請做好風險控制.

Block Chain:2021/6/9 23:23:34
ads