比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > VERIFY > Info

VERIFY (00)

VERIFY
Don’t Test, Verify. | 哪個故事真正符合你對形式化驗證的想象?_數字資產

從誕生至今,形式化驗證方法一直與“小眾、冷門”等字眼掛鉤。有人說形式化驗證方法是一種“軍用級別”的防黑客手段,更是為這項技術增添了一絲神秘感.

1900/1/1 0:00:00
觀點:伊朗事件,你看到的是美國的流氓,還是美國的強大?_EFI

2020年1月3日,伊朗革命衛隊下屬“圣城旅”武裝指揮官卡西姆·蘇萊曼尼在伊拉克巴格達機場附近,遇美軍襲擊身亡.

1900/1/1 0:00:00
真像說的那么好?一文梳理主流DeFi項目的去中心化程度_DEFI

這篇文章通過對主要的DeFi借貸協議的介紹,梳理出了每個協議的去中心化程度。分析基于事實,雖然有一點點“自賣自夸”bZx的成分,但還是值得一讀的,是少有的從金融技術角度比較和剖析Defi項目開放.

1900/1/1 0:00:00
區塊鏈在總統選舉投票中的應用影響深遠:驗證身份、匿名投票_TOK

區塊鏈有著不可篡改、可驗證和透明化的特點,由于能降低合作各方的信任成本,區塊鏈技術可用于優化和提升現有系統的效率,比如區塊鏈在瀏覽器上的應用情況;也可能創新出更多的協作場景.

1900/1/1 0:00:00
干掉華爾街?這不是DeFi要做的事_EFI

過去一年,DeFi生態開始在以太坊上成型,圍繞穩定幣、借貸、衍生品、去中心化交易所等業務誕生了數量過千的應用.

1900/1/1 0:00:00
讓比特幣 DeFi 成為可能 有這些方法和用例_比特幣

一文讀懂去中心化金融在比特幣上的實現路徑。撰文:MohamedFouda,TokenDaily合伙人 編譯:詹涓 去中心化金融的說法在許多加密投資者和愛好者那里已經相當流行了.

1900/1/1 0:00:00
T網關于上線DUSD的公告_DUSD

尊敬的用戶:Tokencan交易平臺將于香港時間2019年8月21日15:00上線DUSD,同時開通BTC/DUSD、ETH/DUSD、USDT/DUSD交易對.

1900/1/1 0:00:00
美國SEC正與涉嫌ICO欺詐的Reginald Middleton及其公司進行和解談判_VER

10月9日消息,美國SEC正與涉嫌1500萬美元ICO欺詐的ReginaldMiddleton及其公司VeritaseumInc.及VeritaseumLLC進行和解談判.

1900/1/1 0:00:00
幣圈小馬哥:11.12BTC行情分析及操作思路_區塊鏈

據人民網報道,基于歷史視角,區塊鏈技術從誕生到現在發展不過十來年。2009年1月,區塊鏈由中本聰提出,大致上經歷了三個發展階段:虛擬貨幣階段、金融應用階段、拓展應用階段.

1900/1/1 0:00:00
ads