買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > 火幣APP > Info

TER:IOSG:多維度分析zkVM與zkEVM的派系之爭_unisat錢包安裝教程

Author:

Time:1900/1/1 0:00:00

過去的2022年關于rollup主要的討論焦點似乎都集中在ZkEVM,但是別忘記ZkVM也是另一種擴容手段。雖然ZkEVM并不是本文的重點,但是值得回味一下ZkVM與ZkEVM之間幾個維度的不同之處:兼容性:雖然都是擴容,但是側重點并不同,ZkEVM的側重點在于直接實現與現有EVM的兼容,而ZkVM的定位在于實現完全的擴容,也就是將dapp的邏輯以及性能提升到最優,兼容性并不是首要的。底層搭好了,EVM兼容也可以實現。性能:兩者都有比較可以預見的性能方面的瓶頸,ZkEVM主要瓶頸在于兼容EVM這樣一個并不適合封裝在ZK證明系統時產生的多余成本。ZkVM的瓶頸在于因為引入了指令集ISA,導致最終輸出的約束更復雜。開發者體驗:TypeIIZkEVM(如Scroll,Taiko)主打的是對于EVMBytecode的兼容,換句話說就是Bytecode級別及其以上的EVM代碼都可以通過ZkEVM產生對應的零知識證明。對于ZkVM來說,有兩個方向,一個方向是做自己的DSL(如Cairo),另一個則是目標兼容現有的比較成熟的語言如C++/Rust(如Risc0)。未來我們預計原生的solidity以太坊開發者會可以無成本遷移至ZkEVM,而更新更強大的應用則會跑在ZkVM上。

很多人應該還記得這張圖,CairoVM事不關己游離于ZkEVM派系斗爭的本質原因是設計思想的不同在討論ZkVM之前,我們首先思考的是如何在區塊鏈中實現ZK證明系統。大致上,有兩種方法實現電路-基于電路的系統(circuitbased)以及基于虛擬機的系統(vm-based)。首先,基于電路的系統的功能是將程序(program)直接轉化為約束條件(constraints)并送入證明系統(provingsystem);基于虛擬機的系統通過指令集(ISA)執行程序,在此過程中產生執行軌跡(executiontrace)。這個執行軌跡之后會被映射成約束條件,然后被送入證明系統。對于一個基于電路的系統,程序的計算由執行程序的每臺機器(machine)進行約束。而對于基于虛擬機的系統,ISA被嵌入到電路產生器(circuitgenerator)中,并產生程序的約束(constraints),同時電路產生器有指令集、運行周期、內存等等限制。虛擬機提供了通用性,即任何機器都可以運行一個程序,只要該程序的運行條件在上述限制范圍內。在虛擬機中一個zkp程序大概經歷如下的流程:

流媒體平臺Angel Studios買入價值1060萬美元的比特幣:金色財經消息,根據一份向美國證券交易委員會(SEC)提交的監管文件,流媒體平臺Angel Studios購買了價值1060萬美元的比特幣,這是在其去年10月份出售170萬股A類股票后買入的。該公司表示,其持有的比特幣“流動性很強”,配置比特幣旨在使公司的回報多樣化。去年12月,在加密市場經歷大規模回撤后,Angel Studios計提了270萬美元的比特幣減值損失。

Angel Studios將自身定位為一個社區驅動的電影工作室,2022年1月,該公司在風險投資公司Gigafund牽頭的一輪融資中獲得了4700萬美元的新資金。(beincrypto)[2022/5/3 2:46:38]

圖片來源:Bryan,IOSGVentures優缺點:從開發者(developer)的角度來看,在基于電路的系統中開發通常需要對每個約束條件的成本有深入的了解。然而,對于編寫虛擬機程序來說,電路是靜態的,開發者需要更關心的是指令(instructions)。從驗證者(verifier)的角度來看,假設使用相同的純SNARK作為后端,基于電路的系統和虛擬機在電路的通用性方面有很大的不同。電路系統對每個程序產生不同的電路,而虛擬機對不同程序產生相同的電路。這意味著,在一個rollup中,電路系統需要在L1上部署多個驗證合約(verifiercontract)。從應用(application)的角度來看,虛擬機通過將內存模型(memory)嵌入到設計中,使應用程序的邏輯更加復雜,而使用電路系統的目的是為了提高程序的性能。從系統復雜性(complexity)的角度來看,虛擬機將更多的復雜性納入系統,如內存模型、主機(host)和客戶(guest)之間的通信等,相比之下電路系統更簡潔。以下是目前L1/L2中基于電路和基于虛擬機的不同的項目預覽:

