比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 區塊鏈 > Info

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

Author:

Block

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

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

機構數字資產管理平臺FalconX:不再使用Silvergate交易網絡SEN:11月18日消息,據加密市場研究員 Edwin Dorsey 在社交媒體披露,機構數字資產管理平臺 FalconX 已經向其客戶發送了一封電子郵件,其中表示:FalconX 的目標是成為最安全的交易對手方,目前正在密切監控市場條件,出于對客戶的謹慎關注,FalconX 將不再使用 Silvergate 的交易網絡 SEN,該決定已立即生效,直到另行通知。FalconX 是基于已披露的 Silvergate 公開信息做出這一決定,通過 SEN 網絡、或是通過電匯發送到 Silvergate 的任何資產都會被視為無效清算交易,FalconX 將接受使用 USDC 的清算交易,FalconX 的運營不受影響。

此前報道,今年 2 月份,MicroStrategy 子公司 MacroStrategy 與 Silvergate Bank 達成 2.05 億美元的比特幣抵押貸款協議,以用購買更多比特幣。[2022/11/18 13:20:28]

嘉信理財或將推出加密ETF“Schwab Crypto Economy ETF”:3月3日消息,基金巨頭嘉信理財(Charles Schwab)的資產管理部門正在尋求推出加密 ETF,擬議的加密 ETF 名為“Schwab Crypto Economy ETF”,主要向涉及數字資產的公司以及與區塊鏈技術相關的商業活動提供投資敞口,該 ETF 計劃將至少 80% 的凈資產投資于 Schwab Crypto Economy Index 中的股票,但他們沒有明確列出具體的股票名稱和代碼,也沒有透露費率信息,且不會直接投資數字資產。(Blockworks)[2022/3/3 13:33:55]

動態 | 區塊鏈技術公司LayerX與ICON達成合作:據Cointelegraph消息,區塊鏈技術公司LayerX宣布與ICON達成合作,兩者共同舉辦了以ICON獨立智能合約SCORE為對象的黑客馬拉松的活動,且LayerX將為ICON的DApps審查提供協助。CoinMarketCap行情顯示,ICON(ICX)全球均價現為0.20美元,24小時漲幅6.27%。[2018/12/18]

Gate于6月9日開啟投票上幣項目第146期Router Protocol

據官方公告,Gate已于6月09日(今日)12:00開啟投票上幣項目第146期Router Protocol(ROUTE),投票截止時間至2021年6月10日10:00.

Block Chain:2021/6/9 23:24:01
數據:美國接受XMR的商家數量增加至950家

Cryptwerk數據顯示,在不到3年的時間里,美國接受XMR的商家數量從41家增加到950家.

Block Chain:2021/6/7 23:18:50
美最大招聘網站CEO:就業低迷因正通過交易加密獲得收入,而不再想要找全職工作

美國5月非農部門新增就業崗位55.9萬個,這讓經濟學家們感到困惑。他們此前預計,隨著經濟復蘇,5月份就業崗位將增加67.5萬個,并給出了缺乏兒童看護到持續的新冠肺炎安全擔憂的解釋.

Block Chain:2021/6/9 23:23:44
BTC 24小時資金凈流入158.97億元人民幣

金色財經監測數據顯示,加密貨幣市場24小時資金凈流入排名前三分別為超1萬條支持灰度現貨BTC ETF的評論提交至美SEC:金色財經消息,Bitcoin Magazine發推稱,超過10000條評論已經提交給美國證券交...

Block Chain:2021/6/9 23:25:24
BiKi ETF專區QTUM5S/USDT今日最高漲幅81.79%

據BiKi平臺ETF專區行情顯示,截至今日10:45,ETF5S專區QTUM5S/USDT今日最高漲幅81.79%,現凈值0.0246; DOT5S今日最高漲幅75.04%.

Block Chain:2021/6/8 23:20:31
以太坊DeFi活動已放緩至2020年水平

金色財經報道,根據Glassnode Insights最近的一份報告,以美元計算的以太坊轉賬量在兩周內下降了60%。DeFi交易量和交易數量本月有所下降。交易費用自1月1日以來首次回到5美元以下。以太坊DeFi活動已...

Block Chain:2021/6/9 23:22:52
Victory Capital計劃進入加密市場

知名資管公司Victory Capital Holdings,Inc.今日宣布已與納斯達克及資管公司Hashdex達成協議一同進軍加密市場。 據悉,Victory Capital將成為納斯達克加密指數(NCI)的獨家...

Block Chain:2021/6/9 23:25:09
MicroStrategy發行16億美元的垃圾債券來購買比特幣

6月9日消息,MicroStrategy通過發行垃圾債券籌集了16億美元,是最初金額的四倍。本周早些時候,該公司宣布將通過私募發行價值4億美元的垃圾債券,以期將所得款項用于購買比特幣.

Block Chain:2021/6/9 23:25:10
HyperGraph 索引節點抵押正式上線

據官方消息,HyperGraph 索引節點抵押正式上線,目前10個節點總抵押量超過500萬HGT, 其中“HGT社區團隊”抵押量逼近280萬。隨著節點抵押的開放,業務往節點遷移與開放服務也正在準備,索引查詢服務收取H...

Block Chain:2021/6/9 23:24:13
BTC跌破35500美元

火幣全球站數據顯示,BTC短線下跌,跌破35500美元,現報35492.47美元,日內跌幅達到1.51%,行情波動較大,請做好風險控制.

Block Chain:2021/6/8 23:19:26
算法穩定幣今日平均漲幅為3.66%

金色財經行情顯示,算法穩定幣今日平均漲幅為3.66%。8個幣種中8個上漲,0個下跌,其中領漲幣種為:MITH(+9.41%)、ONS(+7.01%)、BAC(+6.39%)。領跌幣種為:FRAX(-1.29%).

Block Chain:2021/6/9 23:24:32
ads