Vitalik 力推的 zk-SNARK 到底是什么？解決什么問題？_NAR

原文來源：?Haotian，區塊鏈安全從業者??

在黑山EDCON大會中@VitalikButerinV神系統闡述了以太坊網絡在擴容、隱私、安全等方面存在的技術挑戰，最終得出結論未來10年zk-SNARK將與區塊鏈一樣重要。V神不遺余力推的zk-SNARK到底是什么？zk-SNARK技術到底能解決哪些當下區塊鏈疑難雜癥？接下來的Thread，我來拋磚引玉大家一起探討下。1/n

SNARK全稱為(succinctnon-interactiveargumentofknowledge)即簡潔非交互式知識論證，其核心是通過數學算法來構建一個證明系統，使得驗證者在不了解原始數據的情況下驗證數據本身的正確性。其實現過程涉及可驗證電路、橢圓曲線密碼學原理、哈希函數、加密算法等復雜技術，在此不贅論過多細節。2/n??

Blur推出Global Activity界面，可監控所有NFT系列的上架和銷售活動:金色財經報道，NFT 市場 Blur 宣布推出可監控和跟蹤所有 NFT 系列上架和銷售活動的 Global Activity 界面，同時允許用戶自定義監控多個 NFT 系列的活動。[2023/4/21 14:17:52]

由于SNARK可以把原始數據壓縮為一個極小的證明來驗證其輸入數據的正確性，加之zk零知識的技術基礎，使得zk-SNARK可以在區塊鏈擴展性、隱私性、安全性等方面大展拳腳。特別是2018年以太坊啟用了馬卡洛夫隨機演算法(MAST)后，zk-SNARK可以直接融入到以太坊系統中來解決以太坊網絡當下的瓶頸問題。3/n??

這正是為何，原生于@Starknet的zk-STARK技術雖然可處理更復雜的計算問題，但zk-SNARK卻被寄予了更大厚望。尤其是大家困惑的一些區塊鏈悖論在換上zk-SNARK的底層后都可以有效解決，比如：保護隱私潛在的黑客洗錢問題，socialrecovery逃不開的中心化機構干涉問題等等。4/n??

B-Harvest將于4月14日推出代替Gravity DEX的新項目Crescent:4月8日消息，Gravity DEX開發團隊B-Harvest宣布代替Gravity DEX的新項目Crescent（CRE）計劃于4月14日推出，并將由Cosmos Hub轉向基于Cosmos的同名區塊鏈Crescent。B-Harvest團隊還計劃通過一系列新功能充實該平臺，包括跨區塊鏈借貸工具以及新的訂單簿DEX模型。一旦Crescent啟動，B-Harvest的舊協議Gravity將繼續運行，Crescent將向用戶提供質押收益獎勵，以吸引用戶將流動性遷移到新協議。

此前報道，Gravity DEX開發團隊成立代替Gravity DEX的新項目Crescent，Crescent已經公布了治理代幣CRE分配模型，總量2億枚，其中將向ATOM委托者（delegator）空投1億枚，另外1億枚作為戰略儲備。（CoinDesk）[2022/4/8 14:13:10]

先說擴展性。zk-rollup技術高度領先于op-rollup，是一套以太坊二層的終局解決方案。op先默認一切交易樂觀化，提交上鏈后再進行7天的fraud欺詐證明挑戰期，而zk則可以直接基于數學算法快速、安全地確保每一筆上鏈的交易都具備合法性。5/n??

Vitalik Buterin：已向阿桑奇的AssangeDAO捐款:2月7日消息，AssangeDAO是一個以維基解密創始人阿桑奇命名的去中心化自治組織，該組織宣稱將籌集資金，幫助阿桑奇支付法律費用，并開展活動，提高公眾對司法系統系統性故障的認識。據以太坊生態去中心化基礎設施Gnosis聯合創始人Martin K?ppelmann在推特透露，他已經向AssangeDAO捐贈了10 ETH，而以太坊聯合創始人Vitalik Buterin回應道，「我也捐贈了」。不過，目前尚不清楚Vitalik Buterin的具體捐贈金額。現階段，AssangeDAO 通過 JuiceBox 平臺的第一輪融資已于北京時間 2 月 7 日 6 時 32 分結束，目前共籌集了12630個ETH，超過了ConstitutionDAO（People）籌集的11613枚ETH，第二輪融資將于北京時間2月9日6時32分結束。[2022/2/8 9:36:31]

