以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 區塊鏈 > Info

零知識證明將賦能擴容與隱私計算_ARK

Author:

Time:1900/1/1 0:00:00

2021年Vitalik曾在一篇文章中講:

Perhapsthemostpowerfulcryptographictechnologytocomeoutofthelastdecadeisgeneralpurposesuccinctzeroknowledgeproofs,usuallycalledzk-SNARKs.(也許過去十年中最強大的密碼技術是通用的簡潔零知識證明zk-SNARKs。)

誠然,零知識證明在Crypto領域的兩個非常重要的方向都發揮著關鍵性突破的作用,一個是Scalability,一個是Privacy。

零知識證明是指證明者能夠在不向驗證者提供超過陳述本身有效性信息的情況下,使驗證者相信某個論斷是正確/真實的。零知識證明機制轉化成計算機程序語言后應用最廣泛的技術有兩個——zk-SNARK和zk-STARK。

zk-SNARK是零知識簡潔的非交互知識論證,基本邏輯如下圖:

零知識身份預言機提供商zkMe完成200萬美元Pre-Seed輪融資,Circle Venture等參投:5月30日消息,零知識身份預言機 zkMe 完成 200 萬美元 Pre-Seed 輪融資,Circle Venture、Spartan Group、CMS Holdings、Fenbushi Capital、NGC Ventures、Arkstream Capital 等參投,計劃利用新資金加速開發,在一個月內完成主網測試并上線客戶注冊功能。

ZkMe 允許用戶加密他們的數據,并使用 ZKP 在他們自己的設備上證明聲明,以有效地驗證用戶資格,同時保護他們的隱私安全。[2023/5/30 9:49:53]

zk-SNARK實現不透露具體信息的情況下,證明事件的正確/真實的最樸素的方法是:基于可信初始設置,在各項數據位于合法范圍的情況下,證明“輸入”=“輸出”。

zk-STARK是零知識可擴展的透明知識論證,基本邏輯本質上和zk-SNARK相同:

零知識證明技術公司Proven完成1580萬美元融資:金色財經報道,Proven是一家提供零知識證明技術以使加密貨幣公司能夠證明償付能力的公司,完成1580萬美元種子輪融資,Framework Ventures領投,Balaji Srinivasan、Roger Chen和Ada Yeo等參投。[2023/3/9 12:52:34]

zk-STARK與zk-SNARK相比較,各有優劣:

初始可信設置:zk-SNARK需要,zk-STARK不需要;

證明數據大小:zk-SNARK的證明大小約為288字節,zk-STARK稍微大些幾百KB;

成本:zk-STARK比zk-SNARK更低;

證明過程速度:zk-STARK比zk-SNARK的證明過程更快。

QitChain network通過零知識證明(ZKPs)實現網絡的隱私性升級:據官方消息,在2022年12月底前,QitChain底層網絡將完成“零知識證明(ZKPs)實現QitChain network網絡的隱私性”升級。據悉,此次升級能夠在目前QTC網絡系統中利用隱私保護數據集。允許用戶和企業在執行智能合約時保護私有數據集,而不會泄露底層數據。[2022/6/15 4:28:44]

Crypto領域近年來的兩大剛需——以太坊網絡擴容和隱私保護,恰恰都可以通過零知識證明技術來解決。

zk在擴容方面的應用

將零知識證明用于以太坊擴容領域的公司最初主要有兩家,一家是MatterLabs,一家是StarkWare。前者推出了zkSync,后者推出了StarkNet、StarkEx。這幾個項目都是當前Layer2領域的佼佼者,備受資方和市場關注。

零知識證明研發機構StarkWare啟動基于STARK的可驗證延遲函數服務:零知識證明研發機構StarkWare在以太坊主網上啟動了基于STARK的可驗證延遲函數(VDF)服務VeeDo。VDF是一種可通過計算提供延遲和時間滯后的函數。StarkWare打算用VeeDo解決的第一個應用是以太坊上的無需信任的、不可支配的隨機性概念驗證(PoC)。目前,該PoC已在主網激活。另外,StarkWare還在研究時間鎖(TimeLock)以及下一代PoW機制。

