TL; DR
零知識證明技術, 可以保證計算的完整性、正確性和隱私, 在區塊鏈擴容和隱私中有應用.
zk-SNARK 和 zk-STARK 各有優點, 而它們的合理結合更加有潛力.
zkVM 能賦予應用零知識證明能力, zkVM 分為使用主流、EVM 或全新指令集.
EVM 的適配包括 EVM 兼容性、等同性和 Specification 上的適配.
zkEVM 是兼容 EVM 而又零知識證明友好的環境, 主要分為原生和編譯流派.
基于原生的 zkEVM 是以太坊和區塊鏈的未來.
支持 Solidity 生態的通用 zkVM 是 Web3 的未來.
不嚴謹但簡單易懂地來介紹一下零知識證明:
你在上小學. 老師是驗證者, 你作為學生是證明者. 你如何證明你掌握了一元二次方程的求解公式呢? 那就需要數學考試.
老師會隨機出 10 道相關的題目, 而你如果掌握了, 則可以把他們都做出來. 在這個過程中, 你沒有背誦或者默寫求解公式的具體內容, 但是老師卻可以很簡單地驗證你的知識掌握程度.
其實這就是 Tartaglia 與 Cardano (對的, 就是這個名字) 爭奪誰是一元三次方程發現者時所采用的方法. 他們都不想告訴對方自己公式的內容, 但是通過做題, 就可以很容易地驗證且過程中不透露知識地, 判斷他們是否掌握了這一知識.
Lifeform自營商城30日NFT成交易額超350萬美金:5月21日消息,Lifeform自營商城30日NFT成交易額超350萬美金,在BNB Chain所有NFT交易市場中占據35.59%的份額,僅落后于OpenSea,目前Lifeform Marketplace支持交易的NFT合集僅有Lifeform生態及孵化項目,包括Lifeform Avatar,Lifeform Cartoon,Lifeform POAP,HALO Avatar,HALO WORLD Item, Lifeform Item,HALO World Original Citizens。[2023/5/21 15:17:06]
零知識證明有什么用呢? 用處就是, 整個過程可以節省計算算力和壓縮鏈上空間, 同時也可以對隱私有保護, 符合區塊鏈去信任的特點以及密碼學的基因.
區塊鏈領域中所用到或者提到的 “zk” 通常不是真正的零知識證明, 而經常是 Validity Proof. 由于相關詞匯的混亂, 所以本文中的某些地方會延續這些 “誤用”.
在目前的區塊鏈版圖中, zk 可以說是區塊鏈擴容 (不 zk 的 Validity Proof) 與隱私技術 (真正的 zk) 的最前沿與最優解決方案, 在 Tornado.cash, ZCash, zkSync, zk.money, Filecoin, 和 Mina 等項目中都有使用.
目前的技術方案主要分為 SNARK 以及 STARK 兩類.?STARK 中的 S 代表可擴展的, 意味著被證明的語句有重復的結構, 而 SNARK 支持任意的電路, 這些電路被預處理以實現簡潔的證明.?其中對 SNARK 的技術實踐占據了主導地位, STARK 主要有 StarkWare 在已上線的產品中大規模采用. 以下是它們之間的對比.
外媒:Terra崩潰的罪魁禍首“錢包A”是Terraform Labs的錢包:6月14日消息,區塊鏈安全公司Uppsala Security和CoinDesk Korea對TerraUSD攻擊者錢包(0x8d47f08ebc5554504742f547eb721a43d4947d0a)“錢包A”的交易歷史進行了深入分析。推斷給算法Stablecoin Terra USD(UST)造成致命打擊的攻擊者錢包是TerraformLabs管理的錢包。表明造成數十萬億韓元投資者損失的Terra崩盤事件不是外部攻擊,而是內部所為。據悉,正在調查Terra事件的韓國檢察機關也確認了這種情況,并正在繼續深入調查。(CoinDesk Korea)[2022/6/14 4:26:12]
從 Meme 的角度而言, STARK 比 SNARK 優秀 (?, Star Wars, Star Trek).
如果 SNARK 是以太坊 2.0 的未來, 那么 STARK 就會是以太坊 3.0 的未來. 正經的來說, STARK 的優勢在于
更低的 gas (更能 scale)
更大的 batch size (更能 scale * 2)
更快的證明 (更能 scale * 3)
沒有 trusted setup (生成的參數僅對當前的應用有效, 若出現了修改需要重新 setup)
后量子安全
但是 STARK 生成的證明的體積更大, 并且還大不少, 由于比如 WASM 的一些限制, 可能會在構建時需要額外的操作?(這里是 SNARK). Mir 前段時間在 Starky 給出了一個?AIR-based STARK?的實踐, 是?Plonky2?的一部分(Plonky2 和 Starky 的關系比較復雜...). 我個人認為, 體積大可以通過各種手法來優化, 但是算法本身的時間復雜度是很難再進一步壓縮的.
Gate.io AMPL充值用戶可驗證并領取FORTH:據官方公告,Gate.io是最早為用戶提供AMPL服務的平臺之一,目前AMPL項目方正在按2021年3月30日之前的區塊鏈記錄為鏈上地址空投治理代幣FORTH。用戶可使用Gate.io的AMPL充值地址通過驗證網址判定領取資格,有資格的用戶可通過metamask錢包鏈接后,將要領取的地址修改為在Gate.io的AMPL充值地址并授權領取,Gate.io將自動為用戶入賬FORTH到現貨賬戶。[2021/4/22 20:47:53]
這些零知識證明技術可以通過合理的結合來構建更強大的應用. 比如 Polygon Hermez 就通過 SNARK 來證實 STARK 的正確性, 從而減少最終發布證明時的 gas fee.
總結來說, SNARK 和 STARK 都是優秀的零知識證明技術, 各有千秋, 而它們的合理結合更加有潛力.
前面所說到的?Tornado.cash?和?zk.money?類似都是僅支持轉賬操作的零知識證明應用, 不支持通用的計算. 類比來說, 這些應用都只有比特幣的功能, 遠遠不及以太坊的圖靈完備, 更不要說建生態了 (比特幣上的智能合約一直沒做出生態來).
zkVM 就是一個由零知識證明來保證安全可驗證可信特性的虛擬機, 簡單來說就是, 輸入舊狀態和程序, 返回新狀態. 它能讓所有的應用都被賦予零知識證明的超能力.
Miden 在 ETH Amsterdam 的演講用一張圖很好概括了 zkVM 到底是什么.
DeFi借貸平臺ForTube鎖倉1億FOR作為平臺運營風險準備金:DeFi借貸平臺ForTube(FOR)已鎖倉1億FOR作為平臺運營風險準備金,該筆資金為保障用戶資產安全的專項資金。當出現因平臺原因導致用戶資產受損時,ForTube將啟動風險準備金賠償機制,用戶個人原因導致資產受損不在賠付范圍。ForTube平臺運營風險準備金賬戶地址為0x5eedc7317fb06e5d3c50d3da90035437563958c1。[2020/10/30 11:14:54]
zkVM 的優點:
易用: 開發者不用學密碼學或者零知識開發就可以使用 zkVM 來運行程序保證計算安全 (不代表完全無門檻)
通用: zkVM 可以給任何程序和計算生成證明.
簡潔: 相對比較少量 constraints 就可以描述整個 VM (不用重復生成整個 VM 的電路).
遞歸: 免費的遞歸特性. 和通用性一樣, 對 VM 的驗證可以通過 VM 來進行. 這個就挺好玩, 比如你可以在 zkVM 里放一個 zkVM, 就類似 StarkWare 說的?L3 的概念.
zkVM 的缺點:
計算架構特殊: 并非所有零知識證明系統可以被用來做 zkVM.
性能問題: 電路需要優化, 可以為特定計算進行針對性優化.
現在主流的 zkVM 有三大類, 括號中是它們的指令集: 主流 (WASM, RISC-V)、EVM (EVM bytecode)、ZK-Optimized (全新指令集, 針對零知識證明所優化, 比如 Cairo 和 zkSync). 以下是根據 Miden 在 ETH Amsterdam 的演講所整理的類型對比圖:
國內知名外匯平臺Formax支持比特幣入金:金色財經發現,國內知名外匯平臺Formax支持比特幣入金。Formax Group Limited創立于2012年,是一家致力于提供全方位金融生活服務的創新型公司。集團目前主營業務涉及互聯網金融、汽車與智能制造、生活與消費等三大方面,包含外匯/港美股在線交易服務,小微貸款,財富管理,保險經紀,私募基金,新車/二手車交易,智能停車庫制造,輕奢電商,高端定制出游服務等等。[2018/4/24]
很多零知識證明開發生態所做的事情大多是讓開發者能用 Circom 庫 (以及 snarkyjs 這種) 或者其他新創造的語言 (Leo 或者 Cairo 這種語言都有奇奇怪怪的限制) 來做通用 zk DApp 的開發, 但是沒有像以太坊上用 Solidity 那么直接和易學.
除此之外, 還有很多項目, 比如 zkSync, Scroll, 或者 Polygon 旗下的好多家都在嘗試做 zkEVM 或者其他的 zkVM.
EVM 就是以太坊的虛擬機, 也可以理解為運行智能合約的一套執行環境.
數年來, 各個公鏈都在不停嘗試著去兼容 EVM, 從而接入到以太坊的開發生態當中. 對于這個概念, 衍生出了 EVM 兼容, 等同和其他一些定義.
EVM 兼容性: Solidity 等語言層面的適配.
EVM 等同性: EVM 字節碼層面的適配.
EVM Specification 適配: 也就是通常所說的真正的 zkEVM, 大多情況下甚至是向后兼容的優化后的超集, 能提供賬戶抽象 (就是每個賬戶都是一個智能合約) 等 EVM 沒有提供的特性.
我們再來解讀一下 zkEVM. 定義上來說, zkEVM 是一種兼容 EVM 同時又對零知識證明友好的虛擬機, 能保證程序, 操作, 和輸入輸出等的完全正確性.
對于實現通用計算來說, 要做 zkEVM 主要需要解決兩個難點:
不同的合約需要生成不同的電路, 而且這些電路很 “復雜”.
這方面主要就要靠各種優化了, 比如 Aleo (不過它不是 direct ZK 這一類... 只是為了舉例說明優化) 通過分布式 Cluster 來并發計算 Proof, 或者通過各種硬件上的優化來加速.
zkEVM 不止要對 EVM 進行重構, 對以太坊的整體狀態轉換都要用零知識證明技術進行重構.
EVM 設計的時候就沒想到后面要做 zkEVM, 造成了非常大的困難. 導致了有兩個門派的路線, 都在圖里了.
或者說按 VM 的架構來分, 就長這樣 (超級感謝 Scroll Tech 的原圖總結!). Opcode 指的是 EVM Opcode. 其中 StarkWare 部分是用 Warp 來將 Solidity 轉成 Cairo 合約, 或者直接用 Cairo 寫合約, 一樣能獲得不錯的開發體驗和全套工具.
在開發者和用戶層面, 這幾個方案其實我認為是基本無差別的, 但是在基礎設施上, 越靠右的方案 EVM 兼容性越好, 可以無縫接入 Geth 等基礎設施, 但開發進度基本上也越慢.
zkEVM 的存在我認為是在以太坊生態上去翻新和打補丁, 能為以太坊及其生態的繁榮添磚加瓦, 而 zkVM 的存在卻不一定是給以太坊做加強, 同時也具有更大的想象力.
StarkNet 的 Cairo VM 盡管可能不是我想象中最完美的 zkVM, 但它能比 EVM 或者 zkEVM 干更多的事, 同時這些不止是停留在 EIP 級別的功能拓展. Cairo VM 上可以跑機器學習模型, 甚至現在還有機器學習模型平臺正在 StarkNet 上建設.
相比 zkEVM, 一個 zkVM 會更加容易被構建 (無需擔心 EVM 的技術債), 更加靈活 (無需擔心 EVM 的更新), 更加容易優化 (電路和證明器的軟硬件優化比構建 zkEVM 簡單和便宜非常多).
當然 zkVM 的一個最微小但很致命的缺點就是, 如果 zkVM 無法支持 EVM 兼容 (Solidity 語言層面), 那么 zkVM 就很難像 EVM 一樣有最完備和成熟的 Web3 開發生態.
zkVM 或許是更大的趨勢, 能讓對 EVM 的縱向優化, 變成 EVM 生態的橫向拓展, 跳出了 EVM 的限制.
如果能有一種通用的 zkVM 能夠讓所有編程語言的智能合約, 不止是 Solidity, 不止是 Cairo, 而是 Rust, C++, Go,在零知識證明的加持下安全運行呢? (Stellar 嘗試過, 但失敗了.)
正如?@kelvinfichter?所說的:?Why zkEVM if zkMIPS? 正如?@KyleSamani?所說的:?EVM is a bug not a feature. Why zkEVM if zkVM?
Winterfall?或者?Distaff?或者?Miden VM?等 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 的未來.
作者: Suning Yao @ Foresight Ventures
Tags:ARKFORSTASTARDeutsche eMarkAsia Influencer PlatformStargram CoinPSTAR
前段時間我們在圈內親眼見證了一個算法穩定幣巨頭——UST的崩塌,當Terra陷入死亡漩渦之時,UST脫錨,LUNA價格一夕之間歸零,這不由的使得圈內人士開始重新打量算法穩定幣市場的風險.
1900/1/1 0:00:00如果現在有一群極其富有但極其無聊的的 BTC 巨鯨,決定每年共同拿出 1000 個 BTC 舉辦一次俄羅斯輪盤.
1900/1/1 0:00:00大家好,我是 Raoul Pal,Real Vision 的 CEO 和聯合創始人。今天,我將以 Global Macro Investor 首席執行官和創始人的身份與各位交流.
1900/1/1 0:00:00野火燒不盡,春風吹又生。2021年中國政府嚴厲禁止比特幣挖礦之后,中國的比特幣算力占全球總算力比例一度跌至0%,但風暴之后,中國礦工仍在比特幣世界占據重要角色.
1900/1/1 0:00:00金色財經報道,5月10日,云南省人民政府官網公開了《云南省數字經濟發展三年行動方案(2022—2024年)》的詳細內容,其中包含區塊鏈相關內容,金色財經整理摘錄如下.
1900/1/1 0:00:00微軟聯合創始人比爾·蓋茨并不是加密貨幣的粉絲。蓋茨現在是全球第四大富豪,擁有1,250億美元的身家.
1900/1/1 0:00:00