VIT:Vitalik：回顧區塊鏈這5年關鍵進展及新挑戰

原地址：https://vitalik.ca/general/2019/11/22/progress.html作者：VitalikButerin翻譯文章首發鏈接：http://1t.click/bnSg本文由CortexLabs運營團隊翻譯，并發布于Cortex論壇。歡迎注明轉載。「特別感謝JustinDrake和JingjingWang的反饋。」2014年，我發表了一篇文章和一個演講，列出了數學、計算機科學和經濟學中的一系列難題，我認為這些問題對于加密貨幣領域能夠走向成熟非常重要。在過去的五年里，很多事情都發生了變化。但是，在我們當時認為重要的問題上究竟取得了多少進展呢？我們在哪里取得了成功，又在哪里失敗了？在什么重要的方面我們的想法被改變了？在這篇文章中，我將逐一回顧2014年以來的16個問題，看看我們今天在每個問題上的進展情況。最后，還將包括我對2019年面臨的難題要作出的新選擇。這些問題可分為三類：(1)密碼學，如果它們根本是可解決的，那么預計可以用純數學技術解決；(2)共識理論，主要改進PoW和PoS；(3)經濟學，涉及創建給予不同參與者激勵的結構，并且經常涉及應用層而不是協議層。我們看到所有類別都取得了重大進展，盡管有些進展比另一些更大。密碼問題1、區塊鏈可擴展性當今加密貨幣領域面臨的最大問題之一是可擴展性問題。大規模區塊鏈的主要問題是信任：如果只有幾個實體能夠運行完整的節點，那么這些實體可以合謀并同意給自己提供大量額外的加密貨幣；并且，在沒有自己處理整個區塊鏈的情況下，其他用戶將無法自己看到一個區塊是非法的。問題：創建一種區塊鏈設計，保持類似于比特幣的安全保障，但網絡保持運行所需的最強節點的最高性能在交易數量上基本上是次線性的。現狀：巨大的理論進步，期待更多來自現實世界的評價。可擴展性是一個技術性問題，我們在理論上已經取得了巨大的進展。五年前，幾乎沒有人考慮分片；現在，分片設計司空見慣。除了以太坊2.0，我們還有OmniLedger，LazyLedger，Zilliqa，和似乎每個月都會出來的研究論文。在我自己看來，在這一點上的進一步進展是漸進的。從根本上說，我們已經有許多技術，允許驗證者組安全地就單個驗證者無法處理的更多數據達成共識，與此同時，這些技術還可以允許用戶間接驗證區塊的全部有效性和可用性，即使低于51％攻擊條件。這些可能是最重要的技術：隨機采樣，允許隨機選擇的一個驗證者組在統計意義上代替完整的驗證者集合；欺詐證明，允許了解錯誤的各個節點將錯誤的存在傳播給其他所有人；保管證明，允許驗證者概率性地證明他們分別下載并驗證了一些數據；數據可用性證明，允許用戶檢測其數據頭所在的區塊的數據主體何時不可用：鏈接。另請參閱較新的編碼Merkle樹建議。還有其他一些較小的進展，如通過收據的跨分片通信，以及“恒定因子”增強，如BLS簽名聚合。也就是說，完全分片的區塊鏈仍未在實時運行中出現(部分分片的Zilliqa最近開始運行)。在理論方面，主要是關于細節的爭議，以及與分片網絡的穩定性、開發人員體驗和降低集中化風險有關的挑戰；基本的技術可能性似乎不再有疑問。但是仍然存在的挑戰是不能通過僅僅考慮它們就能解決的挑戰；只有開發系統并看到以太坊2.0或類似的鏈運行就足夠了。2、時間戳問題：創建分布式激勵相容的系統，無論是在區塊鏈頂部還是其自身的區塊鏈上的覆蓋圖，無論它是在區塊鏈之上的重疊還是其區塊鏈本身，其保持當前時間的高精確度。所有合法用戶的時鐘都在一些“實時”時間的正態分布中，標準偏差為20秒，兩個節點之間的間隔不超過20秒。該解決方案允許依賴于“N個節點”的現有概念；實際上，這將通過權益證明或非Sybil令牌來實施(參見#9)。系統應持續地提供時間，該時間應在>99%參與的誠實節點的內部時鐘的120s內(如果可能，則更短)。外部系統可能最終依賴于此系統；因此，無論動機如何，它都應保持安全，保證攻擊者控制不超過25%的節點。現狀：有些進展實際上，以太坊在13秒的出塊時間和沒有特別先進的時間戳技術的情況下運行得很好；它使用一種簡單的技術，其客戶端不接受聲明的時間戳早于客戶端本地時間的塊。這就是說，這還沒有在嚴重的攻擊下進行測試。最近的網絡調整時間戳建議試圖通過允許客戶端在客戶端不在本地知道高準確度的當前時間的情況下確定關于時間的共識來改善現狀；但這尚未被測試。總的來說，時間戳并不是當前研究挑戰的重點。也許一旦PoS鏈作為真實的實時系統在線出現后，這種情況就會改變，我們將看到問題的重要性。3、任意計算證明問題：創建程序POC_PROVE(P,I)->(O,Q)和POC_VERIFY(P,O,Q)->{0,1}。其中POC_PROVE執行程序P，I是程序P的輸入，POC_PROVE返回程序P的執行結果O和一個基于計算的Q；POC_VERIFY對P，O，Q，驗證Q和O是否是由POC_PROVE使用P得到的合法運行結果。現狀：有重大的理論和實踐進展這基本上說的是要建立一個SNARK。我們已經做到了！SNARK現在已經被越來越多的人理解，甚至已經在多個區塊鏈中使用。SNARK非常有用，既可以作為一種隱私技術，也可以作為一種可擴展性技術。但是在效率方面仍然存在挑戰；設計算術友好的哈希函數是一個很大的挑戰，而高效的證明隨機內存訪問是另一個挑戰。此外，還存在一個尚未解決的問題，證明時間以O(nlogn)的增長是否是基本限制，或者是否有某種僅使用線性開銷的方法進行簡潔的證明，類似防彈證明。現有方案還存在風險。通常來說，問題出在細節而不是基礎上。4、代碼混淆主要追求的目標是創建混淆函數O，給定任意程序P，混淆函數能夠產生第二個程序O(P)=Q，其中P，Q在給定輸入的情況下返回相同結果，重要的是，Q沒有顯示程序P內部的任何信息。人們可以在程序Q中隱藏密碼、經過加密的私鑰或者新發明創造的算法本身。現狀：進展緩慢通常來說，這個問題想表達的是如何去尋找一種對程序加密的方法，使得加密后的程序在相同輸入下輸出相同的結果，但源程序內部的信息會被隱藏起來。代碼混淆的示例用例是一個包含私鑰的程序，其僅允許私鑰對某些消息進行簽名。代碼混淆的解決方案對于區塊鏈協議極其有用，其應用場景是非常微妙的。因為必須處理鏈上的混淆程序被拷貝復制并運行在另一個異于鏈本身的環境的可能性，除此之外還有很多其他情況。一個令我個人非常感興趣的應用場景是使用混淆后的程序來替代原先包含一些工作量證明的操作，從而能夠在抗沖突的小工具中刪除掉集中化的操作，使得嘗試采用運行不同的輸入多次運行來確定參與者私人行為的操作是非常昂貴的。不幸的是這是一個非常難的問題，解決這個問題的道路上還有許多工作要做。一方面是進行構造來減少我們不知是否實際不知道的數學對象的假設數量，另一方面則是嘗試去對需要的數學對象做實際的實現。然而，所有這些路徑都離創建可行和已知的安全性還很遙遠。參考鏈接https://eprint.iacr.org/2019/463.pdf了解該問題更一般的概述。5、基于哈希的密碼學問題：創建一個不依賴安全性假設而是基于哈希值隨機預言機屬性的簽名算法，其可保持和具有最佳尺寸和其他屬性的經典計算機等同的160位比特大小安全性。現狀：有些進展自2014年以來，這方面已取得了兩大進展。SPHINCS是一種“無狀態”簽名方案，它在此“難題”列表發布后不久就發布了，并提供大小約為41kB的純基于哈希的簽名方案。另外，STARK也被開發出來，可以基于它們創建相似大小的簽名。我五年前沒有想到哈希不僅可以用來簽名，還可以用于通用目的上的零知識證明。對于這種情況，我感到非常高興。這意味著，尺寸仍然是一個問題，并且持續不斷的進展正在繼續減小證明的規模，盡管看起來這進展也很緩慢。基于哈希的加密技術尚未解決的主要問題是聚合簽名，類似于BLS聚合做的那樣。眾所周知，我們可以對許多Lamport簽名進行STARK，但這效率低下，一個更有效率的方案將會很受歡迎。。共識理論問題6、抗ASIC的工作量證明解決方案是創建一種解決特殊問題的難度極高的算法，深層討論ASIC的請看這：https://blog.ethereum.org/2014/06/19/mining/現狀：是我們已經盡力去解決的問題在“困難問題”列表發布大約六個月之后，以太坊決定采用其抗ASIC的工作證明算法：Ethash。Ethash被稱為硬性內存算法。從理論上講，常規計算機中的隨機存取存儲器已經得到了很好的優化，因此很難針對特殊應用進行改進。Ethash旨在通過使內存訪問成為運行PoW計算的重要環節來實現抗ASIC。Ethash并不是第一個硬性內存要求的算法，但它確實增加了一項創新：它在兩層DAG上使用偽隨機查找，從而提供了兩種評估函數的方式。首先，如果一個人擁有整個DAG，則可以快速計算出它；這是滿足硬性內存要求的“快速路徑”。其次，如果只有DAG的頂層，則需要緩慢地計算。用于區塊驗證。Ethash在抗ASIC方面被證明非常成功。經過三年和數十億美元的區塊獎勵后，ASIC確實存在，但其功能和成本充其量最多比GPU高2-5倍。已經提出了ProgPoW作為替代方案，但是越來越多的共識認為，抗ASIC的算法將不可避免地具有有限的生命周期，并且ASIC抗性有缺點，因為它使51％的攻擊更加便宜。我相信可以創建提供中等級別的抗ASIC的PoW算法，但是這種抵抗力是有限的，并且ASIC和非ASICPoW都有缺點。從長遠來看，區塊鏈共識的更好選擇是股權證明。7、有用的工作量證明使工作量證明同時有證明之外的作用；常見的候選人是Folding@home之類的東西，Folding@home是一個現有程序，用戶可以將軟件下載到計算機上以模擬蛋白質折疊，并為研究人員提供大量數據，以幫助他們治愈疾病。現狀：可能不可行，只有一個例外有用的工作量證明所面臨的挑戰是，工作量證明算法需要許多屬性：1.難于計算，易于證明2.不依賴大量外部數據3.可以高效的分塊計算不幸的是，沒有很多有用的計算可以保留所有這些屬性，并且大多數具有所有這些屬性并且“有用”的計算只是“有用”的時間太短，無法基于它們構建加密貨幣。但是，有一個可能的例外：就是零知識證明。區塊鏈方面的零知識證明難以計算且易于驗證。此外，它們計算難度很高。如果“高度結構化”計算的證明變得太容易了，則可以簡單地切換到驗證整個區塊鏈狀態的變化，由于需要對虛擬機和隨機內存訪問進行建模，因此變得非常昂貴。區塊鏈有效性的零知識證明為區塊鏈用戶提供了巨大的價值，因為他們可以代替直接驗證鏈的需求；Coda已經在做這件事，盡管它的區塊鏈設計非常簡單，并針對可證明性進行了優化。這些證明可以極大地幫助改善區塊鏈的安全性和可擴展性。也就是說，實際需要完成的計算總量仍然遠遠小于工作量證明礦工當前完成的計算量，因此，充其量充其量不過是權益證明區塊鏈證明的附加內容，而不是完整的關于共識算法。8、權益證明解決挖掘集中化問題的另一種方法是完全取消挖掘，并轉向其他機制來計算共識中每個節點的權重。迄今為止，討論中最流行的替代方法是“股權證明”-也就是說，與其將共識模型視為將一cpu一票變為一幣一票。現狀：重大的理論進展，需要更多的實踐評估在2014年底之前，權益社區的證據清楚表明，某種形式的“弱主觀性”是不可避免的。為了維護經濟安全，節點在首次同步時需要獲取最近的檢查點協議，如果節點離線超過幾個月則需要再次獲取。這是個很大的風險。許多PoW擁護者仍然堅持使用PoW，因為在PoW鏈中，可以發現鏈的“頭”，作為唯一的數據來自可信來源，即區塊鏈客戶端軟件本身。但是，PoS倡導者愿意承擔這種風險，因為增加的信任要求并不大，通過長期的保證金證明股權的途徑變得很明確。如今，最有趣的共識算法從根本上類似于PBFT，但是用一個動態列表替換了固定的驗證器集，任何人都可以通過將令牌發送到具有鎖定時間的系統級智能合約中來加入任何人都可以加入的動態列表。在許多情況下，這些算法通過對驗證者進行處罰，從而發現他們以某些方式違反協議的行為而實現了“經濟最終性”如下：CasperFFG:https://arxiv.org/abs/1710.09437Tendermint:https://tendermint.com/docs/spec/consensus/consensus.htmlHotStuff:https://arxiv.org/abs/1803.05069CasperCBC:https://vitalik.ca/general/2018/12/05/cbc_casper.html這些也在繼續進行細化https://ethresear.ch/t/analysis-of-bouncing-attack-on-ffg/6113https://ethresear.ch/t/saving-strategy-and-fmd-ghost/6226以太坊2.0目前正在實施中，并已取得了巨大進展。另外，Tendermint以Cosmos鏈的形式運行了幾個月。我認為，關于股權證明的其余論點與優化激勵措施和進一步規范應對51％攻擊的策略有關。此外，CasperCBC規范仍可以用來作為具體的效率改進。9、儲存證明解決該問題的第三種方法是使用計算能力或貨幣以外的稀缺計算資源。在這方面，已提出的兩個主要替代方案是存儲和帶寬。原則上，沒有辦法提供給定或使用帶寬的事后加密證明，因此，帶寬證明應最準確地視為社會證明的一個子集，在后面的問題中進行討論，但是存儲證明是當然可以通過計算完成。存儲證明的一個優點是它完全可以抵抗ASIC的攻擊。硬盤驅動器中的存儲類型已經接近最佳。現狀：已經取得一些理論進展，但仍有很多路要走，同時需要更多的實際評估有許多計劃使用存儲協議證明的區塊鏈，包括Chia和Filecoin。也就是說，這些算法尚未經過野外測試。我自己的主要關注點是集中化：這些算法實際上是由使用備用存儲容量的較小用戶主導，還是由大型采礦場主導？經濟學10、穩定幣比特幣的主要問題之一是對法幣價格的波動。問題：合成對法幣對價穩定的加密資產。現狀：有些進展MakerDAO現在已經投入使用，并且穩定運行了將近兩年。它的基本抵押資產ETH的價值下跌了93％，幸免于難，現在發行的合成穩定代幣DAI超過1億美元。它已經成為以太坊生態系統的支柱，許多以太坊項目已經或正在與之集成。其他合成代幣項目，例如UMA，也正在迅速獲得發展。但是，盡管MakerDAO的系統在2019年經歷了嚴峻的經濟形勢，但情況絕不是最艱難的。過去，比特幣在兩天內下跌了75％；同樣的情況有一天也可能發生在以太坊或任何其他抵押資產上。同此同時，對區塊鏈底層的惡意攻擊是更大的未經檢驗的風險，這種風險預期會帶來的價格下跌更加加劇了風險本身；另一個可能更大的重大挑戰是，類似于MakerDAO的系統的穩定性取決于非公開的預言機。目前，確實存在針對預言機的不同嘗試，但對于在巨大的經濟壓力下它們能否承受得住的問題，尚無定論。到目前為止，由MakerDAO控制的抵押品低于MKR代幣的價值；如果這種關系發生逆轉，那么MKR持有者有動機集體試圖“掠奪”MakerDAO系統。有多種方法可以防止此類攻擊，但尚未在現實世界中進行過測試。11、去中心化公共物品激勵通常，經濟體系中的挑戰之一是“公共物品”問題。例如，假設有一個科學研究項目將花費100萬美元來完成，并且已知，如果這項研究完成，則所產生的研究將為100萬人節省5美元。總體而言，公共物品的社會收益是明確的，然而，從每個人的貢獻的角度來看都是沒有道理的。到目前為止，大多數公共物品問題的解決都涉及中心化。附加假設和要求：存在用于確定某個公共物品任務是否已經完成的完全可信賴的預言機現狀：有些進展一般認為，為公共物品提供資金的問題可以分為兩個問題：資金問題和傾向聚合問題。這里假設后者已解決，此問題專門針對前者，即資金問題。總的來說，這里沒有重大的新突破。解決方案有兩類。首先，我們可以嘗試引出個人的貢獻，從而為人們提供社會獎勵。我自己關于通過邊際價格歧視進行慈善的提議就是一個例子；另一個是Peepeth的抗瘧疾捐贈徽章。其次，我們可以從具有網絡效應的應用程序中收集資金。在區塊鏈領域內，有幾種選擇可以做到這一點：發行代幣在協議級別收取交易費用從某些Layer-2的應用程序中收取交易費用收取其他費用在區塊鏈領域之外，這只是一個傳統的問題：政府可以收稅；企業或其他組織則可以收費。網絡效應，又稱網絡外部性或需求方規模經濟，指在經濟學或商業中，消費者選用某項商品或服務，其所獲得的效用與「使用該商品或服務的其他用戶人數」具有相關性時，此商品或服務即被稱為具有網絡效應。12、信譽系統問題：設計一個形式化的信譽體系，包括：一個信譽分數，rep->V，其中V表示從A的角度來衡量B的信譽；一種確定一方可以信任另一方的概率機制；以及在有某進行中或結束的交互記錄狀態下，更新信譽的機制。現狀：進展緩慢自2014年以來，在信譽體系方面還沒有過大量工作。也許最好的例子是使用可信任實體/對象創建一個規劃好的列表作為代幣注冊表；KlerosERC20TCR就是一個例子，還有另外的界面接口Uniswap，它就是用Kleros作為后端，從中獲得代幣和代號符號和徽標的列表。具有主觀多樣性的信譽體系還沒有真正嘗試過，也許是因為交易者相互聯系的"社會關聯圖"以某種形式上鏈的信息不充足。如果由于某些其他原因，此類信息開始出現，那么這類信譽系統可能會變得更加流行。13、優秀的證明一個有趣的，而且尚未被大力探索的問題，就是解決分配問題，對社會有用的任務，但這需要人來驅動的創造性嘗試和天賦。例如，人們可以想出一個"證明"貨幣，獎勵那些給出某些數學定理證明的玩家。現狀：無進展，問題幾乎被遺忘代幣分發的主要替代方法是空投的流行；通常，代幣在啟動配時，要么與某些其他代幣的現有持有量成比例分配，要么基于其他指標。直接驗證人類的創造力還沒有被真正嘗試過，隨著最近在AI上的進展，創建一個只有人類可以做，但用計算機可以驗證的任務，這可能太難了。14、去中心化貢獻度不幸的是，激勵公益物的產出并不是中心化解決的唯一問題。中心化解決的另一個問題是：首先要明確應該產出哪些公益物，然后確定付出多大的工作量才能完成公益物的產出。這一挑戰涉及后一個問題。現狀：有些進展，重點有所改變近年來在確定公益物貢獻度的價值方面的的最新進展并沒有將1.確定任務和2.確定完成度這兩個方面分開，原因是在實踐中這二者很難分得開。某些團隊所做的工作往往是不可替代和主觀的，因此最合理的方法是將任務和績效質量的相關性視為一個整體，并使用相同的技術對它們進行評估。幸運的是，在這方面已經取得了很大的進步，尤其是發現了“二次籌資”后。“二次籌資”是一種機制，在這個機制下，個人可以向項目捐款。在捐贈者完美協調條件下，基于捐贈的人數和捐贈的數量，使用公式計算捐贈量。。在給項目捐贈時，本應捐贈的金額與實際捐贈的金額之間的差額將從某個中央資金池中作為補貼提供給項目方。請注意，此機制側重于滿足某些社區的價值，而不是滿足某些給定的目標，而不管是否有人在乎它。由于價值問題的復雜性，這種方法對于未知的未知數可能更健壯。在現實中，二次融資機制已經在最近的gitcoin二次融資取得了相當大的成功。在改進二次融資機制和類似機制方面也取得了一些進展；例如，成對有界的二次融資可以減少共謀和串通現象。人們還在關于反賄賂投票技術的規范化和實施方面，做了大量工作，防止用戶向第三方證明他們投票給了誰；這防止了多種共謀、串通和賄賂攻擊。15、抗女巫攻擊系統這個問題有點與信譽系統相關，它是創建“唯一身份系統”的挑戰。抗女巫攻擊系統是一種生成令牌的系統，該令牌證明其身份不屬于女巫攻擊的一部分。然而，我們希望具有比“一元一票”更好，更平等的系統；可以說，一人一票將是理想的選擇。現狀：有些進展。已經進行了許多嘗試來解決人類獨特的問題能夠想到的嘗試包括：HumanityDAO:https://www.humanitydao.org/Pseudonymparties:https://bford.info/pub/net/sybil.pdfPOAP("proofofattendanceprotocol"):https://www.poap.xyz/BrightID:https://www.brightid.org/隨著對二次投票和二次融資等技術的興趣日益濃厚，對某種基于人的反女巫系統的需求也在不斷增長。希望這些技術的不斷發展和新技術能夠滿足這些需求。16、分布式現實測量問題：提出并實施一種分布式的方法來測量真實世界的數值變量。該系統應該能夠測量人類目前可以達成大致共識的任何數值屬性。現狀：有些進展現在通常將其稱為“預言機問題”。分布式預言機運行的最大已知實例是Augur，它已經處理了數百萬美元的下注結果；代幣管理的注冊中心是另一個示例。然而，這些系統仍然沒有看到在分叉機制下的現實世界測試，要么是出于一個極具爭議性的問題，要么是出于試圖進行51%攻擊。也有關于發生在區塊鏈空間之外的預言機問題的研究，形式是“同行預測”；參見這里了解該領域的最新進展。另一個迫在眉睫的挑戰是，人們希望依靠這些預言機系統來指導資產的轉移，該資產的數量要大于系統代幣的經濟價值。在這種情況下，代幣持有者理論上有動機合謀提供錯誤答案以竊取資金。在這種情況下，系統將分叉，原始系統的代幣可能會變得毫無價值，但原始系統代幣持有者仍然可以從他們誤導的任何資產轉移中獲得回報。穩定幣是一個特別糟糕的例子。解決這個問題的一種方法是建立一個系統，該系統假設利他誠實的數據提供者確實存在，并創建一種機制來識別它們，并且只允許它們緩慢地運轉，以便如果惡意數據提供者開始在依賴預言機的系統中獲得投票，那么依賴預言機的系統的用戶可以首先完成有序的退出。無論如何，預言機技術的進一步發展是一個非常重要的問題。新問題如果我要在2019年再次編寫難題清單，則上述問題將繼續存在，但重點將發生重大變化，同時還將出現新的重大問題。以下是一些精選：加密混淆與上面的＃4相同正在進行的有關后量子密碼的工作：既基于哈希，又基于對量子算法安全的“結構化”數學對象，包括橢圓曲線等值線，點陣等。反共謀基礎設施正在進行的工作和https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413的完善，包括增加針對運營商的隱私，以最大程度的實際方式增加多方計算等。預言機與上面的＃16相同但不再強調“現實測量”，而側重于一般的“獲取實際數據”問題唯一人類身份：與上面的＃15相同，但強調的是“絕對”的解決方案：與獲得兩個身份相比，要難得多一種，但是即使我們成功了，也無法獲得多個身份既是不可能的，而且也有潛在的危害。同態加密和多方計算實用性仍需要不斷改進。去中心化治理機制DAO很酷，但是當前的DAO仍然很原始，我們可以做得更好。完全形式化對PoS51％攻擊的響應正在進行的工作和完善的https://ethresear.ch/t/responding-to-51-attacks-in-casper-ffg/6363更多公共物品資金來源理想的做法是對具有網絡效應的系統中的擁塞資源收費，但在分布式系統中這樣做需要公共合法性；因此，這是一個社會問題，也是尋找可能來源的技術問題。信譽系統與上述＃12相同通常，基礎層問題會緩慢而持續的減少，但是應用層問題才剛剛開始。