去中心化交易平臺prePO完成210萬美元融資,IOSG Ventures和Republic Capital領投:金色財經消息,專注于pre-IPO以及pre-Token項目的去中心化交易平臺prePO完成210萬美元戰略輪融資,IOSG Ventures以及Republic Capital領投。參投方包括MEXC、AscendEX、Shima Capital、HoneyDAO、NeptuneDAO、GCR,以及來自Gnosis、1inch、Moonbeam、Zapper、Gelato、BarnBridge、Immunefi、Thales和Dapp.com等項目的創始人。

prePO允許用戶對上市前的公司或者項目的估值進行預測,以即時和非監管的方式對任何pre-IPO或pre-Token項目做多或做空,每個用戶都可以成為全球項目/平臺IPO或代幣發售的一部分,并獲得多重獎勵。投資者還可以利用該平臺對沖其投資組合中的風險,或者用于后續市場的定價參考。(blockworks)[2022/3/23 14:13:52]

圖片來源:Bryan,IOSGVentures虛擬機的設計原則

在虛擬機中,有兩個關鍵的設計原則。首先,確保程序被正確執行。換句話說,輸出(output)與輸入(input)應當正確匹配。一般這是通過ISA指令集完成的。其次,確保編譯器(compiler)在從高級語言轉換為適當的約束格式時能正確工作。1.ISA指令集

穩定幣跨鏈橋Symbiosis Finance宣布啟動Beta主網:3月10日消息,穩定幣跨鏈橋Symbiosis Finance宣布啟動Beta主網。Beta主網允許用戶交換任何Token且不需要特殊軟件。此外,Symbiosis還與MetaMask、Coin98、Trust Wallet和ONTO Wallet等錢包兼容。

主網推出后,Symbiosis將添加新的區塊鏈,例如Solana, Terra, Celo, Boba和Aurora。同時致力于啟動Symbiosis v.2協議。[2022/3/10 13:48:12]

規定了電路產生器的工作方式。它的主要責任是將指令(instructions)正確地映射到約束條件(constraint)中,這些約束條件隨后被送入證明系統(provingsystem)。zk系統使用的都是RISC(精簡指令集)。有兩種ISA的選擇:第一種是自建一個自定義的ISA(customISA),這在Cairo的設計中可以看到。一般來說,有如下四種類型的約束邏輯。

