“一流VC”搞開發：a16z crypto的兩個SNARK工具_ARK

作者：Arrow@go2mars，來源：作者推特@ArrowCrypto_eth

最近在看一些海外加密基金對Crypto生態的拓展和創新。今天就來看看本月A16Z Crypto新推出的兩個SNARK工具。盡量只聊什么東西可以解決什么問題。 

談到SNARK那就先聊一聊zkSNARKs吧，實際上今天聊的話題中這是兩個不同的方面。 

既然從zkSNARKs開始聊起，零知識的基本原理證明就不再贅述，這項技術具有完備性，正確性和零知識性三個特點，可以實現即證明了結論又不需要透露任何細節。同時，在同態加密的背景下，驗證難度要遠遠低于生成證明難度。 

我們之前在聊Layer2的時候其實提到過ZK，比如Zk-Rollup，作為一種有效證明機制為以太坊的擴容提出了新的方案。之前大家忙著擼空投做交互的zkSync，其核心即使用ZK將多個操作包到一個證明里，在鏈下完成大多數計算工作。

北京市海淀區政務服務“一網通辦”平臺運用區塊鏈等技術:2020年北京海淀區政務服務圍繞企業和個人兩個服務主體的全生命周期，以區塊鏈等新技術應用為突破點，致力打造“全覆蓋、全流程、全周期、全時段”的全場景式政務服務新生態。4月7日開始，涵蓋營業執照、婚姻信息、殘疾人信息、專利證書信息等4類國家級數據、17類市級數據、4類區級數據，共計25類證照材料的200余數據項在海淀區政務服務“一網通辦”平臺運用區塊鏈等新技術，實現實時核驗材料和身份。（科技日報）[2020/4/16]

zkSNARKs——零知識證明應用最廣泛的技術

zk-SNARK，即“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”，即零知識簡明非交互式知識證明。 

動態 | 法國財長要求Facebook就Libra的問題提供“一些保證”:據Fxstreet消息，就在Facebook發布其備受關注的穩定貨幣白皮書的同一天，法國財政部長Bruno Le Maire發出警告稱Facebook加密貨幣不具備成為主權貨幣的能力。Maire表示，各國政府有權”向Facebook要求一些擔保”，這將明確Libra不會成為現有主權貨幣的競爭對手。穩定幣不應被“轉移到資助恐怖主義或任何其他非法活動”。 Maire還敦促G7成員國央行幫助理解Libra加密貨幣的范圍。Bruno Le Maire擔心，Facebook將有能力收集大量用戶數據，因為加密將持續存在，所有用戶帳戶都需經過KYC驗證。在接受法國新聞網站Europel1的采訪時，Maire繼續說道:“我們必須確保消費者沒有風險，保護消費者是我們國家的職責。”[2019/6/18]

特性是①證明某個陳述為真但不揭露任何其他信息；②證明大小很小且易于驗證；③無交互。 

動態 | 昆明市“一部手機游云南”工作行動方案通過 將區塊鏈等技術應用于旅游業:據昆明日報消息， 日前，昆明市政府常務會審議并原則通過了《關于推進“旅游革命”暨“一部手機游云南”工作行動方案》。《方案》提出，計劃投入資金5.26億元，以“一部手機游云南”為載體，通過5G通訊、區塊鏈、人工智能等前沿技術在旅游行業的應用，用三年時間，把昆明打造成為旅游公共服務體系更加完善、旅游環境更加優美、旅游產品結構更加合理、旅游市場秩序更加規范的國際品牌旅游城市，把旅游產業打造成為全市經濟社會發展的戰略性支柱產業。[2019/5/29]

實際上，這兩種ZKP的主要類型：交互式ZKP和非交互式ZKP都是證明者（prover）和驗證者（verifier）之間進行的過程，只是證明的交互流程不同。 

以Schnorr協議為例，交互式需要verifier生成一個隨機數，而非交互式中則不需要這樣的角色，prover可以自行生成證明給所有人驗證。