注:2018年7月份,StarkWare獲得了以太坊基金會提供的400萬美元資助,將研發對STARK友好的哈希函數和技術,并為生態系統提供開源代碼。STARK將允許區塊鏈在兼備隱私和后量子安全的情況下進行大規模擴展(例如分片)。(Medium)[2020/6/24]

StarkWare

StarkWare是基于零知識證明推出的Validium類型的以太坊Layer2擴容方案,并基于此方案推出了StarkNet和StarkEx。Validium的機制與zkRollup非常相似,唯一的區別是zkRollup中的數據可用性在鏈上,而Validium將其保持在鏈下,這樣使得Validium可以實現更高的吞吐量。

動態 | 以色列理工學院教授違反知識產權規定建立零知識證明技術公司:據Bitcoin.com報道,以色列理工學院教授Eli Ben-Sasson因違反了該學校知識產權規定而被起訴。據報道,Ben-Sasson利用在為該機構工作時開發的知識產權建立了一家零知識證明技術公司。Ben-Sasson是區塊鏈技術初創公司Starkware的聯合創始人兼首席科學家,以色列理工學院在法庭提出要求Ben-Sasson轉讓其在該公司的50%股份。[2019/4/23]

既然將數據放在鏈下處理,那么必然在數據上鏈過程中的流程非常重要,zk-STARK數據上鏈流程如下:

1000筆交易發送給zk-STARK;

zk-STARK作為證明者,生成一個證明;

節點作為驗證者讀取證明、更新鏈上數據。

證明生成階段

所以,zk-STARK的核心邏輯是允許區塊鏈將計算轉移到單個鏈下STARK證明者,然后使用鏈上STARK驗證器驗證這些計算的完整性。

各種鏈上交易協議如果使用StarkWare的Validium擴容技術,它的交易費用會非常便宜。比如目前StarkEx托管了ImmutableX、Deversifi和Sorare等協議,從ImmutableX就可以感受到交易費用的便宜——在ImmutableX鑄造和交易NFT的Gas費用均為0美元,就好像不是在鏈上玩似的……用過的人都會有這個感受。

zkSync

MatterLabs推出的zkSync擴容方案是基于零知識證明的zkRollup類以太坊Layer2擴容方案。

zkSync通過引入Validators和Guardians這兩種角色來提升可擴展性:

Validators負責處理交易并打包區塊,Validators需要質押代幣,然后需要為交易提供一份交易零知識證明,證明交易過程都是正確的、沒有舞弊。若Guardians發現作惡,則沒收Validators的質押代幣;若沒有作惡則Validators將得到代幣獎勵。

在這個過程中,通過運用零知識證明,可以讓Guardians不需要知道交易的具體內容,也能知道交易過程是正確的/真實的。基于這個邏輯可以將很多交易過程放在Layer2鏈上處理,而將正確結果反饋到Layer1以太坊鏈上,從而實現以太坊網絡可擴展性的提升。

當然,現在MatterLabs正在推動zkSync2.0,在技術上又有很大的更新。一方面zkSync2.0引入了zkEVM,它將可以把以太坊智能合約部署在zkRollup上。另一方面zkSync2.0將采用Volitions的技術方案,Volitions相當于包含了zkRollup和Validium,可以同時支持ZKRollup和Validium或其他組合模式的多種數據可用性模式。將選擇權交還給用戶,用戶可以選擇具體在哪種模式下交易。在ZKRollup模式下,所有數據都在鏈上提交,狀態更新的有效性由零知識證明來保證;在Validium模式下,數據被保存在鏈下,只有最新狀態以及該狀態有效性證明在鏈上提交。

總而言之,零知識證明類的技術方案已經成為以太坊網絡擴容方面的最主流方案。

zk在隱私方面的應用

零知識證明用于隱私方面,具體又分為交易隱私和數據隱私。

交易隱私方面基本上是使用zk-SNARK以及基于zk-SNARK的衍生技術。這部分不再贅述。核心工作流程就是:

