Rune Christensen 是 MakerDAO 聯合創始人兼首席執行官。由 MakerDAO 發布的 DAI,是世界上首個在以太坊區塊鏈上使用的穩定幣,旨在透過應對市場變化的智能合約系統去除價格波動。他自 2015 年以來,一直致力于建立分布式自治組織的愿景,以及穩定數字貨幣的經濟基礎。此前,他曾參與創辦 Try China 國際招聘公司。
Drunken Ape項目Discord服務器遭到攻擊:金色財經報道,據CertiK監測,Drunken Ape項目Discord服務器遭到攻擊。請社區用戶在服務器修復之前不要點擊任何鏈接。[2023/2/8 11:54:19]
公告 | Algorand官方:Runtime Verification正式驗證Algorand區塊鏈永不分叉:Algorand官方博客發文稱:為了更好地保證Algorand協議,并使未來的協議設計和驗證更容易,Algorand選擇通過機器驗證來增強數學上的理論證明。為此,Algorand聘請了具有深入驗證能力的專業公司通過運行環境驗證來驗證Algorand共識協議的正確性。我們很高興地報告了這項工作的一個重要里程碑:使用Coq定理證明,團隊已經開發了一個精確的協議數學模型,并正式驗證了其安全保證(區塊鏈從不分叉)。在今年早些時候,Algorand用Runtime Verification(運行時驗證)來驗證其共識協議。Algorand宣布已經完成該工作的第一部分,即協議建模和證明其安全定理。具體來說,我們使用了一個證明助手(Coq)來系統地確定協議在數學上保證不會分叉的假設。[2019/6/26]
聲音 | TK Arun:印度不應該取締加密貨幣,需要保持開放態度:印度《經濟時報》編輯TK Arun最近發表文章《為什么印度不應該取締加密貨幣》。Arun聲稱,印度央行提議徹底禁止虛擬貨幣,甚至推出一項法律將持有任何形式加密貨幣的公民關進監獄,這是“目光短淺的”,\"印度需要對繞過美元使用加密貨幣進行國際支付的可能性持開放態度。”[2019/6/25]
Tags:專家
如同世界上大多數國家一樣,捷克的貨幣也同樣是由紙幣和硬幣組成的,盡管捷克共和國是歐盟的正式成員國,但是捷克并沒有加入歐元區,很多官方機構也很少接收歐元.
1900/1/1 0:00:00我看到一副這樣的字: 擇一業謀食養命,等一運扭轉乾坤;富在數術,不在勞身;利在局勢,不在力耕。 對這副字解讀一下: Web3權益聚合平臺VIP3完成200萬美元種子輪融資:據官方消息,Web3首.
1900/1/1 0:00:00XGAME與它的“虛擬世界”生態5月31日,TOKEN-XGAME將正式登陸COINEGG交易所.
1900/1/1 0:00:00尊敬的用戶: ZZEX交易所將於2019年8月22日11:00上線GamblingChain,支持GAMC/USDT交易對.
1900/1/1 0:00:00金色相對論之開啟實物合約新篇章,明星Bakkt能否成牛市之鑰,于9月9日10:00在金色財經社群進行直播.
1900/1/1 0:00:00一句話簡介:全球首個游戲與PoS雙挖礦落地項目英文全稱:?Game?Union?Utility?Token 英文簡稱:?GUUT 中文名稱:古特幣 Fenix Games將與Immutable合.
1900/1/1 0:00:00本周鏈游資訊導讀: PeckShield:競猜類游戲BitDice遭黑客假EOS攻擊今天早晨06:40-06:50之間.
1900/1/1 0:00:001、老鷹觀點 老鷹今天一上WB就看見了aelf鋪天蓋地的“跑路”信息,據相關媒體報道,跨鏈項目aelf已經解散了所有社群,原aelf社區的成員全被移出所有社群.
1900/1/1 0:00:00今日上午BTC走勢上攻9700點,最高沖向9900點,隨后上方空頭壓力釋放,走入回調段。BTC走勢有形成5連陽的趨勢,但上方空頭壓力下移,價格正向布林帶中軌靠近,若后續走勢未能在該標上方企穩,則.
1900/1/1 0:00:00