以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

HASH:Vitalik Buterin:如何使用 zk-SNARKs 技術保護隱私?

Author:

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

作者:VitalikButerin

原文標題:《SomewaystouseZK-SNARKsforprivacy》

編譯:去中心化金融社區

ZK-SNARK是一種強大的加密工具,它在區塊鏈和區塊鏈以外構建的應用程序中變成日益重要的一部分。但它們是復雜的,無論是從它們的工作原理,還是從我們如何使用它的角度來看,都是復雜的。

這篇文章將關注ZK-SNARK如何適應現有的應用程序,有哪些例子說明它們能做什么,不能做什么,以及有哪些通用的指導方針來判斷ZK-SNARK是否適合某些特定的應用程序。

這篇文章特別關注ZK-SNARK在保護隱私中的應用。

ZK-SNARK是做什么的?

假設有一個公共輸入x,一個私有輸入w,和一個(公共)函數f(x,w)→{True,False},其會對輸入執行某種驗證。使用ZK-SNARK,就可以證明你知道一個w,對于某些給定的f和x,f(x,w)=True,在此過程中不用透露w到底是什么。另外,驗證者可以更快地驗證證明,這比他們自己計算f(x,w)要快得多,就算他們知道w。

這賦予了ZK-SNARK兩個屬性:隱私性和可擴展性。如上所述,在這篇文章中,我們的例子將聚焦于隱私。

成員資格的證明

假設你有一個以太坊錢包,你想要證明這個錢包是人性證明注冊,同時不透露注冊的到底是哪個人。我們可以用數學方法描述這個函數:

私有輸入(w):你的地址A,你的地址私鑰k

公共輸入(x):所有經過驗證的人性證明配置文件{H1…Hn}的地址集合

驗證函數f(x,w)

將w解釋為一對(A,σ),x為有效配置文件列表{H1…Hn}

驗證A是{H1…Hn}中的一個地址

驗證privtoaddr(k)=A

如果兩個驗證都通過,則返回True,如果任何一個驗證失敗則返回False

證明者生成他們的地址A和相關的密鑰k,并提供w=(A,k)作為f的私有輸入。他們從鏈中獲取公共輸入,就是當前已驗證的人性證明配置文件集{H1…Hn}。他們運行ZK-SNARK證明算法,此算法(假設輸入是正確的)生成證明。證明者將證明發送給驗證者,并且提供他們獲得驗證配置文件列表的區塊高度。

Vitalik Buterin:AI可提升人類創造力:8月12日消息,以太坊聯合創始人Vitalik Buterin最近在The Aarthi and Sriram Show播客節目中透露,盡管SBF此前在主流媒體上很有影響力,但加密領域內很多人一開始就對他持保留態度。Vitalik強調,加密社區中有很大一部分人認為SBF對加密貨幣技術的價值缺乏清晰的愿景。

此外,Vitalik評論了人工智能的進步,特別是像ChatGPT這樣的系統。他對人工智能的潛力表示樂觀,認為它可以提高人類的創造力,而不是僅僅取代人類的角色。Vitalik認為,在當前階段,人工智能更多的是賦予個體權力,而不是取代他們。他設想未來,人工智能工具可以讓個人創作者制作電影和其他藝術作品,而無需像傳統好萊塢制作那樣付出高昂的成本。[2023/8/13 16:22:52]

驗證者還會讀取鏈,獲取證明者指定高度的列表{H1…Hn},并檢查證明。如果檢查通過,驗證者就相信證明者有一些已驗證的人性證明文件。

在我們繼續討論更復雜的例子之前,我強烈建議先看看上面的示例,直到完全理解其中的所有內容。

使成員證明更有效

上述證明系統的一個缺點是驗證者需要知道整個配置文件集{H1…Hn},他們需要花費O(n)時間將這組配置文件「輸入」到ZK-SNARK機制中。

我們可以通過將包含所有配置文件的鏈上Merkle根作為公共輸入(這可能只是狀態根)來解決這個問題。我們添加另一個私有輸入,一個Merkle證明M,證明證明者的帳戶A在樹的相關部分。

用于ZK證明成員資格的Merkle證明的一個非常新且更有效的替代方案是Caulk。將來,其中一些用例可能會遷移到類似于Caulk的方案中。

ZK-SNARK和幣

Zcash和Tornado.cash等項目允許我們擁有保護隱私的貨幣。現在,你可能認為你可以使用上面的「ZK人性證明」,但它不是證明對人性證明配置文件的訪問,而是用它來證明對幣的訪問。現在我們有一個問題:我們必須同時解決隱私和雙花問題。也就是說,我們不應該花兩次幣。

