比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > XLM > Info

ARK:ZK 身份:為什么需要及怎樣做到?(一)

Author:

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

今年1月,我們啟動了?0xPARC零知識身份(ZK-Identity)工作小組:一個嘗試使用?zkSNARKs來構建數字身份工具的工作小組。在解釋為什么密碼學的進展對實現新的身份原語很重要的系列文章中,本文系第一篇。第一篇文章解釋了“為什么”;而在之后的文章中會解釋“怎么做”。

近幾年里,線上身份系統設計的話題一直得到激烈的討論。現代數字身份系統令新型、復雜的線上交互和社區得以實現。但不幸的的是,這些系統有許多都存在明顯的弱點。

在這些弱點里,有許多可以歸因于中心化身份系統設計的固有限制。首先,這些系統通常會圍繞中央控制點來構建——也就是中心點故障。現代電子商務、社交媒體、消息傳遞平臺在受到強大行動者的施壓與干涉、或來自惡意黑客的技術攻擊;當中央運營商受到脅迫或黑客攻擊時,中央運營商以外的各方會也會處于危險之中。其次,這些系統依賴掌握在運營商手中的集中權力,它不可能與所有用戶完全站在同一陣線上——比如,一個擁有多元全球受眾的私營社交媒體公司必須經常決定什么構成不正當的審查行為,什么是符合公共安全利益的行為,雖然在這一點上,他們經常心有余而力不足。

去中心化與加密機制雖然不是神奇的萬能藥,但它們確實提供了一些有用的工具,以及拓寬了數字身份系統的設計空間。隨著我們越來越多的社會與經濟生活轉移到線上,設計安全的、保護隱私的、以及由用戶控制的身份系統將變得越來越重要。在本文,我們將論證像zkSNARKs這樣的新型密碼原語對于構建含有以上屬性的身份系統來說是至關重要的。

Matter Labs團隊推出模塊化工具包ZK Stack:金色財經報道,Matter Labs團隊宣布推出ZK Stack,這是一個模塊化工具包,用于在以太坊Layer 2解決方案zkSync Era之上構建超鏈網絡。開發人員表示,ZK Stack將給予開發者完全的主權。從選擇數據可用性模式開始,到使用您自己的實用代幣來分散排序器結束。該開源框架與EVM兼容、經過實戰測試且面向未來。[2023/6/27 22:03:06]

就其核心而言,zkSNARKs之所以有用是因為zkSNARKs可以讓數字系統的用戶毋須依靠受信任方就能生成任意復雜度的可信聲明(credibleclaims)。所有身份系統都是圍繞某種機制來構建的,這些機制可以生成身份與聲譽的可信聲明——通常來說,相當復雜的證明附屬于像政府或公司這樣受信任機構出具的證明之中。通過把zkSNARK構造應用到關于身份與聲譽的聲明,我們可以重新構建數字身份系統,將控制權與數據托管權交還到用戶手中。

可信聲明

由于zkSNARKs需要在精準、數學定義的“聲明”上運行,因此我們必須首先需要準確地分解身份系統所涉及的聲明本質。

與完全不認識且不信任的人做交易是很難的。常識告訴我們:雙方的信任度越低,合作的可能性也越低;博弈論告訴我們:在一次性的囚徒困境中,最佳策略永遠是背叛對方。你會更愿意在誰那里購買一輛二手車,是與你社交圈緊密聯系的密友?還是一位甚至不會告訴你姓名、從外地來的Craigslist(譯者注:一個美國分類廣告網站)賣家呢?

V神:ZK Rollup可能是以太坊頂級Layer2擴展武器:8月8日消息,以太坊創始人Vitalik Buterin在2022韓國區塊鏈周KBW 2022峰會中就以太坊的各類問題進行發言,他表示,由于Layer2 Rollup,以太坊網絡的交易成本將很快降至1美分,在將來所有效率改進后交易成本可能降至0.05美元,甚至可能低至0.02美元,隨著成本的下降,區塊鏈實際上可以啟用和解鎖全新的場景用例,這將完全改變游戲規則。另外,下一個十年對區塊鏈技術至關重要,區塊鏈應用需要證明它們的實用性, 所以ZK Rollup很可能是以太坊的頂級Layer2擴展武器。Vitalik還表示,量子計算將是未來的重要考慮因素,以太坊需要升級以保護自己免受未來的量子計算攻擊,并考慮轉向“新形式的密碼學”,以抵抗潛在的攻擊,但可能需要幾十年的時間。[2022/8/8 12:10:08]

