作者:Arrow@go2mars,來源:作者推特@ArrowCrypto_eth
最近在看一些海外加密基金對Crypto生態的拓展和創新。今天就來看看本月A16Z Crypto新推出的兩個SNARK工具。盡量只聊什么東西可以解決什么問題。
談到SNARK那就先聊一聊zkSNARKs吧,實際上今天聊的話題中這是兩個不同的方面。
既然從zkSNARKs開始聊起,零知識的基本原理證明就不再贅述,這項技術具有完備性,正確性和零知識性三個特點,可以實現即證明了結論又不需要透露任何細節。同時,在同態加密的背景下,驗證難度要遠遠低于生成證明難度。
我們之前在聊Layer2的時候其實提到過ZK,比如Zk-Rollup,作為一種有效證明機制為以太坊的擴容提出了新的方案。之前大家忙著擼空投做交互的zkSync,其核心即使用ZK將多個操作包到一個證明里,在鏈下完成大多數計算工作。
支付寶申請“一種基于區塊鏈的融資方法、系統和裝置”專利:1月18日消息,企查查數據顯示,支付寶(杭州)信息技術有限公司于1月15日,公開“一種基于區塊鏈的融資方法、系統和裝置”專利信息,公開號為CN112232967A。專利摘要顯示,本說明書實施例公開了一種基于區塊鏈的融資方法和系統,所述方法包括:獲取與待融資對象的融資請求相關的多個歷史服務的歷史服務數據;獲取融資方基于所述歷史服務數據確定的針對所述融資請求的融資處理結果;向所述區塊鏈發起第二交易請求,所述第二交易請求用于將針對所述待融資對象的融資處理結果存儲于所述區塊鏈之上。由此,可以降低待融資對象的融資成本,便于待融資對象進行融資。[2021/1/18 16:27:13]
zkSNARKs——零知識證明應用最廣泛的技術
zk-SNARK,即“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”,即零知識簡明非交互式知識證明。
金色實力派 | 絲路集團:“一帶一路”上的區塊鏈戰略布局:當下區塊鏈與實體經濟相結合已成為不可阻擋的時代大潮,金色財經推出“區塊鏈+產業新模式”系列訪談“實力派”,對話走在區塊鏈+最前端的明星企業和集團。1月17日13:00,對話絲路集團、微觀科技,一起來看看在“一帶一路”上的區塊鏈戰略布局,詳情可查看原文鏈接。[2020/1/17]
特性是①證明某個陳述為真但不揭露任何其他信息;②證明大小很小且易于驗證;③無交互。
實際上,這兩種ZKP的主要類型:交互式ZKP和非交互式ZKP都是證明者(prover)和驗證者(verifier)之間進行的過程,只是證明的交互流程不同。
以Schnorr協議為例,交互式需要verifier生成一個隨機數,而非交互式中則不需要這樣的角色,prover可以自行生成證明給所有人驗證。
現場 | 張翔:DCEP能為“一帶一路”提供更為優質安全的金融基礎服務:金色財經現場報道,“遇見2020區塊鏈關鍵一年”微媒控股旗下鏈塔智庫第二屆區塊鏈產業經濟年度盛典于12月28日在北京·國際金融博物館開啟。鏈塔智庫CEO、中國移動通信聯合會區塊鏈專委會副主任張翔發表演講,他表示,Libra是超越國家主權的貨幣,可能建立新的數字美元霸權。Libra的特點有由一籃子貨幣構成的穩定幣,會影響其他國家的經濟政策,在某種程度上是一種超主權貨幣,與凱恩斯當年提出的Bancor有異曲同工之妙。DC/EP具有極高的流動性,可以幫助人民幣出海,不僅能夠幫助“一帶一路”沿線國家去美元化,同時能為沿線國家提供更為優質安全的金融基礎服務。[2019/12/28]
zkSNARKs的大概原理是:
“一流VC”搞開發:a16z crypto的兩個SNARK工具
動態 | 評級機構:Dash 風險等級定義為B 屬“一般風險”水平:今日,標準共識發布針對區塊鏈項目Dash的一般投資風險評級報告。以下為報告的主要內容。報告將 Dash 風險等級定義為B,該項目屬于“一般風險”水平,需要投資者注意。Dash 獲得B評級的主要原因是:受制于法律監管,DASH 使用范圍有限;DASH 匿名性較強,交易的安全性較高;支付落地情況較好,應用場景較多;基金會管理與監督透明,信息披露質量高。[2018/11/1]
終于來到我們今天的話題了,也就是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
元宇宙簡史
作者:CASEY WAGNER,Blockworks;編譯:松雪,金色財經由于缺乏共同發起人而拖延數月后.
1900/1/1 0:00:00撰文:金色財經cryptonaitive在全球范圍內,日本一直是一個獨特的市場。日本的加密市場也不例外。日本的加密貨幣市場,合規是最重要的議題.
1900/1/1 0:00:00作者:Sui Network近日,我們與Mysten Labs的首席經濟學家Alonso de Gortari進行了對話,討論了如何在網絡運營商和參與者之間找到激勵措施的平衡.
1900/1/1 0:00:00撰文: Mat Di Salvo,Decrypt 編譯: hiiro,SevenUp DAO機構投資者對加密世界的興趣比以往任何時候都更濃厚,現在他們正在把錢投入其中.
1900/1/1 0:00:00去中心化穩定幣的黃金時代來臨了嗎?不要被穩定幣總市值從1800多億美元下跌至1250億美元(DeFi穩定幣僅占9%)所誤導.
1900/1/1 0:00:00Web3 發展日新月異,其中屬去“中心化社交”最為亮眼。在最新的英雄帖中,加密頂級風投 Paragram 將“去中心化社交”列入十大重點關注領域之一.
1900/1/1 0:00:00