解讀 zk、zkVM、zkEVM 的現狀及未來_ARK:區塊鏈

核心提煉

零知識證明技術，可以保證計算的完整性、正確性和隱私，在區塊鏈擴容和隱私中有應用。zk-SNARK和zk-STARK各有優點，而它們的合理結合更加有潛力。zkVM能賦予應用零知識證明能力，zkVM分為使用主流、EVM或全新指令集。EVM的適配包括EVM兼容性、等同性和Specification上的適配。zkEVM是兼容EVM而又零知識證明友好的環境，主要分為原生和編譯流派。基于原生的zkEVM是以太坊和區塊鏈的未來。支持Solidity生態的通用zkVM是Web3的未來。

數據：兩巨鯨正將stETH與WBTC拋售換成USDC:6月19日消息，據Spot On Chain監測，兩個短線巨鯨正在拋售以獲取利潤。2小時前，巨鯨0x655地址用2535枚stETH換取436萬枚USDC，均價為1719美元。自4月21日以均價1937美元套現至今天的拋售，其總利潤達到約360萬美元，投資回報率為14.38%。過去22小時內，巨鯨0x109地址用138枚WBTC換取365萬枚USDC，均價為26,421美元。目前，0x109已從WBTC中獲利87.1萬美元，投資回報率為8.01%。該巨鯨仍持有72枚WBTC，170枚WBTC已經借給Aave V3。[2023/6/19 21:46:32]

零知識證明

過去7天比特幣NFT在所有區塊鏈銷售中排名位居第二:金色財經報道，NFT的銷售額上周出現小幅上漲，與前一周相比微增約1.46%。從2023年4月29日到5月6日，NFT銷售額的累計價值達到1.4931億美元。盡管如此，最近一周的銷售額仍超出預期，銷售額猛增31.22%。在這7天的時間間隔內，NFT銷售額達到2.0817億美元。本周NFT銷量的大幅增長可以歸功于源自比特幣區塊鏈的NFT的出現。基于比特幣的NFT銷售增長勢頭強勁，根據2023年5月14日記錄的cryptoslam數據，在21個不同的區塊鏈中，比特幣NFT銷售額已成為數字收藏品銷售領域的主要貢獻者。以太坊NFT銷售額繼續占據主導地位，NFT銷售額為1.1126億美元；但是，亞軍位置由基于比特幣的NFT（也稱為序數銘文）占據。數據顯示，比特幣NFT銷售額達到53,433,451美元，在21條區塊鏈中銷售額位居第二位。與前一周相比，比特幣的NFT銷售額躍升了187.54%。[2023/5/15 15:03:02]

不嚴謹但簡單易懂地來介紹一下零知識證明:

英國央行副行長：正在探索貨幣Token化的方式:金色財經報道，英格蘭銀行副行長Jon Cunliffe在倫敦市政廳舉行的創新金融全球峰會上探討了中央銀行如何確保英國的經濟未來，以及數字貨幣和資產是否是答案。Jon Cunliffe表示，社會正在逐漸遠離公共發行及英銀行實物貨幣，而轉向電子貨幣。這是因為日常生活的數字化，Pay.UK的新支付架構、實時全額支付系統、高價值支付系統的實施，以及在IFGS上宣布的開放銀行框架的擴展和加密貨幣世界中完善的技術，如代幣化、加密、分銷、原子結算和智能合約。

Cunliffe還討論了正在探索貨幣 Token 化的四個領域：用于支付的穩定幣、商業銀行存款的代幣化、英格蘭銀行發行數字英鎊的工作以及該銀行確保這些新形式的貨幣是穩健和統一的。[2023/4/18 14:11:07]

你在上小學。老師是驗證者，你作為學生是證明者。你如何證明你掌握了一元二次方程的求解公式呢？那就需要數學考試。

老師會隨機出10道相關的題目，而你如果掌握了，則可以把他們都做出來。在這個過程中，你沒有背誦或者默寫求解公式的具體內容，但是老師卻可以很簡單地驗證你的知識掌握程度。

其實這就是Tartaglia與Cardano(對的，就是這個名字)爭奪誰是一元三次方程發現者時所采用的方法。他們都不想告訴對方自己公式的內容，但是通過做題，就可以很容易地驗證且過程中不透露知識地，判斷他們是否掌握了這一知識。

零知識證明有什么用呢？用處就是，整個過程可以節省計算算力和壓縮鏈上空間，同時也可以對隱私有保護，符合區塊鏈去信任的特點以及密碼學的基因。

SNARK和STARK

區塊鏈領域中所用到或者提到的「zk」通常不是真正的零知識證明，而經常是ValidityProof。由于相關詞匯的混亂，所以本文中的某些地方會延續這些「誤用」。

在目前的區塊鏈版圖中，zk可以說是區塊鏈擴容(不zk的ValidityProof)與隱私技術(真正的zk)的最前沿與最優解決方案，在Tornado.cash、ZCash、zkSync、zk.money、Filecoin和Mina等項目中都有使用。

目前的技術方案主要分為SNARK以及STARK兩類。STARK中的S代表可擴展的，意味著被證明的語句有重復的結構，而SNARK支持任意的電路，這些電路被預處理以實現簡潔的證明。其中對SNARK的技術實踐占據了主導地位，STARK主要有StarkWare在已上線的產品中大規模采用。以下是它們之間的對比。

從Meme的角度而言，STARK比SNARK優秀(

Tags：ARKNFT區塊鏈STAMango MarketsNFTT幣區塊鏈技術通俗講解簡書STAR1

Uniswap