ZK-EVM Kakarot完成pre-seed輪融資，Vitalik、StarkWare等參投:6月2日消息，zkEVM 開發平臺 Kakarot 完成Pre-Seed 輪融資，StarkWare、LambdaClass 和天使投資人 Vitalik、Nicolas Bacca、Rand Hindi 等參投。

Kakarot zkEVM 是 Cairo 實施的 EVM，利用 STARK 證明來證明交易和區塊，確保透明度和安全性。據介紹，Kakarot zkEVM 發展分為三個階段：1、作為 EVM 存在于 Starknet L2 上；2、和 Starknet 定序器 Madara 合力創建第 3 層 zkEVM；3、Kakarot 和 Madara 組合啟用類型 1 zkEVM。[2023/6/2 11:54:47]

Gemini信托采用Itiviti的NYFIX平臺為用戶提供加密交易服務:全球金融機構技術和服務提供商Itiviti宣布，Gemini信托公司現允許加密貨幣持有者通過其NYFIX平臺與交易對手進行交易。[2020/3/20]

動態 | EOS 的Activity指數為43,721,037 排名第一:據IMEOS報道，截止12月16號11點，blocktivity.info上顯示，排名第一的 EOS 的Activity指數為43,721,037 ，排名第二、第三分別為 TLOS 和 IOST 。Acitivity指數為最近24小時內在區塊鏈上執行的操作數量。[2019/12/16]