設置一個可信初始設置,以保證系統的初始安全;

設置一個范圍證明,以防止環繞攻擊;

檢查inputnote=outputnote,以確保UTXO的正確性。

零知識證明除了用于交易隱私保護,也可以用于數據隱私保護。比如你的年齡,通過零知識證明機制,你可以不需要提供具體的身份信息,只需要通過簡單的零知識證明算法——比如證明你的年齡大于等于18周歲,即可證明你已經成年,具備參與某項活動的權利——通過這種方式既可以實現數據隱私保護,也可以證明你具備某些資格。

零知識證明在未來的鏈上聲譽證明方面可能也會有很多應用場景。比如現在的鏈上信用問題,核心難點在于尚未建立個人鏈上身份體系。鏈上身份不好建立的原因最少有兩點:

第一,現實身份的證明工具不適合作為鏈上身份證明。鏈上錢包與現實身份并不具備一一對應關系,而且一定程度上講現實身份的證明工具在Crypto領域里也不適合作為身份證明,一方面很多Crypto的資產持有者不愿意透露個人的身份信息,另一方面即使DeFi協議掌握了違約用戶的個人身份信息,在很多國家和地區USDT等Token的權益是不受法律保護的,要這身份證明對于違約的追責沒有用。

第二,鏈上用戶不愿意泄露過多個人資產方面的隱私。要給每個鏈上用戶打信用分,就需要掌握用戶的各個方面的鏈上資產和鏈上行為的信息。但是很多用戶不愿意讓別人知道自己有哪些地址,做了哪些交易……之類的信息。但若要給鏈上用戶一個合理的信用分,卻又需要盡可能多掌握用戶信息。所以,在鏈上聲譽、鏈上信用方面,可能也需要零知識證明的賦能。

總而言之,零知識證明在擴容和隱私方面的應用是當前行業發展的明牌趨勢。

Tags:ARKSTASTARSTARKArk Of The Universebitstamp交易所官網starl幣有投資價值嗎STARK幣

區塊鏈
深挖MicroStrategy:為何在比特幣上孤注一擲?_MIC

原文來源:altcoinbuzz誰是第一家購買比特幣的上市公司?事實上,就是大名鼎鼎的全球商業智能軟件開發商MicroStrategy.

1900/1/1 0:00:00
美國銀行牛熊指標暗示市場極度悲觀 熊市或于10月結束_加密貨幣

標準普爾500指數于6月13日正式進入熊市,成為該指數過去140年來經歷的第20個熊市。加密市場方面,由于美聯儲鷹派加息以及多個加密公司暴雷事件在第二季度打擊了市場情緒,比特幣暴跌了60%以上.

1900/1/1 0:00:00
金色早報 | 拜登政府準備推遲針對加密行業征稅的計劃_加密貨幣

頭條 ▌知情人士:拜登政府準備推遲針對加密行業征稅的計劃6月29日消息,據知情人士透露,美國政府針對加密行業征收數十億美元稅收的計劃遇到了障礙.

1900/1/1 0:00:00
NFT 開發者:談談我對 ERC-4907 的三點疑問_NFT

作者:小野 昨天,我被朋友圈里鋪天蓋地的ERC-4907和DoubleProtocol刷屏了。作為一個從事NFT相關開發工作的以太坊社區開發者,筆者非常關注NFT生態相關的最新發展,因此在獲取到.

1900/1/1 0:00:00
金色早報 | OpenSea已裁員約20%_比特幣

頭條 ▌OpenSea已裁員約20%金色財經消息,NFT市場OpenSea聯合創始人兼首席執行官DevinFinzer周四宣布,該公司已裁員約20%.

1900/1/1 0:00:00
8點方向:助你尋找優質NFT項目_NFT

價值有多種形式。根據自己的世界觀,可能更容易高估或不成比例地貶低某物的價值。盡管如此,價值代表了無法估量的變量糾纏,從根本上講,這些變量始終是主觀的.

1900/1/1 0:00:00
ads