為了互相建立信任,我們需要能夠做出可信聲明:讓與我們交互的人認為我們關于身份與聲譽的聲明是可信的。即便上述的Craigslist賣家對你保證他“之前賣過很多車,且所有客戶都很滿意——我向你保證。”這也不算是可信聲明。但如果此聲明與你了解的熱門網站,以及其上經過驗證的買家給出的五星評級相關聯,那么該聲明絕對給人感覺可信得多。

可信聲明的想法聽起來很好理解,但要構建一個用于產生可信證明機制且使之為大眾所接受的機制(在這個例子中,是受歡迎的排行網站)不是一件容易的事。在傳統模式中,我們常用的解決方案是將記錄管理授權給受信任的權威機構,那么他們就可以對我們的身份與聲譽聲明做證明,并為聲明賦予可信度。此權威機構必須隨著時間的推移證明它們自身的認受性與可信賴性,同時維護大規模的證明生成與分發基礎設施。

ZK Rollup 訂單簿 DEX ZigZag 疑似已在以太坊上部署“ZZ”代幣合約,總量 1 億枚:6月20日消息,ZK Rollup 訂單簿 DEX ZigZag 疑似已在以太坊上部署代幣“ZZ”的智能合約,總量 1 億枚。此前 ZigZag 發推“24th June”,疑似暗示代幣發行的相關時間節點。

此前報道,6 月 14 日 ZigZag 在 GitHub 上提交代幣源代碼。[2022/6/20 4:39:45]

最為關鍵的是,在大部分模型中,是中央權威機構的證明才使得聲明具有可信度。因為這是有效政府的身份證,所以我是公民;這是我的關注者的準確名單,所以證明我是有社會影響力的;這些是經審核的評論與評級,因此我是一個值得信賴的網上零售商。

可信聲明的另一種應用在堆棧的更底層。首先,你怎么知道跟你交互的人或公司出示的聲明是他們自己的,而不是其他人的?在依靠受信任權威機構的系統中,這些機構承擔了更為基礎的功能——身份本身的證實。當你訪問網站時,API訪問令牌、政府頒發的護照、或由證書頒發機構生成的一條簽名鏈都是對身份聲明的證明。

實用的身份系統可以讓參與者做出各種類型的復雜可信聲明:

(數字世界)當你通過Doordash訂外賣時,Doordash的網站服務器會制造一個可信聲明給你;通過一個第三方身份提供商,你向Doordash對自己的身份做出可信聲明;你通過各種金融機構對Doordash做出關于未來會支付款項的可信聲明。

(物理世界)當你抵押貸款來購買房屋時,你已經以不明顯的方式對銀行、房地產中介、賣家、政府做出大量關于身份與聲譽的可信聲明。

基于ZK Rollup的DEX ZigZag上線zkSync與Polygon跨鏈橋測試版:3月14日消息,基于 ZK Rollup 的訂單簿式 DEX ZigZag 宣布上線 zkSync 與 Polygon 跨鏈橋的測試版。該測試版現已支持 zkSync 上 ETH 和 Polygon 上 WETH 的小額跨鏈轉賬測試,待代碼穩定后會增加測試額度并進行 UI 開發。[2022/3/14 13:55:10]

(兩個世界混合)當你申請工作時,通過利用許多不同證明系統,向潛在雇主做出可信聲明。通過引用來自教育機構或專業證書權威組織、曾與你共事過的其他同事、前公司的證明(學位證書、證書),你聲稱自己具有足夠的培訓與素質來勝任這份工作。社交媒體與其他線上賬戶提供商其實對關于你是一個什么樣的人的聲明做進一步的證明。

隱私

幾乎所有的身份系統本質上都需要隱私信息才能實現預期功能,這一事實使得情況更加復雜。

出于道德和意識形態的原因,隱私是重要的,它有時會引發爭議;但更為根本的是,隱私是系統設計的一個簡單問題,但往往是必要的。例如,幾乎所有的身份系統都依賴于秘密數據的概念,以生成關于身份的可信聲明——密碼、社保號碼、私鑰、信用卡的PIN碼、賬號恢復問題等。顯然,這些數據需要保密。另外,使用完全透明的數據生成可信聲明的過程中可能會有負面的外部效應,或至少是難以推理的外部效應;隱私數據可以防止以上情況。舉個例子,如果你只是想在線上市場購買或出售商品,但你需要出示整個財務歷史——銀行對賬單、信用卡交易、還貸情況等,那么對手方有可能使用這個信息來發起與原交易無關的超出原定范圍交互。隱私對一次性交互”進行沙盒測試“,明確定義與限制了交互范圍,這樣我們就可以從簡單又易于理解的構件開始構建更加復雜的系統。