地址vitalik.eth轉移200 ETH至Kraken:金色財經報道,數據顯示,地址vitalik.eth轉移200 ETH至Kraken。[2023/5/5 14:44:53]

我們是這樣解決的。任何擁有幣的人都有一個私有秘密「s」。他們在本地計算「leaf」L=hash(s,1),它被發布在鏈上,并成為狀態的一部分,N=hash(s,2),我們稱之為nullifier。狀態存儲在默克爾樹中。

要花一枚幣,發送者必須做一個ZK-SNARK,其中:

公共輸入包含一個nullifierN,當前或最近的Merkle根R,和一個新的葉子L'(目的是接收方有一個秘密s',并傳遞給發送方L'=hash(s',1))

私有輸入包含一個秘密s,一個葉子L和一個默克爾分支M

驗證功能會檢查:

M是一個有效的Merkle分支,證明L是根為R的樹的葉子,其中R是當前狀態的Merkle根

hash(s,1)=L

hash(s,2)=N

交易包含了nullifierN和新的葉子L’。我們實際上并不證明關于L'的任何東西,但我們將其「混合」到證明中,以防止交易在進行時被第三方修改。

為了驗證交易,鏈檢查ZK-SNARK,另外檢查N是否在之前的支出交易中被使用。如果交易成功,則將N添加到已花費的nullifier集,這樣它就不能再被用。L'被添加到Merkle樹中。

這我們使用zk-SNARK將兩個值聯系起來,L(當幣被創造出來時出現在鏈上)和N(當幣被消費時出現在鏈上),而不是揭示哪個L與哪個N相連接。只有當你知道產生這兩個值的秘密s時,才能發現L與N之間的聯系。每個創造出來的幣只能使用一次(因為對于每個L來說,對應的有效的N只有一個),但在特定時間內使用的幣是被隱藏的。

這也是一個需要理解的重要原語。我們下面描述的許多機制都是基于此,盡管目的不同。

任意余額的幣

上述情況可以很容易地擴展到任意余額的幣。我們保留了「幣」的概念,但每個幣都附有一個(私有)余額。做到這一點的一個簡單方法是讓每個幣都有鏈存儲,不只是有葉子L,還有一個加密的余額。

日本物聯網平臺開發商Jasmy與AVITA Technologies成立合資公司:日本物聯網平臺開發商Jasmy與AVITA Technologies成立了合資公司。

Jasmy將為新公司提供數據管理解決方案,幫助AVITA為客戶提供安全的計算機解決方案和帶有個人資料柜的設備。隨著Jasmy物聯網平臺與Secure PC解決方案的融合,新公司將為B2B客戶提供DaaS設備即服務,為遠程辦公提供理想解決方案。Jasmy希望將區塊鏈、加密貨幣和安全物聯網解決方案等金融科技應用規模從日本擴大到亞太地區,并最終走向全球。[2023/4/17 14:08:00]

每次交易將消耗兩個幣并創建兩個新幣,它將向狀態添加兩個對(葉子,加密的余額)。ZK-SNARK還會檢查輸入的余額之和等于輸出的余額之和,并且兩個輸出的余額都是非負的。

ZK反拒絕服務

一個有趣的反拒絕服務小工具。假設你有一些鏈上身份,這是不容易創建的;它可以是一個人性證明配置文件,也可以是32個ETH驗證者,或者它可以只是一個擁有非零ETH余額的帳戶。我們可以通過只接受帶有消息發送者有一個配置文件的證明的消息的方法,創建一個更能抵抗DoS的點對點網絡。每個配置文件將被允許每小時發送多達1000條的消息,如果發件人作弊,發件人的配置文件將從列表中刪除。但是我們如何保護隱私呢?

首先,設置。設k為用戶的私鑰;A=privtoaddr(k)是對應的地址。有效的地址列表是公開的(例如。它是鏈上注冊表)。到目前為止,這類似于人性證明的例子:你必須證明你擁有一個地址的私鑰,但不能透露是哪個地址。但在這里,我們不只是想證明你在列表上。我們想要一個協議,它可以讓你證明你在列表中,但防止你做太多的證明。

我們將把時間分成幾個時期:每個時期持續3.6秒。我們的目標是允許每個用戶在每個時期只發送一條消息;如果用戶在同一時期發送兩條消息,他們就會被捕獲。為了允許用戶偶爾發送突發消息,他們可以使用最近的時期,所以如果某個用戶有500個未使用的時期,他們可以使用這些時期一次性發送500條消息。