聲音 | Kavita Gupta：風投在加密貨幣領域的投資方式發生了變化:ConsenSys Ventures創始執行合伙人Kavita Gupta在最近接受采訪時表示，風投在加密貨幣領域的投資方式發生了變化。風投開始適應新的模式，加密貨幣投資比較獨特，其流動性、持續性、風險特征、波動性等因素都與傳統的長線投資基金有很大不同。區塊鏈投資者的構成在不斷變化，企業家畫像也在變化。在這一領域擔任CEO的人士從大部分是年期的技術專家變成了很多是經驗豐富的工程師和連續創業者。產品的愿景、路線圖，尤其是接納的理由和友好的用戶界面已成為了討論主題之一。一些大型風投公司正在成立加密貨幣領域專用基金，使世界更加接近Web 2.0和Web 3.0，并驗證這一領域的許多早期技術，而這些技術在一年前還看起來可能是不現實的。”[2019/1/30]

以太坊創始人Vitalik公布以太坊2.0路線圖:以太坊創始人Vitalik公布以太坊2.0路線圖，分片機制作為協議提升的核心。在以太坊2.0中，二進制Merkle樹，更快的以太坊虛擬機（EVM），更好的可平行性以及無國界的客戶端都是計劃內的更改。開發將會分為兩層，第一層將會引入安全和保守的更新，而第二層將會實現迅速開發，也就是當分片系統通過驗證處理者合約被引入時。關于分片的一些初步工作已經可以在GitHub上查看，同時Vitalik的完整講話也能夠在YouTube上進行觀看。[2017/11/29]

Tags：區塊鏈VITHTTTPS區塊鏈專業大學排名VITAhtt幣騙局https://etherscan.io

歐易交易所app官網下載