StarkWare推出ZK Rollup擴容方案StarkNet Alpha 1版本:StarkWare推出ZK Rollup擴容方案StarkNet Alpha 1版本,該版本更新包括實現了L1、L2交互功能、實現了L1鏈上數據可用性,可通過L1數據構建StarkNet的狀態等,此外,StarkNet還發布了StarkNet操作系統的代碼,包括合約部署、交易執行等細節。[2021/7/20 1:03:37]

在需要隱私信息的傳統系統中,我們必須將更多權力委托給中央權威機構——在這樣的系統中,中央機構存儲私人數據,以及對這些數據的可信證明做證明,這些私人數據幾乎不可能被驗證。

密碼學的作用

到目前為止,我們對可信聲明的生成和身份系統所討論過的所有模型,都涉及到一個中心化角色。就如同我們探討過的一樣,有很多理由讓我們想要探索一個不依賴于強大的記錄保存者或管理者的系統。

這時我們立刻就面臨一個顯而易見的問題:當我沒有你的數據時,我怎樣相信你的聲明?如果你向我發送屬于你的數據,我怎么知道這些數據是有效的?如果你想要生成隱私數據的聲明,那我們應該怎么做?這正是密碼學發揮作用的地方。

從我們的角度來看,在各種的資源限制和隱私條件下,大部分應用密碼學(和共識)在過去五十年里都在不斷地擴展這個范圍:即在沒有可信的權威的情況下,可以做出何種可信聲明。

數字簽名方案允許用戶使用同一個私鑰來簽署一系列消息,經過一系列的不同操作,用戶可以對自己線上身份的一致性做出可信聲明。“我被授權向Alice的信用卡收費。”

小組簽名方案可以讓用戶生成關于身份的更復雜的隱私保護聲明。“我是該校友會的成員,但我不會告訴你我的確切身份。”

簽名聚合、多簽、門限簽名(thresholdsignature)方案在多種不同資源限制下讓用戶對小組行為生成聲明。“這個龐大的集體——不只是單個離群的雇員,已經授權從我們的金融賬戶中轉移貨幣。”

共識機制與可編程的智能合約允許用戶對未來的行為做出可信且不可逆轉的承諾。”如果你對我發送了數字資產A,那么我會立即向你發送數字資產B作為交換。”

在過去,這些進程發展緩慢——這些加密原語中的每一個都定義了一個全新且范圍嚴格的聲明類型,其結構都是高度明確的。然而,在過去幾年里,這種情況已經發生了改變。

時至今日,令人感到興奮的是,我們目前已經有一種機制可以讓我們有效地生成任意可信證明,這要歸功于SNARKs。通過借助zkSNARKs的零知識特性,我們能夠根據自己的意愿來調整聲明的隱私保證。

以下是你可以利用zkSNARK生成的一些聲明類型例子,這在過去是不可能做到的:

“我是一個值得信賴的債務人:我已經準時地還清了在三個銀行處借貸的大額貸款,雖然我沒有透露具體是哪幾間銀行以及借款用途。”

“我是一名備受尊敬的社區成員:雖然我以匿名的方式寫的這篇帖子,但在我的命名賬戶下,我在這個論壇上已經累積收到超過1萬記選票。”

“我是一個長期持有加密貨幣的收藏者:我控制的以太坊地址共持有至少兩個DarkForestValhalla系列的NFT,與至少100枚ETH。”

這些聲明可以以任意復雜的方式來連接、組合、甚至是編程。

當這在理論上是可行的時候,我們依然還有很長的路要走。為下一代應用制作一套強健的ZK身份工具,需要在性能、可靠性、開發者體驗、應用設計模式上進行實質性提高。在下篇文章中,我們將討論到對未來路線的理解。

附錄:在身份中有什么?

要理解密碼學可以在構建身份系統中的哪處發揮作用,那么就要將身份系統的概念分解到其關鍵組成部分,這將有助于我們的理解。

在分析一個特定的身份系統時,我們可能會問出以下幾個問題:

什么是身份的原子單位(atomicunit)?

物理世界:身份經常與法律人格(legalpersonhood)相聯系。換句話說,身份的原子單位就是一個獨立的個人,或法人。

