STA:解讀 zk、zkVM、zkEVM 的現狀及未來_bitstamp交易平臺怎么

核心提煉

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

Cathie Wood：加密貨幣如果成為美國政策錯誤的替罪羊，將會轉移到海外:3月16日消息，Ark Invest創始人“木頭姐”Cathie Wood在推特稱，美國聯邦存款保險公司和其他機構將阻止美國參與互聯網革命最重要的階段，監管機構正在把加密貨幣作為他們自己在傳統銀行業監管失誤的替罪羊。

在去中心化、透明、可審計和超額抵押的加密資產生態系統中，類似傳統銀行的崩潰是不可能發生的。事實上，上周加密資產表現得像避風港，其價格與黃金一起上漲。加密是解決傳統金融系統中心化故障點、不透明性和監管錯誤的解決方案。如果成為美國政策錯誤的替罪羊，加密貨幣將轉移到海外，使美國錯過歷史上最重要的一個創新階段。[2023/3/16 13:07:05]

零知識證明

Starknet數據面板StarkBoard發布V1版本，可查看TVL、交易信息等數據:9月17日消息，Starknet數據面板StarkBoard發布V1版本，目前用戶可查看TVL、日活躍地址數、交易信息等數據，接下來V2版本將覆蓋深入的協議和DApp數據、發布API、鏈上alpha機會收集、鏈上游戲統計、DAO2DAO服務等。[2022/9/17 7:03:12]

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

數據：近24小時以太坊網絡活躍地址數激增10%:金色財經報道，據OKLink多鏈瀏覽器數據監測，近24小時以太坊網絡活躍地址數激增47945個，增幅約為9.8%，目前日活躍地址為536,586個。從9月12日起，以太坊網絡的日活躍地址數已連續3天正向增加。活躍地址數的持續增長，說明隨著以太坊合并日益臨近，各類鏈上活動正變得逐漸頻繁。[2022/9/14 13:29:12]

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

老師會隨機出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：ARKSTARKSTARSTANOAHARKSTARK幣ASTAR幣bitstamp交易平臺怎么

火必交易所