原文作者:0xPARC
原文標題:ZKIdentity:WhyandHow(Part1)
這篇文章是作為系列文章中的第一篇,介紹了為什么密碼學的進步對于實現新的身份基元如此重要。在這篇文章中涵蓋了“為什么”;下篇文章將解釋“如何做”。
在線身份系統的設計在過去幾年中一直是激烈辯論的主題。現代數字身份系統已經實現了新的和復雜的在線互動和社區。不幸的是,這些系統中的許多也有明顯的弱點。
這些弱點許多可以歸因于中心化身份系統設計的固有限制。首先,這些系統通常是圍繞中心控制點建立的,因此也是中心故障點。現代電子商務、社交媒體和消息平臺很容易受到來自強大行為者的壓力或干擾,或受到惡意黑客的技術攻擊;當中心運營商被脅迫或被黑客攻擊時,除中心運營商外的多方也會面臨風險。其次,這些系統依賴于權力集中在運營商手中,他們不可能與所有用戶完全一致——例如,擁有多樣化全球受眾的私人社交媒體公司必須經常決定什么是不合理的審查行為,什么是符合公共安全利益的行為,盡管他們往往沒有恰當的能力來進行判斷。
去中心化和加密機制并不是神奇的靈丹妙藥,但它們確實提供了一些有用的工具,而且它們擴大了數字身份系統的設計空間。隨著我們更多的社會和經濟生活轉移到網上,設計安全、保護隱私和用戶控制的身份系統將變得越來越重要。在這篇文章中,我們將論證新的加密基元,如zkSNARKs,對構建具有這些特性的身份系統至關重要。
MakerDAO創始人于社區闡述Spark Protocol預挖空投計劃及SubDAO挖礦經濟模型:8月10日消息,MakerDAO創始人Rune Christensen發起關于SparkDAO SPK的預挖空投;SubDAO農場概述的社區提案,提案概述借貸協議Spark Protocol潛在的SPK預挖空投計劃,并將審查第二階段將啟動的一般SubDAO挖礦經濟模型。
其中該提案建議回溯計算哪些用戶從 Spark Protocol 借款,并從 EDSR 將借款利率提高到 5% 之刻開始計算,其中按照他們所抵押的波動性資產的金額及時間長短比例進行代幣分配,用戶無需采取任何特殊行動即可有資格參與空投;SubDAO 10 年總共會分發 20 億枚 SubDAO 代幣給每個 SubDAO 參與者,在前兩年中,創世農場的速度是每年 5 億枚 SubDAO 代幣,其中每年有 3.5 億枚 SubDAO 代幣用于 NewStable 農民,1.5 億枚 SubDAO 代幣用于 NewGovToken 農民,接下來兩年(第三至第四年),創世農場的速度為每年 2.5 億枚 SubDAO 代幣,其中每年有 1.75 億枚 SubDAO 代幣用于 NewStable 農民,7500 萬枚 SubDAO 代幣用于 NewGovToken 農民。[2023/8/10 16:17:23]
就其核心而言,zkSNARKs是有用的,因為它們使數字系統的用戶能夠產生任意復雜的可信聲明,而無需依賴受信方。所有的身份系統都是圍繞著產生可信的身份和名譽聲明的一些機制而建立的——通常是相當復雜的聲明,附在一個受信任的權威機構,如政府或公司的證明上。通過將zkSNARK結構應用于關于身份和名譽的聲明,我們可以重新構建數字身份系統,并將控制權和數據保管權交到用戶手中。
衍生品協議Vyper Protocol將從Serum DAO獲得50萬枚SRM開發贈款:金色財經消息,鏈上衍生品協議Vyper Protocol宣布其從Serum DAO申請50萬枚SRM的開發贈款獲得批準。Vyper Protocol已于上周上線devnet,允許用戶創建、交易和結算鏈上衍生品。[2022/7/25 2:36:41]
可信的聲明
由于zkSNARKs在精確的、以數學方式定義的”聲明”上運作,我們必須首先精確地分解身份系統中涉及的聲明的性質。
與一個完全未知和不信任的對手方做生意是很難的。常識告訴我們,隨著交易方之間信任度的降低,合作的可能性也會降低;博弈論告訴我們,在一次性的囚徒困境中,最佳策略總是叛變。你更愿意從一個與你的社交圈緊密相連的親密朋友那里購買一輛二手車,而不是從一個從外地趕來的不確認是否可信的58同城賣家那里購買,他甚至不會告訴你他的名字。
為了建立彼此之間的信任,我們需要能夠提出可信的聲明:關于我們身份和名譽的聲明,讓與我們交往的人覺得可信。如果上面的58同城賣家向你保證他“以前賣過很多車,每個人都喜歡我的車,請相信我”,這并不是一個真正可信的說法。但是,如果這種說法與你所知道的一個受歡迎的網站上經過驗證的買家的五星評價結合在一起,就會感覺更可信。
可信聲明的想法聽起來理所應當,但建立一個產生可信聲明的機制并使之合法化,并不是一件容易的事。在傳統模式中,我們通常的解決方案是將記錄管理委托給一個可信的權威機構,這樣他們就可以證明我們關于身份和名譽的聲明,并賦予它們可信度。這個機構必須隨著時間的推移證明他們的合法性和可信度,并維護大規模生成和分發證明的基礎設施。
MakerDAO在Immunefi上啟動1000萬美元漏洞賞金計劃:2月11日消息,穩定幣DAI背后的去中心化組織 ( DAO ) MakerDAO宣布正與加密安全服務平臺 Immunefi 合作推出一項漏洞賞金計劃,承諾向發現其智能合約漏洞的白帽黑客支付 1000 萬美元。MakerDAO 漏洞賞金計劃包括生態系統內智能合約、網站和應用程序,賞金規模根據漏洞資產的數額而定。目前,在 Immunefi 上托管漏洞賞金計劃的項目還有Synthetix、Chainlink、SushiSwap、PancakeSwap、Bancor、Cream Finance、Compound等。[2022/2/11 9:44:04]
至關重要的是,在大多數模型中,中心機構的證明是使聲明可信的原因。這是一個有效的政府身份證,所以我是一個公民;這是我的追隨者的準確名單,所以我是一個社會影響者;這些是一組經過驗證的評論和評級,所以我是一個值得信賴的在線零售企業。
可信聲明的另一個應用處在堆棧的更低層次。首先,你怎么知道與你互動的人或企業向你提出的是關于他們自己的聲明,而不是冒用了其他人?很多系統需要依賴可信機構,這些機構承擔著證明身份本身以外的更基本功能。一個API訪問令牌,一個政府頒發的護照,或者當你訪問一個網站時由證書頒發機構生成的簽名鏈,都是對身份聲明的證明。
有用的身份系統允許參與者提出非常廣泛而復雜的可信聲明。
MakerDAO發起添加YFI和BAL作抵押品及調整債務上限等投票:金色財經報道,據官方博客消息,治理促進者和Maker Foundation智能合約團隊已將一系列執行投票納入投票系統,其中包括:1.添加YFI和BAL為新抵押品類型;2.將ETH-A債務上限從5.4億枚DAI減少到4.9億枚DAI;3.將ETH-B債務上限從2000萬枚DAI減少到1000萬枚DAI。4.將MANA-A債務上限從100萬枚DAI減少到25萬枚DAI。5.將USDT-A債務上限從1000萬枚DAI減少到250萬枚DAI;6.將WBTC-A債務上限從1.2億枚DAI增加到1.6億枚DAI;7.將LINK-A債務上限從500萬DAI枚增加到1000萬枚DAI;8.將ETH-B穩定費從6%降低至4%。[2020/11/7 11:54:14]
當你通過Doordash訂餐時,Doordash網絡服務器對你作出可信的聲明;你通過第三方身份提供者對你的身份向Doordash作出可信的聲明。你通過各種金融機構向Doordash提出關于未來付款的可信聲明。
當你貸款買房時,你隱含地向銀行、房地產經紀人、賣家和政府提出了大量關于你的身份和名譽的可信聲明。
當你申請工作時,你通過利用許多不同的證明系統向你的潛在雇主提出可信的聲明。通過引用來自教育機構或專業認證機構的證件,來自合作過的其他同事,以及來自以前的公司的證明,你聲稱你有足夠的培訓和相應性格來勝任這份工作。社會媒體和其他在線賬戶提供者,可以為關于你是什么樣的人的隱性聲明提供進一步證明。
隱私基礎設施項目NuCypher成立NuCypherDAO自治組織:隱私基礎設施項目NuCypher宣布成立NuCypherDAO自治組織,用于治理NuCypher網絡。NuCypherDAO由那些為網絡運行節點提供資源并為用戶提供服務的核心利益相關者(NuCypherStakers)組成,并且由Aragon項目提供支持,包括安全且設計良好的技術實現以及直觀的用戶交互界面。NuCypherDAO體系的核心部分是代理(Agent),它是一種能執行由Stakers社區驗證的提案的智能合約,NuCypher網絡的智能合約由代理擁有,而代理的配置方式是,僅執行由大多數社區Stakers驗證有效的操作。因此,NuCypherDAO是整個NuCypher網絡智能合約的實際所有者,NuCypherDAO的所有決策都屬于社區。[2020/6/16]
隱私
幾乎所有的身份系統本質上都需要隱私來實現預期的功能,這一事實使情況更加復雜。
隱私是很重要的,因為道德和意識形態的原因,有時是有爭議的;但更根本的是,作為一個簡單的系統設計問題,它往往是必要的。例如,幾乎所有的身份系統都依靠秘密數據的概念來產生可信的身份聲明——密碼、社會安全號碼、私人鑰匙、信用卡密碼、賬戶恢復問題等等。出于明顯的原因,這些數據必須被保密。此外,用完全透明的數據產生可信聲明的過程可能有負外部性,或者至少是復雜的外部性;隱私保障可以防止這些。例如,如果你不得不出示你的整個財務歷史,只是為了在一個在線市場上購買或出售物品——銀行報表、信用卡交易、貸款支付,以及其他工作——對手可以使用這些信息來進行與原始交易無關的超范圍互動。隱私“沙盒”提供一次性互動,很好地定義和限制其范圍,這樣我們就可以從簡單和可理解的構件中建立更復雜的系統。
在需要隱私的傳統系統中,我們不得不把更多的權力下放給中心機構——在這樣的系統中,中心機構存儲私人數據,并對關于這些數據的可信聲明作保,而這些聲明幾乎不可能被驗證。
密碼學的作用
到目前為止,我們所討論的所有關于可信聲明生成和身份系統的模型都涉及一個中心化的行為者。正如我們所討論的,我們有很多理由想尋求一個不依賴強大的記錄者或管理者的系統。
但我們面臨很明顯的問題:我沒有你的數據,我怎么能相信你的說法?如果你把你的數據發給我,我怎么知道這些數據是有效的?如果你想對私人數據作聲明,我們又該怎么辦?這正是密碼學發揮作用的地方。
從我們的角度來看,在過去的五十年里,大部分的應用密碼學都是一個逐步擴大的項目,即在各種資源限制和隱私條件下,在沒有可信的權威的情況下,可以做出哪些可信的聲明。
數字簽名方案允許我通過用相同的私鑰簽署一系列信息,對我在網上的身份的一致性提出可信的聲明,且跨越一系列不同的行動。“我被授權向Alice的信用卡收費。”
團體簽名方案允許我對身份做出更復雜的隱私保護聲明。“我是這個校友組織的成員,但我不會告訴你是哪個成員。”
簽名聚合、多簽名和閾值簽名方案使我能夠在各種不同的資源限制下對群體行為做出聲明。“這個大的集體機構——而不僅僅是一個冒失雇員——已經授權從我們的金融賬戶中轉移貨幣。”
共識方案和可編程的智能合約讓我能夠對未來的行動做出可信的、不可逆轉的承諾。“如果你向我發送數字資產A,我將立即向你發送數字資產B作為交換。”
從歷史角度看,進展是緩慢的——這些加密基元中的每一個都定義了一種新的、范圍嚴格的聲明,其結構是高度明確的。然而,在過去的幾年里,這種情況已經改變了。
今天令人振奮的是,由于SNARKs的存在,我們現在有了有效地提出任意可信聲明的機制。由于zkSNARKs的零知識屬性,我們還可以完全按照我們的喜好調整聲明的隱私保證。
下面是幾個例子,說明你可以用zkSNARK做出什么樣的聲明,這在以前是不可能的。
“我是一個值得信賴的債務人。我已經及時償還了三家值得信賴的銀行的大筆貸款,盡管我不會透露這些銀行或貸款的用途。”
“我是一個受人尊敬的社區成員。雖然我是以匿名方式寫這篇帖子,但在我的命名賬戶下,我在這個論壇上已經積累了超過10000次的支持率。”
“我是一個長期的加密代幣收集者。我控制的以太坊地址集體持有至少兩個來自黑暗森林瓦爾哈拉系列的NFT,以及至少100ETH。”
這些聲明可以被組合、組成,甚至以任意復雜的方式進行編程。
雖然所有這些在理論上都是可能的,但我們仍有很長的路要走。為下一代應用制作一套強大的ZK身份識別工具,需要在性能、可靠性、開發者經驗和應用設計模式方面做出實質性的改進。在下一篇文章中,我們將討論我們對未來道路的理解。
補遺:身份中包含什么?
為了了解密碼學在哪些方面可以用于建立一個身份系統,將身份系統的概念分解為其關鍵組成部分是很有用的。
在分析一個特定的身份系統時,我們可以問以下一些問題。
身份的原子單位是什么?
物理世界:身份往往與法律上的人格相關。換句話說,身份的原子單位是個人,或公司。
網絡空間:身份可以是谷歌/臉書/推特賬戶;與證書機構相關的公鑰/私鑰對;一些基于以太坊的代幣的持有人;以及其他。
什么構成有效的身份證據或證明?誰可以簽發身份證明?誰可以撤銷與身份證明相關的特權?
物理世界:一個有效的證明可能看起來像國家頒發的身份證或營業執照。政府最終擁有持有有效身份證明所帶來的特權的權力:例如,政府可以撤銷你的護照。
網絡空間:一個有效的證明可能是FB提供的OAuth令牌,或一個有效的數字簽名。各種服務提供商對各種證明擁有權力:例如,Twitter可以禁止你的賬戶。
誰保管與你的身份相關的輔助數據?誰可以訪問這些數據,以及誰控制這種訪問?
物理世界:輔助數據由政府機構和官僚機構、私人服務提供者和私交共同持有。
網絡空間:在中心化模式中,輔助數據由大型科技公司持有。在去中心化模式中,輔助數據由你控制的客戶端軟件以及去中心化存儲網絡共同持有。
哪些記錄、文件或證明是名譽和可信度的信號?誰決定這些信號以及如何解釋這些信號?誰能接觸到決定名譽的基礎輸入數據?誰可以訪問這些信號?
物理世界:信用評分報告、背景調查、社會推薦信、就業信、證書和榮譽以及頭銜。
網絡空間:NFT所有權,賬戶年齡和早前活動,證明網絡,Reddit或其他論壇點贊數。
其中一些概念相互融合:身份、名譽和身份證明是密切相關的,而且不容易分割。例如,在一些系統中,身份的原子單位甚至被定義為“中心機構可以提供有效證明的”——一個不存儲在Facebook數據庫中的Facebook賬戶的概念是不存在的。
一般來說,我們在這組系列文章中使用的身份指的是一個實體的持久性標簽,并代表該實體的法律人格、公鑰、賬戶ID等。我們用名譽來指關于實體過去行為的聲明。
本周概覽 -FOMC宣布加息75個基點,二季度GDP持續負增長,但股市為什么反彈?-Kucoin推出使用NFTETFs購買NFT的方式.
1900/1/1 0:00:00Polkadot生態研究院出品,必屬精品波卡一周觀察,是我們針對波卡整個生態在上一周所發生的事情的一個梳理,同時也會以白話的形式分享一些我們對這些事件的觀察.
1900/1/1 0:00:00三星官宣推出SpaceTycoon,這是一個基于元宇宙構建在Roblox上的虛擬游樂場,針對Z世代人群.
1900/1/1 0:00:00本周摘要 -加密市場的冬天已經到來。像3AC這樣的頂級資管機構暴雷,他們能挺過這場危機嗎?-與加密貨幣相比,NFT市場保持強勁,這背后的原因是什么? 一、上周行業動態 上周加密市場最終還是沒能抵.
1900/1/1 0:00:00據官方消息,新2pool(USDD/USDT)LP礦池已于日前正式登陸SUN.io,目前雙幣挖礦火熱進行中,APY達43.02%.
1900/1/1 0:00:00免責聲明:本文旨在傳遞更多市場信息,不構成任何投資建議。 要說互聯網當初興起時和如今的Web3.0有何不同,只需要看看加密世界的發展史就知道.
1900/1/1 0:00:00