協議

我們將從一個簡單的版本開始:使用nullifier。用戶生成一個具有N=hash(k,e)的nullifier,其中k是他們的密鑰,e是時期號,并將其與消息m一起發布。ZK-SNARK再次混合hash(m),在此過程中沒有驗證關于m的任何東西,因此證明綁定到單個消息。如果用戶使用相同的nullifier將兩個證明綁定到兩個不同的消息,他們可能會被捕獲。

CertiK:Vivity項目Discord服務器遭到攻擊:金色財經消息,據CertiK監測,Vivity項目Discord服務器遭到攻擊。請社區用戶不要點擊鏈接,鑄造或批準任何交易。[2022/10/22 16:35:12]

現在,我們將轉向更復雜的版本。在這種情況下,下一個協議將暴露他們的私鑰,而不是簡單地證明某人是否使用了相同的時期兩次。我們的核心技術將依賴于「兩點構成一條線」的技巧:如果你在一條線上顯示一個點,你就顯示的很少,但是如果你在一條線上顯示兩個點,你就顯示了整條線。

對于每個時期e,我們取直線Le(x)=hash(k,e)?x+k。直線的斜率為hash(k,e),y截距為k;兩者都不為公眾所知。要為消息m制作一個證書,發送者提供y=Le(hash(m))=hash(k,e)?hash(m)+k,以及一個ZK-SNARK證明y的計算是正確的。

綜上所述,ZK-SNARK如下:

公共輸入:

{A1…An},有效帳戶列表

M,表示證書正在驗證的消息

E,用于證書的時期號

Y,是線函數的求值

私有輸入:

K,你的私鑰

驗證功能:

檢查privtoaddr(k)是否在{A1…An}中

檢查y=hash(k,e)?hash(m)+k

但是如果有人將一個時期使用兩次呢?這意味著他們公布了兩個值m1和m2以及相應的證書值y1=hash(k,e)?hash(m1)+k和y2=hash(k,e)?hash(m2)+k。我們可以使用這兩個點來恢復直線,因此y軸截距(這是私鑰):

因此,如果有人重用一個時期,他們就會泄露他們的私鑰,讓所有人看到。根據不同的情況,這可能意味著資金被盜,或者只是將私鑰廣播并包含到了智能合約中,此時相應的地址將從集合中刪除。

加密交易所Gravity被迫暫停BSV交易:金色財經報道,以BSV為中心的加密貨幣交易所Gravity在推特上發布公告稱,流動性提供商剛剛通知該交易所,由于幾家大型交易所禁止BSV存款和取款,他們也暫停了對BSV流動性的訪問,直至另行通知。這意味著用戶目前無法在Gravity上交易BSV。據Gravity稱,用戶的資金不會受到流動性問題的影響。[2021/7/14 0:49:49]

一個可行的鏈下匿名反拒絕服務系統,適用于區塊鏈點對點網絡、聊天應用程序等系統,不需要任何工作證明。RLN項目目前基本上就是在構建這個想法,盡管進行了少量修改(也就是說,他們同時使用了nullifier和兩點在線技術,使用nullifier更容易捕獲雙重使用一個時期的問題)。

ZK的負面聲譽

假設我們想要建立0chan,一個像4chan一樣提供完全匿名的網絡論壇(你甚至沒有永久的名字),但是有一個聲譽系統來鼓勵更多高質量的內容。這可能是一個系統,一些審核DAO可以標記違反系統規則的帖子,并建立一個三振出局的機制。

聲譽系統可以支持正面或負面聲譽;然而,支持負面聲譽需要額外的基礎設施,要求用戶在證明中考慮所有的聲譽信息,就算它是負面的。我們將重點關注這個更難的用例,它類似于UnirepSocial正在實現的用例。

鏈接帖子:基礎知識

任何人都可以通過在鏈上發布包含該帖子的消息和ZK-SNARK來發布帖子,以證明(i)你擁有一些稀缺的外部身份,授權你創建一個帳戶,或(ii)你發布過一些特定的帖子。具體來說,ZK-SNARK如下:

公共投入

nullifierN

最近的區塊鏈狀態根R

帖子內容(「混合」到證明,將其綁定到帖子中,但我們不做任何計算)

私有輸入:

你的私鑰k

一個外部身份(地址A),或者前一篇文章使用的nullifierNprev

