TL,DR;
評價一個zkEVM項目的因素包括:證明時間、驗證時間、證明大小、CRS、SRS、可信設置、遞歸支持、密碼學假設、量子安全、兼容等級。Scroll發展時間最短,但符合EVM等效標準;PolygonHermez最快開源,但使用了不同于EVM“傳統”的新匯編代碼,存在中立的不確定性;zkSync計劃100天后推出公共網,開發進度最快;StarkNet堅持zkVM路線兼容前景有限;Aztec尚未完成Solidity語言兼容,EVM兼容進度落后;Loopring兼容進度遙遙無期,暫未提上日程。本文屬于《一文看懂zkEVM》系列的第二篇,上一篇文章介紹了zkEVM的基本知識,本篇文章將盤點行業中主流的zkEVM通用網絡。關于zkEVM的重要性不絕于耳,以V神為代表的行業領袖認為:從中長期來看,隨著ZK-SNARK技術的改進,ZKR將在所有用例中勝出。而zkEVM是ZKR項目兼容以太坊的技術,zkEVM項目即ZKR項目,本文用最近在推特上廣為討論的zkEVM代指ZKR項目。zkEVM項目的評價因素
在開始盤點具體項目之前,我們不可避免地會提出一個問題——評價zkEVM項目的因素有哪些?CTH集團的FundamentalLabs在《FLResearch|IncompleteGuidetoZK:WhyZKMatters?》這份ZK研報中提出了評價ZK項目的十個因素,它們分別是:證明時間、驗證時間、證明大小、CRS、SRS、可信設置、遞歸支持、密碼學假設、量子安全、兼容等級。這份研報還參考了《CommunityProposal:ABenchmarkingFrameworkfor(Zero-Knowledge)ProofSystems》該論文提出的零知識證明系統的基礎框架。但縱觀zkEVM賽道,除了PolygonHermez之外都沒有完全開源代碼,因此本文主要從項目簡介和EVM兼容進展兩個方面來盤點zkEVM項目,包括Scroll、PolygonHermez、zkSync、StarkNet、Aztec、Loopring。
美檢方調查與FTX前CEO SBF有關的欺詐案:12月10日消息,據知情人士透露,美國檢方正在詳細調查加密貨幣巨頭FTX 11月11日在特拉華州申請破產時,該交易所運營商持有的資金是如何轉移到美國境外的,是否有數億美元違規轉移到巴哈馬。目前,檢方正在為針對SBF等人的潛在欺詐案做準備。(金十)[2022/12/10 21:35:27]
Scroll:行業黑馬
Scroll的目標是完全兼容EVM,讓以太坊上的智能合約可以直接復制到Scroll,無需修改代碼就可以兼容以太坊基礎設施。Scroll聯創YeZhang在21年3月的以太坊研究論壇ETHResearch上第一次提出了《IntroducingScroll,anewlayer2solution》初步介紹了Scroll作為一種新的Layer2解決方案的技術原理與未來路線。根據官方消息,Scroll已經與以太坊基金會PSE)小組合作一年多。融資方面,今年4月22日Scroll完成3000萬美元A輪融資,PolychainCapital領投,BainCapitalCrypto、RobotVentures、GeometryDAO等參投。以太坊基金會的YingTong和CarlosAria,以及以太坊社區的成員也參與了該輪融資。創始人Peng表示,該項目此前已經從天使投資人那里融資約300萬美元。7月20日,因為和PolygonHermez、zkSync接連官宣zkEVM測試網,推特上出現大量關于“誰是第一個zkEVM”的爭論。
YeZhang在推特上認為Scroll與PolygonHermez有一些不同。Scroll和PolygonHermez都在證明原生EVM字節碼執行方面取得了巨大進展。但是實現有很大不同。簡而言之,Scroll更接近以太坊的實現,PolygonHermez使用一組新的匯編代碼來表達每個操作碼,然后證明新匯編在他們自己定義的狀態機上的執行。因此,它們也可以實現“字節碼級別”的兼容性,但行為可能與EVM不同,PolygonHermez的方案更簡單且可能更高效,也有可能出現一些未知的情況。
馬耳他商會業務部反駁有關加密貨幣監管不嚴的指控:金色財經報道,針對FATF會議稱馬耳他在沒有足夠監督的情況下為大量加密貨幣交易提供了便利,馬耳他商會業務部回應稱:“必須重申的是,VFA框架(《虛擬金融資產法案》)以非常高的標準監管加密行業。由馬耳他金融服務管理局(MFSA)管理的許可流程非常嚴格,雙層審批系統確保只有以高質量水平運營的法人實體才能獲得MFSA的批準并允許在馬耳他運營。”[2021/6/22 23:54:48]
目前開放測試網,測試網為邀請注冊制,主要功能包括:允許運行常用應用程序,例如Uniswap和Metamask;通過區塊瀏覽器查看Scroll測試網的狀態;運行節點,該節點支持無限制的讀取操作和用戶發起的交易;Rollers將為部分zkEVM電路生成和匯總有效性證明,以確保穩定發布。計劃下半年再次推出一次測試網,面向所有公眾,功能包括:允許開發人員部署智能合約;允許任何人運行歸檔Scroll節點;生成和聚合更多在鏈上驗證的zkEVM證明;在EVM兼容方面,根據官方文檔,Scroll已經實現了字節碼兼容EVM,及EVM操作碼的子集。PolygonHermez:最快開源
7月20日PolygonHermez官宣發布并開源第一個EVM等效的ZKL2。但與其他項目不同,PolygonHermez項目并不是Polygon獨立研發,而是Polygon通過收購并合并一個叫做Hermez的ZKR項目而來。根據Coindesk消息,2021年8月13日,Hermez團隊與項目被Polygon以2.5億美元的價格收購,Hermez以PolygonHermez的名義并入Polygon生態系統,并且兩個網絡進行了合并。這也是第一次一個區塊鏈網絡被完全合并到另一個區塊鏈網絡中。
分析:山寨幣近期看漲與關鍵網絡升級以及ETH表現強勁有關:過去一周,市值超7億美元的加密貨幣中漲幅位列前十的幣種為VET、XLM、ADA、ALGO、LINK、BSV、ATOM、XRP、CRO以及ETC,其市場表現均強于比特幣,同期比特幣僅上漲1.13%。
總體而言,圍繞山寨幣的情緒走強似乎源于兩個因素。首先,ETH兌美元一直表現強勁。從歷史上看,ETH的反彈與山寨幣的上漲趨勢是一致的。在過去的四個月里,ETH的價格從90美元上漲到241美元,上漲了近270%。
其次,大多數主流幣已經完成了關鍵網絡升級的第一階段。以Cardano為例,它將在7月底完成Shelley的升級。基金會表示,Shelley升級可以使Cardano區塊鏈網絡的去中心化程度超過其他競爭對手100倍。(Cointelegraph)[2020/7/11]
關于PolygonHermez的EVM實現,YeZhang在推特上表示,“Polygon使用一組新的匯編代碼來表達每個操作碼,即人類可讀的字節碼翻譯,這可以讓代碼在EVM上的行為有所不同,可以實現“字節碼級別”的兼容性,但行為可能與EVM不同,PolygonHermez的方案更簡單且可能更高效,也有可能出現一些未知的情況。”目前代碼已經開源。官方稱其實現了EVM等效性,在開放測試網后,開發人員可以將任何以太坊智能合約無縫部署到PolygonHermez。計劃就在下半年推出公共測試網。zkSync:行業老兵
zkSync累計融資5800萬美元,Placeholder、1kx、DragonflyCapital全程參與3輪融資,聯合廣場風投和a16z參與了2輪。zkSync是MatterLabs于2019年開始構建的、以用戶為中心的免信任二層協議,以ZKP為核心技術,以安全、用戶體驗和開發者體驗為核心關注點。該項目傾向于增量協議開發,即按順序逐個引入功能,從而在每個步驟中為用戶帶來最有形的價值。他們從基礎開始,最初關注可擴展性的基礎,然后是可編程性,最后是隱私。zkSync的主要特點包括:極低的交易費用、加密安全、用戶控制以及無需許可的智能合約。
動態 | CMA警告民眾不要參與有關KeniCoin的ICO或代幣交易:據Africa Business Communities消息,肯尼亞資本市場管理局(CMA)警告民眾不要參與Wiseman Talent Ventures的任何ICO活動或代幣交易,因為根據該公司目前已經披露的信息,CMA認為存在欺詐風險。據悉,該公司發行的代幣名稱為KeniCoin,承諾參與ICO的投資者回報率將高達10%,且后期上線交易所后KeniCoin價格將飆升至發行價格的20倍。[2019/1/3]
目前zkSync上已經建立起豐富的生態,zkSync也是Gitcoin上的主要捐贈手段之一。據官方公告,zkSync目前已經完成了以太坊Solidity語言與zkSync開發語言Zinc的轉譯/轉譯器開發;并且實現了EVM字節碼層次的兼容,但暫未開源,尚不能驗證其真實性以及比較其EVM兼容實現方式與其他項目的差異。zkSync已經開放測試網,計劃在11月發布zkSync公共網,在所有zkEVM項目中開發進度最快。StarkNet:專注ZK
StarkNet是一種無需許可的去中心化Validity-Rollup。它作為以太坊上L2網絡運行,使任何dApp能夠實現其計算的無限規模,而不會影響以太坊的可組合性和安全性,因為StarkNet建立在最安全和最具可擴展性的加密證明系統STARK之上。截止目前,StarkWare已經完成6輪融資,共計2.73億美元。尤其是最近一輪融資,融資金額達到1億美元,使其估值直接翻了兩番,達到80億,是所有L2項目中估值最高的。Vitalik是他們種子輪投資者,此外,投資方名單中還包括Paradigm、紅杉資本、PanteraCapital、FoundersFund等多輪投資者。StarkWare主要由世界頂級密碼學家構成,如EliBen-Sasson,他聯合發明了目前最主流的兩種零知識證明系統ZK-SNARKs、ZK-STARK;AlessandroChiesa,也是ZK-SNARKs的聯合發明者,Zcash聯合創始人。包括zkSync、Scroll、Hermez在內的多個行業頭部zkEVM項目在項目中構建的零知識證明系統都用到了ZK-SNARKs、ZK-STARK這兩種系統。
Coinrail有關黑客攻擊后的系統檢查公告:據韓國交易所Coinrail官方公告,由于10日受到黑客攻擊Coinrail全面停止交易并進行系統檢查。Coinrail表示目前整體代幣持量的70%安全保存在冷錢包,丟失總量中的3分之2已回收,剩余3分之1將與調查機構、有關交易所、開發隊協作進行調查。目前被攻擊的代幣中NPXS、ATX、NPER已采取解決措施。[2018/6/11]
在去年和今年上半年,StarkWare通過提供擴容技術解決方案StarkEx創立了擴容即服務的商業模式,建立應用專有網絡,服務業內頭部客戶dYdX、Sorare、ImmutableX、DeversiFi等。而目前隨著StarkNet網絡基礎設施不斷完善,StarkNet逐漸將業務重心轉移到通用網絡。在進展方面,關于開發語言,StarkNet網絡上專有的Cairo語言具有非常突出的優勢:除了支持零知識證明系統,它還將程序的執行減少到幾組多項式方程組,專門編寫可證明的程序。這些特點使得Cairo的開發者可以將業務邏輯從智能合約抽象到鏈外執行環境中,支持編寫那些成本巨大、重執行的app,同時保留了以太坊的安全和結算保證,不受gas和Layer1的限制。關于代幣與治理,StarkNet提出了去中心化治理提案并計劃在下半年發幣,推動二層節點去中心化運營,相關資料推薦看看《StarkNet發幣如何改變L2行業格局》。StarkNet由于專注于zkVM,從虛擬機的角度嚴格來看,StarkNet不屬于zkEVM類項目,但從EVM兼容的角度看,StarkNet對EVM的兼容層次停留在Solidity與Cairo語言的轉譯/轉譯器,由于zkVM與EVM兼容的復雜性與矛盾性,預計StarkNet未來不會再有EVM兼容進展。在Scroll和PolygonHermez出現之前,zkSync和StarkNet是被寄予厚望的唯二兩個zkEVM網絡。關鍵不同在于,zkSync致力于等效EVM,允許以太坊上的應用、資產、用戶無縫遷移zkSync上。而StarkNet的目標不是實現EVM等效,而是致力于開發ZK技術的潛力,通過幾乎無上限的性能擴容為未來的創新應用打造去中心網絡的基礎。行業中有非常多將這兩個ZKR“雙王”放在一起對比討論的文章,Odaily星球日報在此分享一些對比StarkNet和zkSync的精品文章/信息源:《zkSyncvs.StarkWare-頂尖的兩個ZKRollup到底有何區別?》——Tokeninsight《zkSyncvs.Starkware》——YilunZhangAztec:主打隱私
Aztec創立于2017年,最初是一個區塊鏈上的機構融資平臺。2019年9月15日,A.Capital、Coinbase、LibertusCapital參與其一輪投資。2021年12月16日,Aztec完成1700萬融資,Paradigm領投,投資者還包括A.Capital、EtherealVentures和LibertusCapital,以及VariantFund、Nascent、IMToken、ScalarCapital、DefiAlliance、IOSGVentures和ZKValidator,其它個人投資人還包括AnthonySassano、StaniKulechov、Bankless、DefiDad、MarianoConti和VitalikButerin。關于Aztec的隱私原理,與常見的加密賬戶不同,Aztec使用類似比特幣UTXO模型來加密交易,地址下的余額無論數量多少都被轉換為一張票據,當發生交易時候,只有雙方知道具體交易額,從而保護了隱私。
圖片來源:https://medium.com/aztec-protocol/fully-confidential-ethereum-transactions-aztec-networks-privacy-architecture-274f968b13d4舉個例子,當小明有兩張價值50ETH的銀票,總共100ETH,而小紅有0張鈔票,小明需要向小紅轉賬20個ETH。小明的兩張50ETH銀票需要銷毀,并創建了兩張新銀票:一張80ETH銀票留在小明手中,一張20ETH銀票轉給它的新所有者小紅。在這個過程中只有小紅和小明知道銀票的價值。進展方面,7月7日,Aztec在主網上推出隱私DeFiAztecConnect——一套包括橋接合約和SDK的隱私開發工具,以支持用戶在以太坊上使用隱私DeFi應用。
圖自:https://medium.com/aztec-protocolAztecConnect就像一個VPN:通過使用Aztec的匯總合約作為代理,用戶從Aztec網絡內與以太坊服務進行交互。AztecConnect像一個DeFiVPN,用戶可以將AztecConnect作為代理,通過AztecConnect與以太坊上的DeFi進行交互,使Aztec上的合約能夠和以太坊上的DeFi協議相互操作。據官方,Aztec預計在下半年推出Aztec3和隱私編程語言Noir,對Solidity的轉譯器暫無規劃,也沒有兼容以太坊的虛擬機,EVM兼容進展較其他項目較為落后。Loopring:自建生態
Loopring是第一個基于以太坊的、專注DeFi應用的ZKR,與其他將自己打造為孵化平臺的L2不同,Loopring專注于在第2層上構建自己的產品和功能。融資方面,Loopring在2017年通過ICO的方式籌款4500萬美元。與其他公共網絡不同,外部開發者無法在Loopring上構建自己的通用協議或者產品,只能調用loopring的API。而且由于Loorping專注于自己構建產品,Loopringprotocol不僅僅是一個網絡,它是一個集體,它包含以下四個部分:Loopring協議,是一個開源的以太坊zkRollup協議——用于安全擴展交換和支付的第2層。Loopring中繼器,是一個封閉源代碼的zkRollup中繼器——執行所有鏈下職責以進行zkRollup滾動。Loopring交易所,是一種非托管的以太坊交易所——一種基于AMM和訂單簿的高性能交易所,具有100%的以太坊安全保證。它還充當支付平臺。Loopring錢包,是一款以太坊智能合約錢包——一款具有社交恢復、其他安全功能并內置LoopringL2的移動錢包應用程序。
數據來源:https://l2beat.com/Loopring的TVL在所有L2項目中排名第四,在ZKR中排第二。進展方面,去年7月LoopringCTOSteveGuo透露正與以太坊來基金會聯合開發zkEVM。但截至完稿日,在官方網站上沒有看到Loopring一年來關于zkEVM的任何進展信息,盡管Loopring在L2中占據較大的TVL份額,但其EVM兼容進展遠落后于Scroll、PolygonHermez和zkSync。
俄烏戰爭是2022年最具黑天鵝性質的事件。戰爭的爆發催生了包括糧食、能源等多重大宗商品的供應危機,而美元在新冠暴虐時期的大放水所帶來的高通脹風險也因此顯現出來.
1900/1/1 0:00:00幾周前,Aave治理論壇上提出了GHO穩定幣的概念,引發了整個DeFi行業的巨大關注。毫無疑問,作為Aave協議的下一步發展規劃,推出這樣一個去中心化、有抵押品支持、且與美元掛鉤的AaveDAO.
1900/1/1 0:00:008月1日,蒂芙尼以近33WRMB的價格購買ENS域名tiffany.eth,引發越來越多的圈內外人士開始關注到ENS這一應用.
1900/1/1 0:00:00為了激勵有長遠眼光的投資者加入白名單,并防止白名單地址快速Flip。NFT鎖倉時間表應運而生,類似于代幣鎖倉時間表,從白名單中Mint的NFT將面臨某種形式的鎖倉.
1900/1/1 0:00:00熊市之下以太坊去中心化域名ENS卻持續高速增長,7月份獨立地址數突破50萬,新注冊ENS域名378442個,超過此前5月創下的最高記錄,創歷史新高.
1900/1/1 0:00:00作者|Azuma編輯|郝方舟出品|Odaily星球日報7月25日,備受矚目的新生代Layer1項目Aptos宣布完成1.5億美元的新一輪融資.
1900/1/1 0:00:00