作者：NingNing，獨立分析師來源：Twitter@0xNing0x
超越現象洞察週期
太陽之下沒有新鮮事
比特幣的價格貌似變幻莫測，其實不過是無聊透頂的各個金融週期循環在時空域的投影與疊加。如果我們只盯著K線，就瞄著分時圖，沉湎於現象界，就無法獲得一種超然的視野去洞察週期，在不確定之中尋找到確定。
知道ZkSnark牛，但為什麼在Vitalik眼中有那麼牛？
1.關於ZkSnark，頂級玩家與市場存在認知差
食物鏈頂層玩家與市場共識的認知差，是長期投資者Alpha收益的一個重要來源。目前市場的普遍認為ZkSnark只是一種區塊鏈的二層擴展技術，處於從屬地位。然而，Vitalik卻在黑山以太坊開發者峰會上說，未來10年ZkSnark將於區塊鏈並駕齊驅。 Vitalik與市場對ZkSnark存在著相當大大的認知差，而這個認知差會為我們創造巨大的Alpha收益。
2.什麼是ZkSnark，ZkSnark與ZkStark有何區別？
這個問題，我們交由ChatGPT來回答：
ZkSnark（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）和ZkStark（Zero-Knowledge Succinct Transparent Argument of Knowledge）都是用於實現零知識證明（Zero-Knowledge Proofs）的密碼學技術，但它們之間存在一些區別。
交互性：ZkSnark是非交互式的證明協議，即證明者只需生成一個證明，然後驗證者可以在不需要與證明者交互的情況下進行驗證。而ZkStark是交互式的證明協議，需要多個輪次的交互才能完成證明和驗證的過程。
可驗證的可擴展性：ZkSnark在生成證明時，生成的證明的大小是固定的，不依賴於要證明的語句的規模。這使得ZkSnark在可驗證的可擴展性方面表現得很好。相比之下，ZkStark的證明大小與要證明的語句的規模成正比，這意味著隨著要證明的語句規模的增長，證明的大小也會增加，導致可擴展性相對較差。
透明性：ZkSnark的證明是非透明的，也就是說，驗證者不能從證明中獲取到有關證明過程的詳細信息。與之相反，ZkStark的證明是透明的，驗證者可以從證明中直接獲得關於證明過程的詳細信息，這使得ZkStark在可審計性方面具有優勢。
安全性假設：ZkSnark的安全性建立在復雜的數學假設上，如零知識假設和特定的雙線性對假設。相比之下，ZkStark的安全性建立在更強的假設上，如哈希函數的預圖難題。綜上所述，ZkSnark和ZkStark在交互性、可驗證的可擴展性、透明性和安全性假設等方面存在差異。選擇使用哪種技術取決於具體的應用場景和需求。
3.對於ZkSnark與ZkStark有何區別
ChatGPT給出的答案有點抽象，我這個人工人工智能給出的答案如下：
–ZkSnark與ZkStark相比，它在零知識證明的過程中，引入了哈希函數和密鑰生成器，其中密鑰生成器由一個密鑰生成函數+一個保密“Lambda”值組成
以太坊基金會正在舉行的KZG儀式正是為了完成EIP4844協議的Blob數據擴展生成“Lambda”值。
–因為引入了哈希函數和密鑰生成器，ZkSnark不再需要ZkStark的驗證者（V）與證明者（P）的多輪交互，而且因為哈希函數輸出值為固定長度，又賦予了ZkSnark的ZKP（ZK證明）長度固定體積小的特性。
4.因為以上的技術特性，在生成ZKP時和ZK驗證過程中，ZkSnark需要消耗的計算資源要比ZkStark更少
另外，ZkSnark生成的ZKP長度固定，而ZkSnark則不固定，以上因素使得ZkSnark具有簡潔性、高效性、隱私保護和互操作性的優點。但由於需要一個儀式生成“Lambda”值，在安全性上弱於ZkStark。
ZkSnark比ZkStark早6年開發，最早的一個實例為區塊鏈1.0時代的隱私幣Zcash，進入區塊鏈2.0時代後，ZkSnark主要應用場景從隱私轉為區塊鏈二層（L2，layer2）擴展，知名的實例有路印協議、ZkSync、Aztec、Scroll等等。理論上由於需要計算資源較少和ZKP長度固定且體積小，採用ZkSnark方案的L2鏈的gas費會低於採用ZkStark方案的L2鏈，這就是為什麼Zksync Era的gas費比ZkStark低的一個重要原因，非知名的實例有基於Gnosis鏈（原xDAI鏈）的星際主題鏈遊Dark Forest（黑暗森林），遊戲玩家有Vitalik和Matt Huang。
5.為什麼在V神眼中ZkSnark可以與區塊鍊等量齊觀呢？
區塊鏈與ZkSnark解決的其實是同一個問題，即Alice如何向Bob證明她擁有某物。
區塊鏈的解決方案是分佈式賬本+共識機制，ZkSnark的解決方案則是通過密碼學計算區塊鏈的實現方式是分佈式的冗餘系統，ZkSnark的實現方式是集中式的效率系統。正因為這一點，區塊鏈與ZkSnark天然具有耦合性，區塊鏈可以將事務和狀態的證明外包給ZkSnark，而自身專注於數據可用性和最終確認性，這樣理論上就可以巧妙地化解區塊鏈的不可能三角，實現區塊鏈的指數級擴展，從而為未來10年的Web3大規模採用準備好基礎設施我想正是從這個意義上，ZkSnark可以與區塊鏈相提並論，可以與區塊鏈一起被看做是Web3基礎設施的兩根支柱。