自定義ISA的基本設計重點是確保約束條件盡可能少,從而使程序的執行和驗證都能快速運行。第二種是利用現有的ISA(existingISA),這在Risc0的設計中被采用。除了以簡潔的執行時間為目標外,現有的ISA還提供了額外的好處,如對前端語言(front-endlanguage)和后端硬件(backendhardware)友好。一個問題是,現有的ISA會不會在驗證時間上有所落后(因為驗證時間并不是Risc-V的主要設計追求。2.編譯器(Compiler)

IOST突破0.06 USDT關口 24h漲幅超20%:據幣安交易平臺數據顯示,IOST今日持續拉升,現報價0.06 USDT,24h漲幅超20%,24h交易量超17億IOST。[2021/4/27 21:02:35]

籠統地來說,編譯器會逐步將編程語言翻譯成機器代碼。在ZK的環境下,它指的是使用C、C++、Rust等高級語言編譯成約束系統的低級代碼表示。有兩種方法,設計一個基于現有zk電路表示(existingcircuitrepresentations)的編譯器--比如說在ZK中,電路表現形式從Bellman這樣的可以直接調用的庫(library)和Circom這樣的低級語言開始。為了聚合不同的表現形式,Zokrates這樣的編譯器旨在提供一個抽象層,可以編譯成任意的更低級表現形式。基于編譯器基礎設施(compilerinfrastructure)來構建。基本邏輯是利用一個針對多個前端和后端的中間表現形式(intermediaterepresentation)。Risc0的編譯器是基于multi-levelintermediaterepresentation,可以生成多個IR。不同的IR給開發者帶來了靈活性,因為不同的IR有各自的設計重點,例如其中有一些的優化是專門針對硬件,所以開發者可以根據自己的意愿進行選擇。類似的想法在使用GCC的vnTinyRAM和TinyRAM中也可以看到。ZkSync也是另一個利用編譯器基礎設施的例子。此外,你還可以看到一些針對zk的編譯器基礎設施,如CirC,它也借用了LLVM的一些設計理念。除了上述兩個最關鍵的設計步驟外,還有一些其他的考慮因素:1.系統的安全性(security)和驗證的成本(verifiercost)之間的權衡系統使用的比特數越高,意味著驗證的成本越高。安全性反映在密鑰生成器。2.與前端和后端的兼容性(compatibility)兼容性取決于為電路的中間表示(intermediaterepresentation)的有效性。IR需要在正確性和靈活性之間取得了平衡。如果IR最初是為解決像R1CS這樣的低度(low-degree)約束系統而設計的,那么與其他更高級別(high-degree)的約束系統如AIR的兼容就很難。3.為提高效率需要手工制作(hand-crafted)電路使用通用模型(generalpurpose)的缺點是,對于一些不需要復雜指令的簡單操作,其效率較低。簡述一下先前的一些理論,Pinocchio協議之前:實現了可驗證的計算,但驗證時間非常慢Pinocchio協議:在可驗證性和驗證成功率方面提供了理論上的可行性,是基于電路的系統TinyRAM協議:相對于Pinocchio協議,TinyRAM更像一個虛擬機,引入了ISA,因此擺脫了一些限制,如內存訪問(RAM)、控制流(conttrolflow)等vnTinyRAM協議:使得密鑰生成(keygeneration)并不取決每個程序,提供了額外的通用性。擴展電路產生器,即能夠處理更大的程序。上述模型都以SNARK作為其后端證明系統,但是特別是在處理虛擬機時,STARK和Plonk似乎是一個更合適的后端,從根本上說是由于其約束系統更適合于實現cpu一樣的邏輯。接下來,本文會介紹三個基于STARK的虛擬機-Risc0,MidenVM,CairoVM。簡而言之,除了都以STARK作為證明系統外,它們各自有一些不同:Risc0利用Risc-V來實現指令集的簡潔性。R0在MLIR進行編譯,這是LLVM-IR的一個變種,旨在支持多種現有的通用編程語言,如Rust、C++。Risc-V還有一些額外的好處,比如對于硬件較為友好。Miden的目標是與以太坊虛擬機兼容,本質上是EVM的rollup。Miden現在有自己的編程語言,但也致力于在未來支持Move。CairoVM是由Starkware開發的。這三個系統所使用的STARK證明系統是由EliBen-Sasson發明的,目前Starkware的總裁。讓我們更深入地了解它們的區別:

IOST正式推出Staking機制4.0版本:據官方消息,IOST正式發布Staking機制4.0版本。在該版本中,IOST節點合伙人按票數分配部分的貢獻獎勵被移動至按評級分配部分的貢獻獎勵。改版后僅節點合伙人貢獻獎勵部分有所變化,對投票者來說無任何變化,并且貢獻和票數的權重,依然相對均衡。此外,調整之后,每個節點合伙人季度貢獻獎勵部分可達147萬IOST。詳情點擊原文鏈接。[2020/6/10]

*如何讀懂上面的表格?一些注解...Wordsize-由于這些虛擬機所基于的約束系統是AIR,其功能與CPU架構類似。所以選擇CPU字長比較合適。Memoryaccess-Risc0使用寄存器(register)的原因主要是Risc-V指令集是基于寄存器的。Miden主要使用堆棧(stack)來存儲數據,因為AIR的功能與堆棧類似。CairoVM沒有使用通用寄存器(general-purposeregister),因為Cairo模型中的內存訪問(mainmemory)成本較低。Programfeed-不同方法是有取舍的。例如,對于mastroot方法來說,它需要在處理指令時進行解碼,因此在執行步驟較多的程序中下證明者的成本較高Bootloading方法試圖在保持隱私的同時在證明者成本和驗證者的成本之間取得平衡。Non-determinism-非確定性是NP-complete問題的一個重要屬性。利用非確定性有助于快速驗證過去的執行。反過來說,它增加了更多的約束條件,因此在驗證方面會有一些妥協。Accelerationoncomplexoperations-有些計算在CPU上運行很慢。例如,位操作,如XOR和AND,哈希程序(hashprogram),如ECDSA,還有范圍檢查(range-check)......大多是區塊鏈/加密技術的原生但不是CPU原生的運算。直接通過DSL來實現這些運算會很容易導致證明的周期(cycle)耗盡。Permutation/multiset(排列/多列組合)-在大多數zkVM中大量使用,有兩個目的--1.通過減少存儲完整的執行軌跡(executiontrace)來降低驗證者的成本2.證明驗證者知道完整的執行軌跡文章最后筆者想談談Risc0目前的發展以及其讓我興奮的原因。R0目前的發展:a.自研的「Zirgen」的編譯器基礎設施正在開發中。將Zirgen與一些現有的zk專用編譯器的性能進行比較會很有趣。b.一些很有意思的的創新,如fieldextension,可以實現更堅實的安全參數以及在更大的整數上進行操作。c.見證了在ZK硬件和ZK軟件公司之間的整合中看到的挑戰,Risc0使用了一個硬件抽象層,以便在硬件方面進行更好的開發。d.Stillawork-in-progress!還在開發中!支持手工制作的電路(hand-craftedcircuits),支持多種哈希算法。目前,專用的SHA256電路已實現,然而還不能滿足所有的需求。筆者相信具體選擇優化哪類電路取決于Risc0所提供的用例(usecase)。SHA256是一個非常好的起點。另一方面,ZKVM的定位給人以靈活性,例如,只要他們不想,就不必去管Keccak:)遞歸(recursion):這是一個很大的話題,筆者傾向于不在該報告進行深入研究。需要知道的是,隨著Risc0傾向于支持更復雜的用例/程序,更迫切地需要遞歸。為了進一步支持遞歸,他們目前正在研究一個硬件端的GPU加速方案。處理非確定性(non-determinism):這是ZKVM必須處理的一個屬性,而傳統的虛擬機是沒有這個問題的。非確定性可以幫助虛擬機執行得更快。MLIR相對更擅長處理傳統虛擬機方面的問題,而Risc0如何將非確定性嵌入到ZKVM系統設計中值得期待。WHATEXCITESME:a.簡單且可驗證!在分布式系統中,PoW需要高水平的冗余,因為人們不信任他人,因此需要重復執行相同的計算來達成共識。而通過利用零知識證明,狀態的實現應該和同意1+1=2一樣容易。b.更多更實際的用例:除了最直接的擴容外,更多有意思的用例將變得可行,比如零知識機器學習、數據分析等。相比于Cairo這樣的特定的ZK語言,Rust/C++的功能更普適且更強大,更多web2的用例跑在Risc0VM上。c.更具包容性/成熟的開發者社區:對STARK和區塊鏈感興趣的開發者不必再重新學習DSL,使用Rust/C++即可。