網絡空間:身份可以是一個谷歌/臉書/推特賬號;與某認證中心相關聯的公/私鑰對;一些基于以太坊的代幣持有者(可能與特定地址無關);或其他。

身份的有效證明是由什么組成的?誰可以分發身份的證明?誰可以撤銷與身份證明有關的特權?

物理世界:一個有效的證明也許是國家頒發的ID或EIN信(雇主識別號EmployerIdentificationNumber,由美國國稅局分配給在美國經營的商業實體的唯一的九位數字,用于識別身份)。對于一個有效的身份證明,政府擁有最終權限:例如,政府可以吊銷你的護照。

網絡空間:一個有效證明可以是臉書提供的OAuth令牌,或者是一個有效的數字簽名(或一串簽名鏈)。各種不同的服務提供商對各種證明擁有控制權:比如,推特可以封禁用戶賬號。

是誰在保管用戶身份相關的輔助數據?誰能訪問這些數據,誰又能控制訪問這些數據的權限?

物理世界:輔助數據由政府機構與官僚組織、私營服務提供商(銀行、信用評分機構)、個人共同持有。

網絡世界:在中心化模型中,輔助數據由大型科技公司掌管。在去中心化模型中,輔助數據由用戶自己控制的客戶端軟件(瀏覽器、個人網絡服務器)、去中心化存儲網絡(例如,區塊鏈上的歷史交易數據或智能合約狀態)共同保存。

哪些記錄、數字工件(artifacts)、或證明能夠表示身份的聲譽或可信度呢?是誰來決定這些信號,以及這些信號要怎樣被解譯?誰有權訪問這些決定聲譽的底層輸入數據呢?誰能訪問這些信號?

物理世界:信用評分報告、背景調查、社會推薦信、聘用信、證書及榮譽稱號。

網絡空間:NFT所有權、賬齡(accountage)、歷史活動、證明網絡、karma(Reddit的信用評分機制)/論壇點贊。

在以上概念里,有一些互相融合:身份、聲譽、身份證明緊密相連,彼此之間不易分割。例如,在某些系統里,身份的原子單位甚至可以定義成"中心機構可以為其提供有效證明的對象"——從來沒有不儲存在臉書數據庫的臉書賬號這樣的說法。

然而,一般來說,我們在這個系列的文章里使用身份一詞來表示一個實體的長期標簽(個人、組織、機器人程序),這個標簽隨著時間的推移而保持穩定狀態、并代表這個實體——法律人格、公鑰、賬號ID等。我們采用聲譽一詞來表示關于該主體過去所做行為的聲明。

鏈接與致謝

感謝YiSun與DavidSchwartz對本文的反饋及校對。

Tags:ARKZKS以太坊STASPARKzks幣價格以太坊官網下載STARSHIPDOGE價格

XLM
加密貨幣:在加密領域 能提高你賺錢概率的8件事

本文梳理自加密研究員Route2FI在個人社交媒體平臺上的觀點,律動BlockBeats對其整理翻譯如下:一、Crypto是一場概率游戲.

1900/1/1 0:00:00
比特幣:2022巴菲特股東大會精華版:500字濃縮五個半小時問答要點

時隔兩年,巴菲特領導的伯克希爾-哈撒韋公司年度股東大會重回線下舉行,這也是2020年歐美爆發新冠疫情以來首次線下舉行的這場“投資界的春晚”.

1900/1/1 0:00:00
EUT:Euterpe:將音樂IP帶入Web3世界

Web3正燃,無論是web2的互聯網還是Crypto,都在尋找不同的web3實現路徑,而嘗試者在目標上也實現了明顯一致性:歸還用戶數據所有權及相關權益.

1900/1/1 0:00:00
DAO:新人入門DAO 從“無許可”開始

為了理解人們為何會加入一個去中心化的自治組織,“無許可/Permissionlessness”這個詞是一個不錯的切入點.

1900/1/1 0:00:00
馬斯克:拿下Twitter的馬斯克 掐住了 Web3 的喉舌

誰能想到,馬斯克收購Twitter的節奏,比拿破侖攻破巴黎還要快。 如果回到那個傳訊還靠賣報小弟吆喝的年代,估計街頭小報要被這出一天一個樣的快節奏「商業爽劇」逼瘋.

1900/1/1 0:00:00
JUNO:復盤 Juno 沒收日本巨鯨 Token 始末:DAO 治理的缺陷與改進

隨著JunoNetwork17號提案的正式發布,持續兩周的Juno巨鯨制裁事件似乎走到了新的轉折點.

1900/1/1 0:00:00
ads