TL;DR
零知識證明技術,可以保證計算的完整性、正確性和隱私,在區塊鏈擴容和隱私中有應用.
zk-SNARK和zk-STARK各有優點,而它們的合理結合更加有潛力.
zkVM能賦予應用零知識證明能力,zkVM分為使用主流、EVM或全新指令集.
EVM的適配包括EVM兼容性、等同性和Specification上的適配.
zkEVM是兼容EVM而又零知識證明友好的環境,主要分為原生和編譯流派.
基于原生的zkEVM是以太坊和區塊鏈的未來.
支持Solidity生態的通用zkVM是Web3的未來.
0.零知識證明
不嚴謹但簡單易懂地來介紹一下零知識證明:
你在上小學.老師是驗證者,你作為學生是證明者.你如何證明你掌握了一元二次方程的求解公式呢?那就需要數學考試.
老師會隨機出10道相關的題目,而你如果掌握了,則可以把他們都做出來.在這個過程中,你沒有背誦或者默寫求解公式的具體內容,但是老師卻可以很簡單地驗證你的知識掌握程度.
其實這就是Tartaglia與Cardano(對的,就是這個名字)爭奪誰是一元三次方程發現者時所采用的方法.他們都不想告訴對方自己公式的內容,但是通過做題,就可以很容易地驗證且過程中不透露知識地,判斷他們是否掌握了這一知識.
區塊鏈公司Alpha Transform Holdings將推出兩只資管規模總額1億美元的基金:金色財經報道,Transform Ventures投資了一家新的控股公司,名為Alpha Transform Holdings(ATH),以加速區塊鏈投資和創新。
據了解,ATH是通過合并Transform Ventures和Alpha Sigma Capital母公司的部分資產而創建的,并將推出兩只資管規模總額1億美元的基金,分別是Alpha Liquid數字資產基金和Aegean基金。ATH的三個重點領域包括提供資產管理產品套件、Alpha Transform產品和Alpha Transform戰略。(Cointelegraph)[2023/3/8 12:50:13]
零知識證明有什么用呢?用處就是,整個過程可以節省計算算力和壓縮鏈上空間,同時也可以對隱私有保護,符合區塊鏈去信任的特點以及密碼學的基因.
1.SNARK和STARK
區塊鏈領域中所用到或者提到的“zk”通常不是真正的零知識證明,而經常是ValidityProof.由于相關詞匯的混亂,所以本文中的某些地方會延續這些“誤用”.
在目前的區塊鏈版圖中,zk可以說是區塊鏈擴容(不zk的ValidityProof)與隱私技術(真正的zk)的最前沿與最優解決方案,在Tornado.cash,ZCash,zkSync,zk.money,Filecoin,和Mina等項目中都有使用.
智能合約安全監控項目 Forta Network 已開放空投申領,將上線 Coinbase:6月16日消息,由 OpenZeppelin 孵化的智能合約安全實時監控項目 Forta Network 已開放 FORT 空投申領。此外,Coinbase 宣布將上線 FORT,若滿足流動性條件,將開放 FORT/USD、FORT/USDT 交易對。
此前報道,Forta Network 宣布將向早期貢獻者進行代幣空投,FORT 代幣總量 10 億枚,4% 將用于空投,可獲得空投的地址總計 26022 個,包括了 Forta 的用戶、Forta 建設者、多簽錢包 Gnosis Safe 簽名者、Forta 貢獻者。[2022/6/16 4:30:55]
目前的技術方案主要分為SNARK以及STARK兩類.?STARK中的S代表可擴展的,意味著被證明的語句有重復的結構,而SNARK支持任意的電路,這些電路被預處理以實現簡潔的證明.?其中對SNARK的技術實踐占據了主導地位,STARK主要有StarkWare在已上線的產品中大規模采用.以下是它們之間的對比.
從Meme的角度而言,STARK比SNARK優秀(?,StarWars,StarTrek).
如果SNARK是以太坊2.0的未來,那么STARK就會是以太坊3.0的未來.正經的來說,STARK的優勢在于
更低的gas(更能scale)
Sora Ventures聯合BitForex啟動一支NFT基金:4月12日消息,Sora Ventures聯合BitForex啟動新的NFT基金,以籌集更多資源為這些項目提供橋梁并提升其合法性,目前Sora Ventures正在尋找長期合作伙伴來建立這支基金。此次合作的主要目標是為NFT項目提供資金和社區支持,加速NFT在各種生態系統(例如幣安智能鏈、波卡、Solana,Cosmos和以太坊)上的增長和采用。
Sora Ventures成立于2018年1月,是亞洲第一家數字資產基金,管理千萬美元資產,業務涵蓋投資、孵化、社區及顧問等方面,已成功投資了Mithril、OriginProtocol、Urbit、Immutable、Tari等多個知名項目。[2021/4/12 20:10:22]
更大的batchsize(更能scale*2)
更快的證明(更能scale*3)
沒有trustedsetup(生成的參數僅對當前的應用有效,若出現了修改需要重新setup)
后量子安全
但是STARK生成的證明的體積更大,并且還大不少,由于比如WASM的一些限制,可能會在構建時需要額外的操作?(這里是SNARK).Mir前段時間在Starky給出了一個?AIR-basedSTARK?的實踐,是?Plonky2?的一部分(Plonky2和Starky的關系比較復雜...).我個人認為,體積大可以通過各種手法來優化,但是算法本身的時間復雜度是很難再進一步壓縮的.
這些零知識證明技術可以通過合理的結合來構建更強大的應用.比如PolygonHermez就通過SNARK來證實STARK的正確性,從而減少最終發布證明時的gasfee.
dForce上線穩定資產閃兌功能:dForce團隊表示,交易系統現已上線,初期將支持穩定幣之間的閃兌,后續會提供其它穩定資產兌換。目前支持的穩定幣包括 USDx,USDT,HUSD,BUSD, USDC,PAX,TUSD,DAI。[2020/5/18]
總結來說,SNARK和STARK都是優秀的零知識證明技術,各有千秋,而它們的合理結合更加有潛力.
2.zkVM
前面所說到的?Tornado.cash?和?zk.money?類似都是僅支持轉賬操作的零知識證明應用,不支持通用的計算.類比來說,這些應用都只有比特幣的功能,遠遠不及以太坊的圖靈完備,更不要說建生態了(比特幣上的智能合約一直沒做出生態來).
zkVM就是一個由零知識證明來保證安全可驗證可信特性的虛擬機,簡單來說就是,輸入舊狀態和程序,返回新狀態.它能讓所有的應用都被賦予零知識證明的超能力.
Miden在ETHAmsterdam的演講用一張圖很好概括了zkVM到底是什么.
zkVM的優點:
易用:開發者不用學密碼學或者零知識開發就可以使用zkVM來運行程序保證計算安全(不代表完全無門檻)
通用:zkVM可以給任何程序和計算生成證明.
簡潔:相對比較少量constraints就可以描述整個VM(不用重復生成整個VM的電路).
印度前移動支付巨頭FreeCharge創始人Kunal Shah近日以顧問身份加入CNN Platform區塊鏈項目:印度前移動支付巨頭FreeCharge創始人Kunal Shah近日以顧問身份加入CNN Platform區塊鏈項目。此前,CNN Token剛與印度排名第一的新聞應用NewsDog達成戰略合作,共同打造數字內容生態系統。[2018/2/5]
遞歸:免費的遞歸特性.和通用性一樣,對VM的驗證可以通過VM來進行.這個就挺好玩,比如你可以在zkVM里放一個zkVM,就類似StarkWare說的?L3的概念.
zkVM的缺點:
計算架構特殊:并非所有零知識證明系統可以被用來做zkVM.
性能問題:電路需要優化,可以為特定計算進行針對性優化.
現在主流的zkVM有三大類,括號中是它們的指令集:主流(WASM,RISC-V)、EVM(EVMbytecode)、ZK-Optimized(全新指令集,針對零知識證明所優化,比如Cairo和zkSync).以下是根據Miden在ETHAmsterdam的演講所整理的類型對比圖:
很多零知識證明開發生態所做的事情大多是讓開發者能用Circom庫(以及snarkyjs這種)或者其他新創造的語言(Leo或者Cairo這種語言都有奇奇怪怪的限制)來做通用zkDApp的開發,但是沒有像以太坊上用Solidity那么直接和易學.
除此之外,還有很多項目,比如zkSync,Scroll,或者Polygon旗下的好多家都在嘗試做zkEVM或者其他的zkVM.
3.EVM
EVM就是以太坊的虛擬機,也可以理解為運行智能合約的一套執行環境.
數年來,各個公鏈都在不停嘗試著去兼容EVM,從而接入到以太坊的開發生態當中.對于這個概念,衍生出了EVM兼容,等同和其他一些定義.
EVM兼容性:Solidity等語言層面的適配.
EVM等同性:EVM字節碼層面的適配.
EVMSpecification適配:也就是通常所說的真正的zkEVM,大多情況下甚至是向后兼容的優化后的超集,能提供賬戶抽象(就是每個賬戶都是一個智能合約)等EVM沒有提供的特性.
4.zkEVM
我們再來解讀一下zkEVM.定義上來說,zkEVM是一種兼容EVM同時又對零知識證明友好的虛擬機,能保證程序,操作,和輸入輸出等的完全正確性.
對于實現通用計算來說,要做zkEVM主要需要解決兩個難點:
a)電路復雜
不同的合約需要生成不同的電路,而且這些電路很“復雜”.
這方面主要就要靠各種優化了,比如Aleo(不過它不是directZK這一類...只是為了舉例說明優化)通過分布式Cluster來并發計算Proof,或者通過各種硬件上的優化來加速.
b)設計困難
zkEVM不止要對EVM進行重構,對以太坊的整體狀態轉換都要用零知識證明技術進行重構.
EVM設計的時候就沒想到后面要做zkEVM,造成了非常大的困難.導致了有兩個門派的路線,都在圖里了.
或者說按VM的架構來分,就長這樣(超級感謝ScrollTech的原圖總結!).Opcode指的是EVMOpcode.其中StarkWare部分是用Warp來將Solidity轉成Cairo合約,或者直接用Cairo寫合約,一樣能獲得不錯的開發體驗和全套工具.
在開發者和用戶層面,這幾個方案其實我認為是基本無差別的,但是在基礎設施上,越靠右的方案EVM兼容性越好,可以無縫接入Geth等基礎設施,但開發進度基本上也越慢.
5.zkEVM和zkVM
zkEVM的存在我認為是在以太坊生態上去翻新和打補丁,能為以太坊及其生態的繁榮添磚加瓦,而zkVM的存在卻不一定是給以太坊做加強,同時也具有更大的想象力.
StarkNet的CairoVM盡管可能不是我想象中最完美的zkVM,但它能比EVM或者zkEVM干更多的事,同時這些不止是停留在EIP級別的功能拓展.CairoVM上可以跑機器學習模型,甚至現在還有機器學習模型平臺正在StarkNet上建設.
相比zkEVM,一個zkVM會更加容易被構建(無需擔心EVM的技術債),更加靈活(無需擔心EVM的更新),更加容易優化(電路和證明器的軟硬件優化比構建zkEVM簡單和便宜非常多).
當然zkVM的一個最微小但很致命的缺點就是,如果zkVM無法支持EVM兼容(Solidity語言層面),那么zkVM就很難像EVM一樣有最完備和成熟的Web3開發生態.
zkVM或許是更大的趨勢,能讓對EVM的縱向優化,變成EVM生態的橫向拓展,跳出了EVM的限制.
6.zkVM的未來
如果能有一種通用的zkVM能夠讓所有編程語言的智能合約,不止是Solidity,不止是Cairo,而是Rust,C++,Go,在零知識證明的加持下安全運行呢?(Stellar嘗試過,但失敗了.)
正如?@kelvinfichter?所說的:?WhyzkEVMifzkMIPS?正如?@KyleSamani?所說的:?EVMisabugnotafeature.WhyzkEVMifzkVM?
Winterfall?或者?Distaff?或者?MidenVM?等zkVM都沒有做到非常好的開發友好度.Nervos有RISC-V的?VM,但是Nervos沒有用零知識證明技術.
現狀下最優解的方案就是構建一個WASM或者RISC-V的zkVM,最好能支持Rust,Go,C++,甚至Solidity(zkSync好像可以立大功)等語言.如果有這么一個通用zkVM,那么對于zkEVM會是降維打擊.
Web3開發者的數量大概占所有開發者的0.07%,也就可以推斷出,Solidity開發者的數量實際上會比0.07%更少,會用Cairo寫合約或者用Leo寫電路就更少了.這樣完美的zkVM所針對的是幾乎100%的開發者,任何開發者用幾乎任何語言都可以得到一個完美的零知識運行環境.
如果Web3和Crypto有統治世界的一天,我認為絕對不會是EVM生態占據100%的所有開發者,而是所有的開發者會慢慢轉化為Web3和Crypto開發者.這就是通用的zkVM的絕妙之處.
原生zkEVM是區塊鏈的未來.
通用zkVM是Web3的未來.
作者:SuningYao@ForesightVentures
Tags:ARKFORSTASTARGhostMarketFairy Forest NFTstarchainstart幣超話
回頭看NFT從誕生至今,已經走過10年,從最初的藝術創作、思想實驗到近兩年NFT與市場開始深度融合,也逐漸顯示經濟的周期性.
1900/1/1 0:00:00以太坊2.0質押量超1260萬枚,創歷史新高:據5月16日報道,分析平臺Nansen數據顯示,以太坊2.0質押量已超1260萬枚,占流通總量的10.4%,創歷史新高.
1900/1/1 0:00:00區塊鏈數據分析機構Chainalysis的最新報告顯示,2022年,DeFi成為洗錢和黑客攻擊這兩大犯罪活動的主要目標.
1900/1/1 0:00:00每個長線持倉都會很痛苦,看到價格的崩塌這件事并不有趣。似乎我們本應該做到更好的風險管理,但事后才發現仍然是倉位滿滿.
1900/1/1 0:00:00金色財經?區塊鏈5月16日訊??回顧加密貨幣十多年發展史,每個人都知道這一領域曾經發生過很多瘋狂的事情.
1900/1/1 0:00:00自90年代創造《元宇宙》以來,一直有很多關于《元宇宙》的討論,但尤其是在大流行期間,在Facebook更名為Meta之后更是如此.
1900/1/1 0:00:00