這里zk-SNARK解決了以太坊擴展性的一個悖論問題，擴展性和中心化的矛盾。雖然op-rollup解決方案實際落地場景更成熟一些，但其在排序器sequencer，optimistic樂觀挑戰驗證的過程中卻還是有中心化的潛在風險的。我們當然可以「樂觀」，但最終要實現絕對意義去中心化的rollup，還必須得SNARK不可。6/n??

Diginex與Itiviti擴大合作 以采用后者的Tbricks自動化解決方案:全球金融機構技術和服務提供商Itiviti宣布擴大了與數字資產金融服務和咨詢公司Diginex的合作關系，后者將實施Itiviti的Tbricks自動化解決方案。Diginex選擇Tbricks為其機構客戶提供風險、損益表和投資組合管理。值得一提的是，該公司將使用Tbricks推出Diginex Access，這是一種針對數字資產的多地點交易、投資組合和風險管理服務，將由Tbricks自動化技術提供支持。（Finance Magnates）[2020/7/16]

再來看隱私性。基于現有區塊鏈技術語境，我們發展隱私技術會陷入一個邏輯悖論，隱私最終為黑客做嫁衣不成？但若基于zk-SNARK，就可以做一套Proofofinnocence方案，在保障用戶通過隱私出入金的同時，又規避不法分子用來作惡。具體而言，可以將POI技術應用到Tornado類似的協議當中；7/n

POI技術給每個用戶提供了基于區塊鏈狀態歷史記錄和私鑰生成的數字指紋，當黑客試圖通過Tornado的混幣交易池洗錢時，若他提供的出金請求地址和入金地址相矛盾，就會被攔截并退回到原始的混幣地址中。等于黑客的不明資產無法通過混幣系統逃避追蹤了；8/n??

當然，還可以像V神演講中所指的那樣，直接構建exclusionlist默克爾樹，相當于給Tornado協議加入了一個黑名單機制。正常用戶的入金不在list之內就可以生成無辜證明進而正常使用Tornado，反之則恰恰相反。加黑名單雖然有效，但有中心化風險，個人認為阻撓出入金私鑰不一致的交易更有意義一些；9/n??

最后再說說第三方party抗審查悖論問題。SocialRecovery功能毫無疑問是區塊鏈大規模應用(MassAdoption必定要走的路，但從前兩天@Ledger開放此功能遭受的社區抗議就不難看出，Recovery不可能建立在Thirdparty是中心化的前提下。而zk-SNARK技術恰好可以解決這個問題。10/n??

簡單來說，當用戶生成多個私鑰分片時，可以將碎片加密并使用zk-SNARK證明系統來生成證明，然后將證明分配給可信的機構或朋友。若用戶私鑰遺失，可請求第三方提供碎片數據證明，然后使用zk-SNARK來驗證這些證明的準確性，進而實現了不透露私鑰分片就可socialrecovery的功能。11/n??

以上內容被充分理解后，就不難看出zk-SNARK技術對于區塊鏈系統的重要性了，它可以解決擴展性和中心化、隱私性和作惡，安全性和抗審查等種種以太坊網絡當下發展悖論問題。所以V神說zk-SNARK10年后會和區塊鏈一樣重要，沒準以太坊未來也會zk-SNARK化，嗯，zk-SNARKSRuleEverthingArroundMe。12/12??

感謝@TommyDeng_DAO第一時間對黑山V神大會演講內容的概括，以及大量精彩的配圖。以上技術思考僅拋轉引玉開放性思考，歡迎大家拍磚討論。??

Tags：ARKNARVIT區塊鏈CryptoMarketAdsDenariusVITEyac幣是區塊鏈嗎

TRX