一個Merkle證明M證明鏈上包含A或Nprev

你之前使用此帳戶發布的第i個帖子

驗證功能:

檢查M是一個有效的Merkle分支,證明是根為R的樹的葉子

檢查N=enc(i,k),其中enc是一個加密函數(例如.AES)

如果i=0,檢查A=privtoaddr(k),否則檢查Nprev=enc(i?1,k)

除了驗證證明之外,該鏈還檢查兩個方面(i)R實際上是一個最近的狀態根,(ii)nullifierN還沒有被使用。到目前為止,這就像前面介紹的保護隱私的幣一樣,但我們添加了一個「鑄造」新帳戶的過程,并且我們刪除了將你的帳戶「發送」到不同密鑰的能力——相反,所有nullifier都是使用原來的密鑰來生成。

我們在這里使用enc來使nullifier可逆,而不是hash:如果你有k,你可以解密鏈上任何特定的nullifier,如果結果是一個有效的索引而不是隨機的垃圾,你就會知道nullifier是使用k生成的。

添加聲譽

在這個方案中,聲譽是鏈上的,并且是明確的:一些智能合約有一個方法addReputation,它以(i)隨帖子發布的nullifier和(ii)要加減的聲譽單位數量作為輸入。

我們擴展了每個帖子存儲的鏈上數據:我們存儲{N,hˉ,uˉ},而不是僅存儲nullifierN,其中:

hˉ=hash(h,r)其中h是證明中引用的狀態根的區塊高度

uˉ=hash(u,r)其中u是帳戶的聲譽分數

這里的R只是一個隨機值,添加它是為了防止h和u被強制搜索發現(在密碼學術語中,添加R使哈希成為一個隱藏承諾)。

假設帖子使用根R并存儲{N,hˉ,uˉ}。在證明中,它鏈接到以前的帖子,存儲數據{Nprev,hˉprev,uˉprev}。帖子的證明也需要遍歷在hprev和h之間發布的所有聲譽條目。對于每個nullifierN,驗證函數將使用用戶的密鑰k解密N,如果解密輸出一個有效的索引,它會將應用聲譽更新。如果所有聲譽更新的總和為δ,那么最終證明為u=uprev+δ。

如果我們想要一個「三振出局」規則,ZK-SNARK也會檢查u>?3。如果我們想要一個規則,即如果帖子的rep≥100,那么該帖子可以獲得一個特殊的「高聲譽帖子」標識。

為了提高方案的可擴展性,我們可以將其分為兩類消息:帖子和RCA。一個帖子將是鏈下的,盡管它需要指向過去一周制作的RCA。RCA將是鏈上的,RCA將遍歷自該發布者之前的RCA以來的所有聲譽更新。通過這種方式,鏈上負載減少到每周每個帖子的一筆交易加上每條聲譽消息的一筆交易。

對中心化的各方負責

有時,你需要構建一個具有某種中心化「運營者」的方案。其背后原因可能有很多:有時是為了可擴展性,有時是為了隱私。

例如,MACI強制抵抗投票系統要求投票者在鏈上提交他們的投票,并加密到中心化運營者持有的密鑰中。運營者將解密鏈上所有的投票,將其計數,并展示最終結果,同時使用ZK-SNARK來證明他們所做的一切都是正確的。這種額外的復雜性對于確保強大的隱私性(稱為強制抵抗)來說是非常必要的:用戶不能向其他人證明他們是如何投票的,即使他們想這樣做。

多虧了區塊鏈和ZK-SNARK,確保了我們對運營者的信任度可以保持在非常低的水平。惡意的運營者仍然可以打破強制抵抗,但是因為投票是在區塊鏈上發布的,所以運營者不能通過審查投票來作弊,而且因為運營者必須提供ZK-SNARK,所以他們不能通過錯誤計算結果來作弊。

結合ZK-SNARK與MPC

ZK-SNARK的一個更高級的使用涉及到的是在計算中進行證明,其中輸入在兩方或多方之間分配,我們不希望任何一方學習其他方的輸入。在兩方的情況下,你可以通過亂碼電路滿足隱私要求,在N方情況下使用更復雜的多方計算協議來滿足隱私要求。ZK-SNARK可以與這些協議結合起來進行可驗證的多方計算。

這可以啟用更高級的信譽系統,多個參與者可以在他們的私有輸入上執行聯合計算。現在有效地實現這一目標的數學計算仍處于相對初級階段。

我們不能將什么設為私有?

