上一篇文章我们开始了这个系列,概览了目前在以太坊中使用零知识证明构造的应用。今天我们将深入探讨隐私和身份。
什么是隐私?
! b7 n( H5 ?* i/ z: [
隐私可以定义为「能够控制谁可以看到或使用有关某事的信息」。隐私高度依赖于上下文,每个人自己的态度都是从他们自己的经验和对未来的愿景中形成的(参见 solarpunk vs lunarpunk)。
尽管如此,人们普遍认为以太坊的公开透明特性对许多用例来说非常有用,但很难用于其他用例,如支付、社交、投票等。我们并不想让每一比特信息上链,让每个人都可以看到。2 I, V2 G, H% p1 d7 }, ?% G
因此我们可以说 ZK 空间中的很多类别其实也属于隐私的范畴。今天我们将讨论隐私身份(zkID)。
隐私和身份(zkID)! d' H! R* j5 w
, j- G- B2 _& i$ j7 x# h
身份上下文中的隐私是指:选择性隐藏或揭示实体、身份和属性 / 标识符之间的信息和关系的过程。
- ! c. K+ T% F9 h- H
- 实体(entity)指任何独立的存在,例如人、公司或 DAO。
- 身份(identity)指引用实体的任何间接方式。例如以太坊地址。
- 属性(attribute)、标识符(identifier)或凭证(credential)是与身份相关的任何事物,例如声誉和交易历史。( V- V4 i: J8 u- t2 V+ }
例如:我是 Andy(实体),我交互的方式之一就是用我的以太坊地址:0x03EaB5c696Deaf3c44046254E7cb967a4dC173ea(身份),持有参加 Devcon 的 POAP(凭证)并在链上投票(标识符); T: n/ O) z9 x5 \6 C2 _
当我们讨论隐私光谱时,可以将其简化为:" d; A) t" v, z4 r4 O& s3 s
- O$ V: d6 [+ ^6 N" [
- 公开:行为、属性或标识符可以追溯到身份和实体。* e- C' h- _% H( \6 T
- 伪匿名:行为、属性或标识符可以追溯到身份,但不能追溯到实体。(这是以太坊地址的默认情况)
- 匿名:行为、属性或标识符无法追溯到实体或身份。
提供凭证、声誉或徽章标识符的实体称为凭证提供者或证明者(attesters)。一般凭证提供者用于机构,证明者用于点对点情况,但也可以互换使用。这意味着任何人都可以成为证明者,包括你自己!
通过有选择地揭示凭证或属性的一个方面,身份可以做出有用的声明。使用这些匿名凭证进行声明的几个例子是:
- 证明:9 ?3 M p4 l! c6 n( l" ^
- 居住地、国籍、年龄、教育程度、熟练程度、出席、声誉、使用、贡献、证书、团体成员资格等。& J( ^: w" Q0 n
- 例如:
- 「我证明我住在 X 国,但你对我一无所知」% m/ o- a* {. s; i" P0 t% Q. y$ Q
- 「我证明我为 X 项目做出了贡献,但你无法了解其余的历史。」
- 「我证明我持有可以成为这个团体一员的有效的凭证,但不会透露我的身份。」% A) g. q' S7 o/ R& J W: n0 z
免责声明:
- 项目按字母顺序组织。& G- P: e) z3 M) L# @1 w8 g. E
- 我知道我会在第一版错过很多伟大的项目。我尽了最大努力研究生态,但如果我错过了你的项目,请告诉我,这样我就可以向全世界分享你的精彩!
- 项目可以分为不同的类别,任何分类在一定程度上都是主观的。这只是我在撰写本文时的一种心理模型。这种分类可能会随着反馈和本报告的未来版本而发展。1 r7 F. P& B5 v- I' [' e% g) _6 ~2 ~
证明者平台/ y. L' W% s7 a% A8 H
$ B! Y- F+ J$ Y
这组应用可以去隐私地证明区块链已知的事实。例如:NFT 的所有权、徽章、声誉(可泛化为代币)、以太坊地址的所有权,甚至以太坊地址的历史事实。' ]0 m, Z1 c/ c8 C
通过提出声明但不留下身份的任何痕迹(打破了属性<>身份链接)提供了匿名性,这也是一种防人肉搜索的方法。一些示例项目包括:4 U4 }0 z2 D4 q0 _
- Relic Protocol:使用 ZKP 来证明关于任意以太坊状态历史的事实,允许用户根据他们的历史链上活动来证明他们的声誉。. g' r/ L% v5 }8 { v7 H6 x
- Sealcred NFT:使用 ZK 徽章构造假名身份。可以证明 NFT 的所有权,且无法追溯到你。5 [7 ]$ {$ w9 j9 s- a6 Z4 p
- Sismo Badges:从帐户(Web2 或 Web3)导出构造徽章,SBT。徽章证明有关用户数字身份的事实。
自定义证明创建( L5 N; C* V/ u" i5 ?
3 N% P! E& }( u# L, q
- Sismo Factory: Sismo 是一种模块化协议,颁发 ZK 徽章 (SBT),尊重用户隐私和主权的前提下进行声誉移植和聚合。Sismo Factory 允许任何人创建自定义 ZK 徽章。8 w- C; F4 K( v2 J, Z
身份互操作性(Web2->Web3)3 A/ |% ]1 W5 i9 b) t
这个子类别也属于互操作性,但由于与身份的关系,我们这里将强调这个角度。, d% r( D6 I% \4 }+ V, W
大多数凭据和交互仍在 Web2 世界中发生。以去中心化和匿名的方式将凭证、属性或证明(身份)从 Web 2 桥接到 Web 3 是引入下一个十亿用户的关键。8 U0 g3 M7 I* ~" J
与该空间相关的一些例子是将 Twitter 和 GitHub 可信度移植到 Web3(如上所示),但还会包括银行信息、组织从属等。
- TLSNotary 提供数据真实性的证明。允许从任何 Web 应用导出数据并在不损害隐私的情况下证明有关数据的事实。TLSNotary 可以为 Web 上的任何数据创建其真实性的密码学证明。
- Sealcred Email 使你能够证明你拥有来自特定域名(即 @google.com)的电子邮件。提交电子邮件后将在域外创建一个令牌。这意味着你可以证明对电子邮件域的所有权,而无需让它追溯到你。' g# E$ O: B T0 }" t! ]) m7 {
- ZK Email:匿名验证电子邮件签名,同时屏蔽你想要的任何数据。每封电子邮件都可以被验证为发往 / 来自特定域名或子域名,或者在正文中包含一些特定的文本。这解锁了构造在任意电子邮件证明之上的复杂应用逻辑的可能性。 h( z; r8 M6 n
# K# i) J% V! [, n# M) K5 ?2 s
身份证明(Proof of Personhood)无需过多解释的。值得一提的是,它越来越多地被用作一种反女巫机制。
- ! U/ b% }* k* M% b3 P/ D1 {; g
- Interep 反女巫即服务。用户可以从 Twitter 和 Github 等平台匿名导出声誉,服务可以验证用户属于某个群体或满足特定的声誉标准,而无需透露他们的身份。6 ~# V5 r6 V" l7 v2 X9 _7 N
- Worldcoin 构造了 WorldID,这是一种保护隐私的身份证明协议(数字身份),可以证明你是一个真实而独特的人,同时充分保护你的隐私。6 ^- @2 E- z! D: s) m+ K9 w
合规(KYC、AML、KYB)8 U/ R, }- t& R3 D
zkCompliance 涵盖专注于保护隐私,同时仍满足特定司法管辖区的监管合规标准的应用。例如,通过这种方式,我可以证明我已经向安全提供商提供了我的 KYC 要求,而无需向所有人公开我的信息。这个过程很关键,因为数据和安全泄漏已经暴露了数百万条信息,我们正在限制暴露风险。
- Notebook Labs:匿名 KYC 和灵魂绑定凭证,使用零知识证明为 Web3 构造匿名且可追责的身份。. N2 s. T( z8 {7 R1 r- f
- Noxx 是一种薪资和合规工具,使公司能够在不损害法律义务的情况下雇用假名人才。
- Polygon ID:带有可编程隐私的身份系统,赋予能够创建与 web3 服务的可信交互的能力。" L! R# T2 t9 |3 y- T) X
- KeyRing.Network 通过保护隐私的 KYC 访问 TradFi 支持的交易池。2 u' Z n# D+ F* x
- zkPass 是一种基于安全多方计算和零知识证明的隐私保护去中心化 KYC 解决方案。
8 ~+ B7 }0 \) D, j1 d
身份管理和聚合 - zkPassport、zkWallet、DIaaS
2 @; x( V3 W$ c5 @7 [2 B
聚合和管理不同的身份,在不公开每个身份之间的关系的情况下使用其中一个或多个身份进行声明。
这个类别涵盖了很多不同的角度,「上下文」成为细分它们的关键因素。此类别的一个关键目标是最大限度地减少信息泄漏,在这种情况下重复交互后匿名性或假名性可能会受到损害。
- Crypt-Keeper 是一个浏览器扩展,可实现零知识身份管理和证明生成。) \4 |5 o: X' a, Q$ \, u) W# W/ w
- Holonym 是用于管理链上身份的 ZK 护照。
- Nuggets 经过验证的自主权去中心化身份和支付平台,作为可重用、可互操作的 ID,具有基于价值的声誉。
- Sismo Vault:存储用于 Web3 上隐私身份验证的密码学签名。Sismo Vault 允许用户以顺滑和隐私保护的方式向第三方证明有关其导入帐户的声明。( D, g' c+ F) \8 `
- Zuzalu passport:允许 Zuzalu 居民存储与 Zuzalu 身份、声誉、活动等相关的个人数据,以及去共享这些数据的任何部分。) I) f; T% S" X9 p! L+ L
治理# i v/ r+ W2 w0 H: F1 f; Q
5 s* h0 q5 \8 _5 l, F) F
这组 zkdApps 专注于治理环境中的匿名、假名或抗共谋。可以防止在投票、发信号或消息传递治理提案时出现反弹。( b, R/ b8 `. z& `/ {8 ~& H
- |$ u7 @6 j* x" p7 V
- AnonyZKVote 是一个为成长型社区服务的投票平台。利用 Discord 作为身份验证机制,使用零知识保护选民的隐私。
- Blind-OVOTE 是一种 L2 投票解决方案,通过将 Validity Rollup 思想与 zkSNARK 里的椭圆曲线盲签名相结合,在以太坊上提供链下匿名投票和链上绑定执行。
- zkPIN 是一种称为承诺池的新协作机制,能够以信任最小化的方式签署或背书一个想法。问题很简单:你想签署或背书某个想法,但只有在有足够多的其他人也这样做时,你才会愿意公开地这样做。
- HeyAnoun 允许匿名持有者对提案提供反馈,同时使用零知识证明维护他们的隐私。
- Isokratia 是一个信任最小化的治理平台,通过使用递归 SNARKS 进行链下投票。
- Open Vote Network 是一个 2 轮去中心化投票协议,具有所有通信公开、自我计票、选民隐私和无争议的特性。+ t+ r& E+ |$ J
- MACI(极简反共谋基础设施)是反贿赂、安全和隐私数字投票的基础层。MACI 通过使投票协调员以外的任何人都无法去验证特定用户如何投票,在区块链投票中使用 ZKP 来抵御共谋。; i5 f( g+ Q5 e
- Semaphore 是一种协议,旨在成为以太坊 DApp 的简单通用隐私层。使用零知识,以太坊用户可以证明他们是某个团体的成员,并在不透露其原始身份的情况下发送投票或背书等信号。
- Vocdoni 是一种开源区块链投票协议,具有可扩展性、可审计性、抗审查性和匿名性。Vocdoni API 和 SDK 支持灵活、轻松和无缝地访问投票基础设施。) g8 P6 K/ N& r9 D( [" F3 J2 ^' F5 Y
认证
ZKP 可用于在不交换口令等秘密信息的情况下对用户进行身份认证。
- ) ]. h+ Z' ]/ v( l5 n
- Sismo Connect——应用单点登录——无论是在 Web2 还是 Web3 上。集成后,应用可以向用户请求私有的、细粒度的数据,而用户可以验证并有选择性揭示他们的数据。4 e Y& X+ _" ]; _; q" t
- Heyauthn - 尝试为 ZK 身份带来跨设备钱包。使用设备上的生物识别身份认证来提供安全性和便利性。' D9 J3 n) T2 F5 s [0 T
3 R$ X% |9 @# w0 }9 y
在社交网络中的匿名或伪匿名交互。
- , \' U- w( V) s- t+ r
- HeyAnon 是一种让那些在一个很酷群里的或在以太坊上做了某些酷事的人在 Twitter 上匿名广播消息的方式。任何参与群组或历史时刻的人都可以被验证,然后将其发布到信息流推送中。# { ^, _: N# M9 I5 ^. Z- V: I* X/ n
- SealCaster 是由 ZK 提供支持的 Farcaster 上的匿名消息传递方案; j! V3 D3 q5 ]! v
- UnirepSocial 是一个建立在 Unirep 协议之上的社交网络系统,群组中的匿名成员可以在不透露身份的情况下给予、接受和证明声誉。! s4 m6 G0 e$ W! `5 x' h
- SealCred Echo 使你能够使用 ZK 徽章匿名发推文。$ x: E6 q+ p2 P/ E
- Zkitter 是一个由 ZK 提供支持的匿名社交网络。- O: [8 B8 D" J! X' b) H( K
- ZK3 是一个 Lens 协议 + Semaphore 集成,允许 Lens 协议的用户通过 ZKP 和群组成员证明来管理帖子交互(谁可以评论、镜像等)
匿名聊天和垃圾邮件保护1 p7 a! S+ |" q# z4 k- s. G
) L# V( j6 w' U5 {8 i
需要新的工具来管理匿名消息通信环境。
- RLN 是一种基于零知识证明的构造,可以为去中心化的匿名环境启用垃圾邮件保护机制。Waku RLN 已被实现。$ j6 I( B3 Q w4 e7 J# ^
- Zk-chat 匿名和隐私聊天环境,使用 Interep 进行隐私保护注册和抗女巫以及用 RLN 进行垃圾邮件保护。' {9 Y% P2 d" _' r9 X, P3 b
在下一篇文章中,我们将探索隐私计算(zkComp)空间,以及更多的隐私身份, zkDefi。有太多值得探索的地方了!
另外这个列表只会随着时间的推移而继续增长!它可能已经过时了