Tags:ISCIONISATERKISC幣ZION幣unisat錢包安裝教程hamster幣推特

火幣APP
NFT:比特幣交易的「合法性」之辯:Ordinals是福還是禍?_nals幣歷史最低價

自問世以來,比特幣交易的目的一直是社區爭論不休的話題。比特幣主要用于金融交易,還是它應該成為一種安全的分布式數據存儲系統,用來存儲從應用程序數據到域名的所有內容?這場爭論平靜了很多年,但一種名為.

1900/1/1 0:00:00
NFT:發掘下一個STEPN?一文詳解MOOAR Launchpad第二期活動_WEB3

隨著Blur的空投上線各大交易所,這給廣受關注的NFT市場賽道又增添了不少熱度。激烈的競爭已讓該領域涌現出大量的變革與創新,無論是此前Sudoswap通過AMM為NFT提供流動性,還是此次Blu.

1900/1/1 0:00:00
LIGHT:深入解讀閃電網絡:探尋比特幣支付通道的前世今生_比特幣

原文作者:Twitter@EvieEvieXia原文編輯:Twitter@binary_dao 研究導讀: 中本聰在2009年創造比特幣的時候,就有了關于支付通道的想法.

1900/1/1 0:00:00
NOS:解讀Nostr:抗審查的去中心化社交協議_STREAMERINU價格

把信息保存一億年左右的方法,他們強調,這是目前已知的唯一可行的方法,它就是——”羅輯把拐杖高舉過頭,白發長須舞動著,看上去像分開紅海的摩西,莊嚴地喊道.

1900/1/1 0:00:00
TPS:一文盤點ZKP主流實現方案技術特點_COM

概述 在研究區塊鏈系統的工作原理時,我們需要了解各種各樣密碼學知識,比如secp256k1,它是一種曲線和非對稱簽名算法,在比特幣和以太坊系統中用于簽名和驗證賬號.

1900/1/1 0:00:00
比特幣:Glassnode :鏈上數據顯示比特幣正過渡到新一輪周期_BTC

比特幣在經歷劇烈波動的一個月之后,其價格正回升到幾個群體的鏈上成本基礎之上。盡管BTC回調了6.2%,至每周低點的2.26萬美元,但目前持有者的賬戶平均處于盈利狀態,幾個宏觀鏈上指標表明,市場趨.

1900/1/1 0:00:00
ads