動態 | 北京海淀區借助區塊鏈技術促進“一網通辦”:據新華網4月15日報道，今日，海淀區在北京市率先推出“不動產登記+用電過戶”同步辦理的新舉措，讓市民和企業辦理不動產登記時，可以一并辦理用電過戶，省時又省力。據了解，這是北京市海淀區政務服務管理局、海淀區不動產登記事務中心以及國家電網北京海淀供電公司密切配合，通過流程優化創新和區塊鏈技術的應用，打通政務服務與公共服務兩個領域，在以二手房交易為主題的服務事項中，把涉及該主題的各項服務聯動辦理，讓辦事群眾“只需跑一次”。這種將政務服務與公共服務聯動辦理的做法，在北京尚屬首例。[2019/4/15]

zkSNARKs的大概原理是：

“一流VC”搞開發：a16z crypto的兩個SNARK工具

終于來到我們今天的話題了，也就是8月10號a16z crypto推出的兩個SNARK工具——Lasso 和 Jolt。

SNARK（簡潔的非交互式知識證明）作為一種加密協議：允許任何人向不信任的驗證者，進行證明其知道滿足某些屬性的見證。 

 尤其是現在的應用是Layer2進行匯總，并向Layer1證明Layer2知道授權一系列交易的數字簽名。這樣就可以實現簽名本身并不需要由Layer1進行存儲和驗證，也就更有利于擴容。

SNARK背景

由于許多區塊鏈節點驗證并記錄每筆交易，因此在區塊鏈上運行計算非常昂貴。為了避免更高的交易成本，開發人員通常會執行最低限度的鏈上計算來啟用他們的應用程序。

SNARK在擴展區塊鏈方面就發揮著核心作用：使應用程序能夠在鏈下創建昂貴的計算收據，并且只承擔在鏈上驗證收據的成本。 

其中的“簡潔”意味著這些收據很短。與重新計算每筆交易相比，可以用更少的工作量進行驗證。

問題

但實際上，SNARK的計算成本也很高，而且難以審計。驗證者需要被迫承擔高度并行化的額外工作。 

性能更高的SNARK可以加速Layer2，也可以允許構建者解鎖尚未設想的應用程序。

所以A16Z Crypto引入了兩種新的技術：

①Lasso，一種新的查找參數，可以顯著降低證明者成本； 

②Jolt，使用Lasso技術，為zkVM和更普遍的前端設計提供了一個設計SNARK的新框架。

這兩個工具共同提高了SNARK設計的性能、開發人員體驗和可審計性，加快促近了Web3中的生態構建。

目前對Lasso的初始實現，已經證明：其比流行的SNARK工具鏈 halo2中的查找參數加速了超過10倍。根據A16Z Crypto預計，當Lasso代碼庫完全優化時，速度會提高約40倍，同時Jolt在Lasso之上也會包含額外的創新。

查找參數（lookup argument）

查找參數（lookup argument）是SNARK 設計中的一個關鍵工具，該協議允許不受信任的證明者以加密方式提交到大型向量，然后證明向量的每個條目都包含在某個預定表中。 

SNARK后端讓驗證者對電路中每個門的值進行加密承諾。然后，證明者要證明：其所提交的值，確實可以對應于驗證者檢查程序的正確執行。 

目前，開發人員部署SNARK還是通過：用特殊的領域特定語言（將程序編譯為多項式約束）編寫程序或直接手動編碼約束。 

但這樣耗費人力物力，還經常有安全漏洞。Lasso 和 Jolt 就是來解決這三個問題的：性能、開發人員體驗和可審計性。

這就是二者所能實現的功能。

簡而言之：Lasso 引入了一種簡化的 zkVM 方法，通過對大量結構化表執行查找來避免繁瑣的手動優化電路，浪費更少； 

基于 Jolt 的虛擬機簡單、快速且易于審核。 

并且共同允許SNARK用于現有的流行編程語言，而不僅僅是那些為任務而設計的語言。

金色財經

企業專欄

閱讀更多

金色財經 善歐巴

web3中文

金色早8點

YBB Capital

吳說Real

元宇宙簡史

Tags：ARKNARBSPNBSWen MarketingSonar TokenBSPT幣nbs幣發行量

酷幣下載