加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > 區塊鏈 > Info

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

Author:

Block

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

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

荷蘭印刷公司Royal Joh.Enschedé與PROxID和Concordium達成合作:金色財經報道,荷蘭印刷公司Royal Joh.Enschedé與PROxID和Concordium鏈合作,將安全印刷產品、NFTs和元宇宙連接起來。

荷蘭軟件開發商PROxID正在使用瑞士協和基金會(Concordium)的集成ID框架,在第1層區塊鏈上構建一個NFT平臺。Concordium公司基于區塊鏈的ID框架保證了最大程度的隱私,同時允許交易被監控,并確保每一筆交易都能立即、高效、低成本地發生,并在節能軟件中進行。(prnewswire)[2022/9/8 13:17:07]

NFT游戲Continuum World完成210萬美元融資:9 月 30 日,NFT 游戲 Continuum World 完成 210 萬美元融資,本輪融資由 Genblock、Shima Capital、X21 Digital、Basics Capital、Peech Capital、Pluto Ventures、VYSYN Capital、AU21 Capital、ZBS Capital、Metavest、Onchain Capital、Alves Ventures、OneMax Capital、Darkpool Ventures、Exnetwork 參投。[2021/9/30 17:17:09]

動態 | O3 Labs宣布將Coinbase Connect集成到其桌面錢包的v2.4.0中:據neonewstoday報道,O3 Labs宣布將Coinbase Connect集成到其桌面錢包的v2.4.0中。O3用戶將能夠與他們的Coinbase帳戶進行交互,從他們的銀行帳戶購買受支持的加密貨幣。[2019/6/12]

BCH突破600美元關口 日內漲幅為7.18%

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

Block Chain:2021/6/9 23:25:26
Qtum聯合創始人:Qtum將在兩周內上線NFT支持

6月8日,Qtum聯合創始人Patrick Dai表示,Qtum將在兩周內上線NFT支持,每個人都可以在Qtum上發布NFT.

Block Chain:2021/6/8 23:20:43
國際清算銀行報告:中間或混合CBDC架構可滿足需求

國際清算銀行(BIS)的一份工作報告發現,中間或混合央行數字貨幣(CBDC)顯示出了希望。然而,基于目前流行的加密貨幣系統的開發并不符合需求.

Block Chain:2021/6/9 23:25:26
數據:比特幣證券產品總市值達到51.47億美元

據歐科云鏈OKLink數據顯示,當前比特幣證券產品總市值51.47億美元,市值排名前三的分別是CoinShares Bitcoin Tracker Euro 9.61億美元.

Block Chain:2021/6/9 23:23:32
證券日報:監管整頓潮起 幣圈礦圈強監管時代來臨

6月8日,證券日報刊文“監管整頓潮起 幣圈礦圈強監管時代來臨”。文章表示,5月中旬以來,為防范金融風險,監管部門的政策文件接連發布,直指加密數字幣市場亂象,進一步加強對加密數字幣的監管和規范.

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

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

Block Chain:2021/6/8 23:19:39
HECO Grant寬限期結束 獎金現已發放

6月8日,由HECO和DoraHacks聯合發起的HECO Grant黑客馬拉松宣布為期5天的寬限期正式結束.

Block Chain:2021/6/9 23:23:42
數據:BCD拉升 日內漲幅51.10%

據歐易OKEx平臺數據顯示,今日行情普漲,BTC今日大幅拉升,日內漲幅8.72%,現震蕩于34000USDT; 據歐易OKEx行情顯示,歐易OKEx日內漲幅榜中.

Block Chain:2021/6/9 23:24:23
EMOGI Network投入2000萬美元成立REVIVAL NFT基金

據官方消息,EMOGI Network投資2000萬美元成立REVIVAL NFT基金,并推出“美第奇”NFT扶持計劃.

Block Chain:2021/6/9 23:24:16
金融時報:美國金融監管官員反對嚴格的加密貨幣管控

6月9日,美國一位金融監管官員海絲特?皮爾斯(HesterPeirce)公開表示,反對嚴格的加密貨幣管控,并警告這樣做可能會打擊交易積極性.

Block Chain:2021/6/9 23:24:04
KuCoin(庫幣)上線SFUND及XAVA,現已開放充值

據KuCoin(庫幣)官方公告,KuCoin宣布上線Seedify.fund (SFUND)項目及Avalaunch (XAVA) 項目并支持交易對SFUND/USDT、XAVA/USDT.

Block Chain:2021/6/9 23:24:57
YouSwap將于6月8日18:00新增MOZ/USDT 流動性挖礦

據官方最新消息,YouSwap將于6月8日18:00(UTC+8)于BSC鏈開拓區新增開啟MOZ/USDT流動性挖礦???,用戶可以通過質押以上幣對的LP來挖礦YOU.

Block Chain:2021/6/8 23:21:02
ads