ZK-SNARK對創建用戶擁有私有狀態的系統非常有效。但是ZK-SNARK不能保持沒有人知道的私有狀態。要對一段信息進行證明,則證明者必須以明文的形式知道這段信息。

Uniswap就是一個不容易私有化的例子。在Uniswap中,有一個邏輯中心的「東西」,就是做市商賬戶,它不屬于任何人,Uniswap上的每筆交易都是與做市商賬戶進行交易的。你不能隱藏做市商賬戶的狀態,因為那樣的話,就必須有人以明文的形式持有這個狀態以進行證明,并且每筆交易都需要他們的積極參與。

你可以用ZK-SNARK的亂碼電路做一個中心化操作的、安全的、私有的Uniswap,但誰也不清楚這樣做的好處能否抵消執行它所需要的代價。這甚至可能不會帶來任何真正的好處:合約需要能夠告訴用戶資產的價格是什么,而逐塊的價格變化可以告訴用戶交易活動是什么。

區塊鏈可以讓狀態信息全球化,ZK-SNARK可以讓狀態信息私有化,但我們真的沒有任何好的方法可以讓狀態信息全球化同時實現私有化。

將原語放在一起

在上面的小節中,我們看到了一些本身就是強大且有用的工具的示例,但它們也可以作為其他應用程序的構建塊。例如,nullifier對于貨幣來說很重要,現在它們在其他用例中也在重復出現。

在負面聲譽部分使用的「強制鏈接」技術適用范圍非常廣。它對于許多應用程序非常有效,其中用戶的「配置文件」會隨著時間的推移以復雜的方式發生變化,你希望強制用戶遵守系統的規則,同時保護隱私。用戶甚至可以被要求用完整的私有Merkle樹來表示他們的內部「狀態」。這篇文章中提出的「承諾池」小工具可以用ZK-SNARK來構建。如果某些應用程序不能完全在鏈上并且必須有一個中心化的運營者,那么完全相同的技術也可以用來保持運營者的誠實。

ZK-SNARK是一個非常強大的工具,它將責任和隱私的好處結合在了一起。同時它們也確實有其局限性,但在某些情況下,聰明的應用程序設計可以繞過這些限制。我希望看到更多的應用程序使用ZK-SNARK,并最終在未來幾年內構建出將ZK-SNARK與其他形式的加密相結合的應用程序。

Tags:ARKNARASHHASHArkane NetworkCoinary Tokenxcash幣今日行情HASH幣

pepe最新價格
AIN:Chainlink回應LUNA預言機事件:最小精度熔斷機制被自動觸發,將吸取經驗教訓

鏈捕手消息,針對多個借貸協議稱因Chainlink的LUNA預言機暫停被攻擊事件,Chainlink方面在Discord回應稱,昨晚加密資產市場經歷了前所未有的震蕩.

1900/1/1 0:00:00
THE:加密捐贈平臺 QuestBook 完成 830 萬美元 A 輪融資,Lemniscap 領投

鏈捕手消息,加密捐贈平臺QuestBook完成830萬美元A輪融資,由Lemniscap領投,CoinbaseVentures、AlamedaResearch、Dragonfly、Hashed、.

1900/1/1 0:00:00
VENT:Venus 發布 LUNA 預言機事件補充公告,已獲BNB加速器基金的即時貸款承諾

鏈捕手消息,BNBChain上借貸協議Venus發布LUNA預言機事件補充公告稱,UTC時間5月12日09:20左右,Chainlink對LUNA的價格反饋達到價格下限.

1900/1/1 0:00:00
COI:Coinbase:加密市場本輪“從牛轉熊”的內在原因剖析

原文標題:《Thecryptomarketdownturnexplained》 編譯:胡韜,鏈捕手 金融市場本質上是一臺巨大的信息處理機器,因為它會影響數百萬個人買家和賣家的決定.

1900/1/1 0:00:00
NFT:對話NFT社交平臺Atem:為NFT社群打造的專屬Discord

作者:0x137,律動BlockBeats在Stepn后,我們看到了各種X2Earn應用,在律動BlockBeats看來,Stepn的火熱打響了Web3應用崛起的第一槍.

1900/1/1 0:00:00
比特幣:Dragonfly 致 Portfolio 創始人公開信:行業敘事發生劇變,活下去比什么都重要!

原作者:深潮TechFlowDragonflyCapital在發給投資組合公司創始人和合作伙伴的一封交流信中提到:我希望你在這些動蕩的市場條件下保持安全和理智.

1900/1/1 0:00:00
ads