https://mirror.xyz/andyguzman.eth/ZZRLBlx2KjlNnQ84v1doMKg_8QO-XRjYxFfT1Fm_ZDw
这是以问题视角分析以太坊零知识应用项目系列文章的第二部分。
上一篇文章我们开始了这个系列，概览了目前在以太坊中使用零知识证明构造的应用。今天我们将深入探讨隐私和身份。
隐私可以定义为“能够控制谁可以看到或使用有关某事的信息”。隐私高度依赖于上下文，每个人自己的态度都是从他们自己的经验和对未来的愿景中形成的（参见solarpunk vs lunarpunk）。
尽管如此，人们普遍认为以太坊的公开透明特性对许多用例来说非常有用，但很难用于其他用例，如支付、社交、投票等。我们并不想让每一比特信息上链，让每个人都可以看到。
因此我们可以说 ZK 空间中的很多类别其实也属于隐私的范畴。今天我们将讨论隐私身份（zkID）。
身份上下文中的隐私是指：选择性隐藏或揭示实体、身份和属性/标识符之间的信息和关系的过程。
**实体(entity)**指任何独立的存在，例如人、公司或DAO。
**身份(identity)**指引用实体的任何间接方式。例如以太坊地址。
**属性(attribute)、标识符(identifier)或凭证(credential)**是与身份相关的任何事物，例如声誉和交易历史。
在不同的上下文中选择性地揭示信息是 zkID 将权力还给用户，实现隐私、匿名和伪匿名的方式。向他人揭示该信息的行为是通过**声明(claims)或证明(attestations)**进行的。
例如：我是 Andy（实体），我交互的方式之一就是用我的以太坊地址：0x03EaB5c696Deaf3c44046254E7cb967a4dC173ea（身份），持有参加 Devcon 的 POAP（凭证）并在链上投票（标识符）
当我们讨论隐私光谱时，可以将其简化为：
公开：行为、属性或标识符可以追溯到身份和实体。
伪匿名：行为、属性或标识符可以追溯到身份，但不能追溯到实体。（这是以太坊地址的默认情况）
匿名：行为、属性或标识符无法追溯到实体或身份。
提供凭证、声誉或徽章标识符的实体称为凭证提供者或证明者（attesters）。一般凭证提供者用于机构，证明者用于点对点情况，但也可以互换使用。这意味着任何人都可以成为证明者，包括你自己！
通过有选择地揭示凭证或属性的一个方面，身份可以做出有用的声明。使用这些匿名凭证进行声明的几个例子是：
证明：
居住地、国籍、年龄、教育程度、熟练程度、出席、声誉、使用、贡献、证书、团体成员资格等。
例如：
“我证明我住在 X 国，但你对我一无所知”
“我证明我为 X 项目做出了贡献，但你无法了解其余的历史。”
“我证明我持有可以成为这个团体一员的有效的凭证，但不会透露我的身份。”
我们来探索 zkID 中的一些重要问题空间。
免责声明：
项目按字母顺序组织。
我知道我会在第一版错过很多伟大的项目。我尽了最大努力研究生态，但如果我错过了你的项目，请告诉我，这样我就可以向全世界分享你的精彩！
项目可以分为不同的类别，任何分类在一定程度上都是主观的。这只是我在撰写本文时的一种心理模型。这种分类可能会随着反馈和本报告的未来版本而发展。
这组应用可以去隐私地证明区块链已知的事实。例如：NFT 的所有权、徽章、声誉（可泛化为代币）、以太坊地址的所有权，甚至以太坊地址的历史事实。
通过提出声明但不留下身份的任何痕迹（打破了属性<>身份链接）提供了匿名性，这也是一种防人肉搜索的方法。一些示例项目包括：
Relic Protocol：使用 ZKP 来证明关于任意以太坊状态历史的事实，允许用户根据他们的历史链上活动来证明他们的声誉。
Sealcred NFT：使用 ZK 徽章构造假名身份。可以证明 NFT 的所有权，且无法追溯到你。
Sismo Badges：从帐户（web2 或 web3）导出构造徽章，SBT。徽章证明有关用户数字身份的事实。
zCloak zkID: 是一个制作和证明凭证的平台。 专注于以用户友好的方式与 W3C DID 和可验证凭证协议进行交互。
此空间中值得一提的其他概念验证项目包括SpartanLabs zkZBT和@backaes/@shreyjaineth ZK SBT。
Sismo Factory： Sismo 是一种模块化协议，颁发 ZK 徽章 (SBT)，尊重用户隐私和主权的前提下进行声誉移植和聚合。Sismo Factory 允许任何人创建自定义 ZK 徽章。
该领域著名的非 ZK 项目包括Ethereum Attestation Service和Optimisim Attestation Station。
这个子类别也属于互操作性，但由于与身份的关系，我们这里将强调这个角度。
大多数凭据和交互仍在 Web2 世界中发生。以去中心化和匿名的方式将凭证、属性或证明（身份）从 Web 2 桥接到 Web 3 是引入下一个十亿用户的关键。
与该空间相关的一些例子是将 Twitter 和 GitHub 可信度移植到 web3（如上所示），但还会包括银行信息、组织从属等。
TLSNotary提供数据真实性的证明。允许从任何 Web 应用导出数据并在不损害隐私的情况下证明有关数据的事实。TLSNotary可以为 Web 上的任何数据创建其真实性的密码学证明。
Sealcred Email使你能够证明你拥有来自特定域名（即@google.com）的电子邮件。提交电子邮件后将在域外创建一个令牌。这意味着你可以证明对电子邮件域的所有权，而无需让它追溯到你。
ZK Email：匿名验证电子邮件签名，同时屏蔽你想要的任何数据。每封电子邮件都可以被验证为发往/来自特定域名或子域名，或者在正文中包含一些特定的文本。这解锁了构造在任意电子邮件证明之上的复杂应用逻辑的可能性。
身份证明（Proof of Personhood）无需过多解释的。值得一提的是，它越来越多地被用作一种反女巫机制。
Interep反女巫即服务。用户可以从 Twitter 和 Github 等平台匿名导出声誉，服务可以验证用户属于某个群体或满足特定的声誉标准，而无需透露他们的身份。
Worldcoin构造了 WorldID，这是一种保护隐私的身份证明协议（数字身份），可以证明你是一个真实而独特的人，同时充分保护你的隐私。
注意：在此类别中值得一提的其他尚未利用 ZK 技术（据我所知）的项目包括BrightID、Gitcoin Passport和Proof of Humanity，但是zkPoH确实为 Proof of Humanity 带来了一个隐私层。
zkCompliance 涵盖专注于保护隐私，同时仍满足特定司法管辖区的监管合规标准的应用。例如，通过这种方式，我可以证明我已经向安全提供商提供了我的 KYC 要求，而无需向所有人公开我的信息。这个过程很关键，因为数据和安全泄漏已经暴露了数百万条信息，我们正在限制暴露风险。
Notebook Labs：匿名 KYC 和灵魂绑定凭证，使用零知识证明为 Web3 构造匿名且可追责的身份。
Noxx是一种薪资和合规工具，使公司能够在不损害法律义务的情况下雇用假名人才。
Polygon ID：带有可编程隐私的身份系统，赋予能够创建与 web3 服务的可信交互的能力。
KeyRing.Network 通过保护隐私的 KYC 访问 TradFi 支持的交易池。
zkPass是一种基于安全多方计算和零知识证明的隐私保护去中心化 KYC 解决方案。
聚合和管理不同的身份，在不公开每个身份之间的关系的情况下使用其中一个或多个身份进行声明。
这个类别涵盖了很多不同的角度，上下文成为细分它们的关键因素。此类别的一个关键目标是最大限度地减少信息泄漏，在这种情况下重复交互后匿名性或假名性可能会受到损害。
Crypt-Keeper是一个浏览器扩展，可实现零知识身份管理和证明生成。
Holonym是用于管理链上身份的 ZK 护照。
Nuggets经过验证的自主权去中心化身份和支付平台，作为可重用、可互操作的 ID，具有基于价值的声誉。
Sismo Vault：存储用于 web3 上隐私身份验证的密码学签名。Sismo Vault 允许用户以顺滑和隐私保护的方式向第三方证明有关其导入帐户的声明。
Zuzalu passport：允许Zuzalu居民存储与 Zuzalu 身份、声誉、活动等相关的个人数据，以及去共享这些数据的任何部分。
注意：Signata Project 是这个类别中另一个值得一提的项目，但（据我所知）没有用 ZK 技术。
这组 zkdApps 专注于治理环境中的匿名、假名或抗共谋。可以防止在投票、发信号或消息传递治理提案时出现反弹。
AnonyZKVote是一个为成长型社区服务的投票平台。利用 Discord 作为身份验证机制，使用零知识保护选民的隐私。
Blind-OVOTE是一种 L2 投票解决方案，通过将validity rollup思想与 zkSNARK 里的椭圆曲线盲签名相结合，在以太坊上提供链下匿名投票和链上绑定执行。
zkPIN是一种称为承诺池的新协作机制，能够以信任最小化的方式签署或背书一个想法。问题很简单：你想签署或背书某个想法，但只有在有足够多的其他人也这样做时，你才会愿意公开地这样做。
HeyAnoun允许匿名持有者对提案提供反馈，同时使用零知识证明维护他们的隐私。
Isokratia是一个信任最小化的治理平台，通过使用递归 SNARKS 进行链下投票。
Open Vote Network是一个 2 轮去中心化投票协议，具有所有通信公开、自我计票、选民隐私和无争议的特性。
MACI（极简反共谋基础设施）是反贿赂、安全和隐私数字投票的基础层。MACI 通过使投票协调员以外的任何人都无法去验证特定用户如何投票，在区块链投票中使用 ZKP 来抵御共谋。
Semaphore是一种协议，旨在成为以太坊 DApp 的简单通用隐私层。使用零知识，以太坊用户可以证明他们是某个团体的成员，并在不透露其原始身份的情况下发送投票或背书等信号。
Vocdoni是一种开源区块链投票协议，具有可扩展性、可审计性、抗审查性和匿名性。Vocdoni API 和 SDK 支持灵活、轻松和无缝地访问投票基础设施。
其他值得一提的项目有：Coeo（论坛）、Ethereum Social Contract（去中心化司法）、Emergence（DAO 健康与粘性）、Om（隐私数据存储层） Sacred是一个匿名论坛，旨在培育横向、包容和有效的社区。Zero Voting（匿名二次投票），zkVoice（反财阀投票）等。
ZKP 可用于在不交换口令等秘密信息的情况下对用户进行身份认证。
Sismo Connect——应用单点登录——无论是在 web2 还是 web3 上。集成后，应用可以向用户请求私有的、细粒度的数据，而用户可以验证并有选择性揭示他们的数据。
Heyauthn - 尝试为 ZK 身份带来跨设备钱包。使用设备上的生物识别身份认证来提供安全性和便利性。
在社交网络中的匿名或伪匿名交互。
HeyAnon是一种让那些在一个很酷群里的或在以太坊上做了某些酷事的人在 Twitter 上匿名广播消息的方式。任何参与群组或历史时刻的人都可以被验证，然后将其发布到信息流推送中。
SealCaster是由 ZK 提供支持的Farcaster上的匿名消息传递方案
UnirepSocial是一个建立在 Unirep 协议之上的社交网络系统，群组中的匿名成员可以在不透露身份的情况下给予、接受和证明声誉。
SealCred Echo使你能够使用 ZK 徽章匿名发推文。
Zkitter是一个由 ZK 提供支持的匿名社交网络。
ZK3是一个 Lens 协议 + Semaphore集成，允许 Lens 协议的用户通过 ZKP 和群组成员证明来管理帖子交互（谁可以评论、镜像等）
一个值得一提的社会实验是ETHdos，使用递归 SNARK衡量你与某人比如说Vitalik的分隔程度 。另一个是Truth，一个基于照片的社交媒体，需要在应用内拍摄照片（使用 ZKP 证明）。
需要新的工具来管理匿名消息通信环境。
Zk-chat匿名和隐私聊天环境，使用 Interep 进行隐私保护注册和抗女巫以及用 RLN 进行垃圾邮件保护。
在下一篇文章中，我们将探索隐私计算（zkComp）空间，以及更多的隐私身份， zkDefi。有太多值得探索的地方了！
另外这个列表只会随着时间的推移而继续增长！它可能已经过时了 😀 ZK 空间中有一个分享zkdApps 并交流项目的类别和成熟度的会很好。如果你有兴趣构造类似于CNCF Radar的项目/技术雷达 ，请联系我！
Kurt PanzkREPL：一个zkSNARKs 在线开发环境
作者：Kevin Kwok 译者：Kurt Pan 原文链接：https://0xparc.org/blog/zkrepl在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。 那时，对计算机进行编程是一项充满仪式感的艰苦的活动。但在 1950 年代后期，一种名为 LISP 的新编程系统被发明出来，它能够对其自己的实现进行推理——通过一个名为eval的结构，程序可以要求它们自己的制造者来产生新的程序。基于此，研究者提出了一个简单的程序，该程序将从键盘读取一些输入，将其发送到eval 结构，打印结果，然后循环回到起点以等待进一步的输入。 这个巧妙的技巧 ，REPL（译者注：读取﹣求值﹣输出循环）， 引发了编程的民主化进程——把编程从一个仅由民族国家用来操控火箭的东西，变成了一个青少年用来制作游戏的东西。零知识近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链...
Kurt Pan公链隐私探索
原文：https://wdai.us/posts/navigating-privacy/ 作者：Wei Dai 翻译：Kurt Pan此文是对公链（又名去中心化账本、Crypto和 Web3）场景下隐私方面的阐述。第一部分会涉及为什么隐私是大规模采用的关键障碍以及隐私有哪些不同方面。第二部分综述了达成隐私的三种不同方法：通过零知识证明，通过仅以匿名为目标，以及通过一种新的称为 MOCCA 抽象。第一部分：什么是公链隐私以及为什么隐私——大规模采用的最后障碍现代金融系统运行良好，我们不必担心日常交易的安全性或隐私性。当你在杂货店购物、通过支票支付租金或在银行获取短期贷款时，你不必担心你的交易会受到非相关方的公开审查。在现代银行和信用卡网络中，大部分交易细节保留在相关金融中介和机构内部。理想情况下，用户不必担心他们的敏感信息会被泄露给大众，同时当局也几乎可以追踪那些非法活动。 不幸的是，目前在流行的区块链上进行的交易并非可以做到如此程度。尽管区块链技术允诺使当前的金融生态去中心化和民主化，但大多数系统甚至无法达到我们所期望的最基本的隐私级别。你买的披萨🍕会被永久记录，你所有的交易都...
Kurt Pan什么是ZEXE ？
原文：Anthony Matlala 翻译：Kurt Pan自加密货币出现，分布式账本系统变得流行起来。典型的分布式账本方案建立在区块链技术上，其特点是特定的数据结构，以区块的形式保存交易信息的记录。这些数据块通过称为哈希的密码学计算数“链接”或连在一起，并且该哈希值唯一地标识给定块。 尽管越来越受欢迎，分布式账本系统方案通常只提供有限的隐私。此外，确实提供隐私的方案通常在其支持的程序的表达能力方面受到限制。 正是这个问题促使隐私研究人员（包括几位 ZCash 创始科学家）提出了一个他们称为 ZEXE或零知识执行的方案。ZEXE 是第一个基于账本的方案，在该方案中应用程序可以在无信任、私密和可扩展的情况下执行。 虽然 Aleo 是由 ZEXE 的几位作者创立的，并且该研究是其计算模型的关键部分，但 Aleo 不仅仅是 ZEXE，其额外提供了用于编写私有应用程序的完整系列方法。 尽管如此，ZEXE 是 Aleo 中的核心组件。然而在研究圈之外，它仍然相对不为人知。本系列文章的目的是提供 ZEXE 设计策略背后的额外背景、它支持的功能以及可以使用它构建的真实世界应用的描述。预...
https://mirror.xyz/andyguzman.eth/ZZRLBlx2KjlNnQ84v1doMKg_8QO-XRjYxFfT1Fm_ZDw
这是以问题视角分析以太坊零知识应用项目系列文章的第二部分。
上一篇文章我们开始了这个系列，概览了目前在以太坊中使用零知识证明构造的应用。今天我们将深入探讨隐私和身份。
隐私可以定义为“能够控制谁可以看到或使用有关某事的信息”。隐私高度依赖于上下文，每个人自己的态度都是从他们自己的经验和对未来的愿景中形成的（参见solarpunk vs lunarpunk）。
尽管如此，人们普遍认为以太坊的公开透明特性对许多用例来说非常有用，但很难用于其他用例，如支付、社交、投票等。我们并不想让每一比特信息上链，让每个人都可以看到。
因此我们可以说 ZK 空间中的很多类别其实也属于隐私的范畴。今天我们将讨论隐私身份（zkID）。
身份上下文中的隐私是指：选择性隐藏或揭示实体、身份和属性/标识符之间的信息和关系的过程。
**实体(entity)**指任何独立的存在，例如人、公司或DAO。
**身份(identity)**指引用实体的任何间接方式。例如以太坊地址。
**属性(attribute)、标识符(identifier)或凭证(credential)**是与身份相关的任何事物，例如声誉和交易历史。
在不同的上下文中选择性地揭示信息是 zkID 将权力还给用户，实现隐私、匿名和伪匿名的方式。向他人揭示该信息的行为是通过**声明(claims)或证明(attestations)**进行的。
例如：我是 Andy（实体），我交互的方式之一就是用我的以太坊地址：0x03EaB5c696Deaf3c44046254E7cb967a4dC173ea（身份），持有参加 Devcon 的 POAP（凭证）并在链上投票（标识符）
当我们讨论隐私光谱时，可以将其简化为：
公开：行为、属性或标识符可以追溯到身份和实体。
伪匿名：行为、属性或标识符可以追溯到身份，但不能追溯到实体。（这是以太坊地址的默认情况）
匿名：行为、属性或标识符无法追溯到实体或身份。
提供凭证、声誉或徽章标识符的实体称为凭证提供者或证明者（attesters）。一般凭证提供者用于机构，证明者用于点对点情况，但也可以互换使用。这意味着任何人都可以成为证明者，包括你自己！
通过有选择地揭示凭证或属性的一个方面，身份可以做出有用的声明。使用这些匿名凭证进行声明的几个例子是：
证明：
居住地、国籍、年龄、教育程度、熟练程度、出席、声誉、使用、贡献、证书、团体成员资格等。
例如：
“我证明我住在 X 国，但你对我一无所知”
“我证明我为 X 项目做出了贡献，但你无法了解其余的历史。”
“我证明我持有可以成为这个团体一员的有效的凭证，但不会透露我的身份。”
我们来探索 zkID 中的一些重要问题空间。
免责声明：
项目按字母顺序组织。
我知道我会在第一版错过很多伟大的项目。我尽了最大努力研究生态，但如果我错过了你的项目，请告诉我，这样我就可以向全世界分享你的精彩！
项目可以分为不同的类别，任何分类在一定程度上都是主观的。这只是我在撰写本文时的一种心理模型。这种分类可能会随着反馈和本报告的未来版本而发展。
这组应用可以去隐私地证明区块链已知的事实。例如：NFT 的所有权、徽章、声誉（可泛化为代币）、以太坊地址的所有权，甚至以太坊地址的历史事实。
通过提出声明但不留下身份的任何痕迹（打破了属性<>身份链接）提供了匿名性，这也是一种防人肉搜索的方法。一些示例项目包括：
Relic Protocol：使用 ZKP 来证明关于任意以太坊状态历史的事实，允许用户根据他们的历史链上活动来证明他们的声誉。
Sealcred NFT：使用 ZK 徽章构造假名身份。可以证明 NFT 的所有权，且无法追溯到你。
Sismo Badges：从帐户（web2 或 web3）导出构造徽章，SBT。徽章证明有关用户数字身份的事实。
zCloak zkID: 是一个制作和证明凭证的平台。 专注于以用户友好的方式与 W3C DID 和可验证凭证协议进行交互。
此空间中值得一提的其他概念验证项目包括SpartanLabs zkZBT和@backaes/@shreyjaineth ZK SBT。
Sismo Factory： Sismo 是一种模块化协议，颁发 ZK 徽章 (SBT)，尊重用户隐私和主权的前提下进行声誉移植和聚合。Sismo Factory 允许任何人创建自定义 ZK 徽章。
该领域著名的非 ZK 项目包括Ethereum Attestation Service和Optimisim Attestation Station。
这个子类别也属于互操作性，但由于与身份的关系，我们这里将强调这个角度。
大多数凭据和交互仍在 Web2 世界中发生。以去中心化和匿名的方式将凭证、属性或证明（身份）从 Web 2 桥接到 Web 3 是引入下一个十亿用户的关键。
与该空间相关的一些例子是将 Twitter 和 GitHub 可信度移植到 web3（如上所示），但还会包括银行信息、组织从属等。
TLSNotary提供数据真实性的证明。允许从任何 Web 应用导出数据并在不损害隐私的情况下证明有关数据的事实。TLSNotary可以为 Web 上的任何数据创建其真实性的密码学证明。
Sealcred Email使你能够证明你拥有来自特定域名（即@google.com）的电子邮件。提交电子邮件后将在域外创建一个令牌。这意味着你可以证明对电子邮件域的所有权，而无需让它追溯到你。
ZK Email：匿名验证电子邮件签名，同时屏蔽你想要的任何数据。每封电子邮件都可以被验证为发往/来自特定域名或子域名，或者在正文中包含一些特定的文本。这解锁了构造在任意电子邮件证明之上的复杂应用逻辑的可能性。
身份证明（Proof of Personhood）无需过多解释的。值得一提的是，它越来越多地被用作一种反女巫机制。
Interep反女巫即服务。用户可以从 Twitter 和 Github 等平台匿名导出声誉，服务可以验证用户属于某个群体或满足特定的声誉标准，而无需透露他们的身份。
Worldcoin构造了 WorldID，这是一种保护隐私的身份证明协议（数字身份），可以证明你是一个真实而独特的人，同时充分保护你的隐私。
注意：在此类别中值得一提的其他尚未利用 ZK 技术（据我所知）的项目包括BrightID、Gitcoin Passport和Proof of Humanity，但是zkPoH确实为 Proof of Humanity 带来了一个隐私层。
zkCompliance 涵盖专注于保护隐私，同时仍满足特定司法管辖区的监管合规标准的应用。例如，通过这种方式，我可以证明我已经向安全提供商提供了我的 KYC 要求，而无需向所有人公开我的信息。这个过程很关键，因为数据和安全泄漏已经暴露了数百万条信息，我们正在限制暴露风险。
Notebook Labs：匿名 KYC 和灵魂绑定凭证，使用零知识证明为 Web3 构造匿名且可追责的身份。
Noxx是一种薪资和合规工具，使公司能够在不损害法律义务的情况下雇用假名人才。
Polygon ID：带有可编程隐私的身份系统，赋予能够创建与 web3 服务的可信交互的能力。
KeyRing.Network 通过保护隐私的 KYC 访问 TradFi 支持的交易池。
zkPass是一种基于安全多方计算和零知识证明的隐私保护去中心化 KYC 解决方案。
聚合和管理不同的身份，在不公开每个身份之间的关系的情况下使用其中一个或多个身份进行声明。
这个类别涵盖了很多不同的角度，上下文成为细分它们的关键因素。此类别的一个关键目标是最大限度地减少信息泄漏，在这种情况下重复交互后匿名性或假名性可能会受到损害。
Crypt-Keeper是一个浏览器扩展，可实现零知识身份管理和证明生成。
Holonym是用于管理链上身份的 ZK 护照。
Nuggets经过验证的自主权去中心化身份和支付平台，作为可重用、可互操作的 ID，具有基于价值的声誉。
Sismo Vault：存储用于 web3 上隐私身份验证的密码学签名。Sismo Vault 允许用户以顺滑和隐私保护的方式向第三方证明有关其导入帐户的声明。
Zuzalu passport：允许Zuzalu居民存储与 Zuzalu 身份、声誉、活动等相关的个人数据，以及去共享这些数据的任何部分。
注意：Signata Project 是这个类别中另一个值得一提的项目，但（据我所知）没有用 ZK 技术。
这组 zkdApps 专注于治理环境中的匿名、假名或抗共谋。可以防止在投票、发信号或消息传递治理提案时出现反弹。
AnonyZKVote是一个为成长型社区服务的投票平台。利用 Discord 作为身份验证机制，使用零知识保护选民的隐私。
Blind-OVOTE是一种 L2 投票解决方案，通过将validity rollup思想与 zkSNARK 里的椭圆曲线盲签名相结合，在以太坊上提供链下匿名投票和链上绑定执行。
zkPIN是一种称为承诺池的新协作机制，能够以信任最小化的方式签署或背书一个想法。问题很简单：你想签署或背书某个想法，但只有在有足够多的其他人也这样做时，你才会愿意公开地这样做。
HeyAnoun允许匿名持有者对提案提供反馈，同时使用零知识证明维护他们的隐私。
Isokratia是一个信任最小化的治理平台，通过使用递归 SNARKS 进行链下投票。
Open Vote Network是一个 2 轮去中心化投票协议，具有所有通信公开、自我计票、选民隐私和无争议的特性。
MACI（极简反共谋基础设施）是反贿赂、安全和隐私数字投票的基础层。MACI 通过使投票协调员以外的任何人都无法去验证特定用户如何投票，在区块链投票中使用 ZKP 来抵御共谋。
Semaphore是一种协议，旨在成为以太坊 DApp 的简单通用隐私层。使用零知识，以太坊用户可以证明他们是某个团体的成员，并在不透露其原始身份的情况下发送投票或背书等信号。
Vocdoni是一种开源区块链投票协议，具有可扩展性、可审计性、抗审查性和匿名性。Vocdoni API 和 SDK 支持灵活、轻松和无缝地访问投票基础设施。
其他值得一提的项目有：Coeo（论坛）、Ethereum Social Contract（去中心化司法）、Emergence（DAO 健康与粘性）、Om（隐私数据存储层） Sacred是一个匿名论坛，旨在培育横向、包容和有效的社区。Zero Voting（匿名二次投票），zkVoice（反财阀投票）等。
ZKP 可用于在不交换口令等秘密信息的情况下对用户进行身份认证。
Sismo Connect——应用单点登录——无论是在 web2 还是 web3 上。集成后，应用可以向用户请求私有的、细粒度的数据，而用户可以验证并有选择性揭示他们的数据。
Heyauthn - 尝试为 ZK 身份带来跨设备钱包。使用设备上的生物识别身份认证来提供安全性和便利性。
在社交网络中的匿名或伪匿名交互。
HeyAnon是一种让那些在一个很酷群里的或在以太坊上做了某些酷事的人在 Twitter 上匿名广播消息的方式。任何参与群组或历史时刻的人都可以被验证，然后将其发布到信息流推送中。
SealCaster是由 ZK 提供支持的Farcaster上的匿名消息传递方案
UnirepSocial是一个建立在 Unirep 协议之上的社交网络系统，群组中的匿名成员可以在不透露身份的情况下给予、接受和证明声誉。
SealCred Echo使你能够使用 ZK 徽章匿名发推文。
Zkitter是一个由 ZK 提供支持的匿名社交网络。
ZK3是一个 Lens 协议 + Semaphore集成，允许 Lens 协议的用户通过 ZKP 和群组成员证明来管理帖子交互（谁可以评论、镜像等）
一个值得一提的社会实验是ETHdos，使用递归 SNARK衡量你与某人比如说Vitalik的分隔程度 。另一个是Truth，一个基于照片的社交媒体，需要在应用内拍摄照片（使用 ZKP 证明）。
需要新的工具来管理匿名消息通信环境。
Zk-chat匿名和隐私聊天环境，使用 Interep 进行隐私保护注册和抗女巫以及用 RLN 进行垃圾邮件保护。
在下一篇文章中，我们将探索隐私计算（zkComp）空间，以及更多的隐私身份， zkDefi。有太多值得探索的地方了！
另外这个列表只会随着时间的推移而继续增长！它可能已经过时了 😀 ZK 空间中有一个分享zkdApps 并交流项目的类别和成熟度的会很好。如果你有兴趣构造类似于CNCF Radar的项目/技术雷达 ，请联系我！
Kurt PanzkREPL：一个zkSNARKs 在线开发环境
作者：Kevin Kwok 译者：Kurt Pan 原文链接：https://0xparc.org/blog/zkrepl在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。 那时，对计算机进行编程是一项充满仪式感的艰苦的活动。但在 1950 年代后期，一种名为 LISP 的新编程系统被发明出来，它能够对其自己的实现进行推理——通过一个名为eval的结构，程序可以要求它们自己的制造者来产生新的程序。基于此，研究者提出了一个简单的程序，该程序将从键盘读取一些输入，将其发送到eval 结构，打印结果，然后循环回到起点以等待进一步的输入。 这个巧妙的技巧 ，REPL（译者注：读取﹣求值﹣输出循环）， 引发了编程的民主化进程——把编程从一个仅由民族国家用来操控火箭的东西，变成了一个青少年用来制作游戏的东西。零知识近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链...
Kurt Pan公链隐私探索
原文：https://wdai.us/posts/navigating-privacy/ 作者：Wei Dai 翻译：Kurt Pan此文是对公链（又名去中心化账本、Crypto和 Web3）场景下隐私方面的阐述。第一部分会涉及为什么隐私是大规模采用的关键障碍以及隐私有哪些不同方面。第二部分综述了达成隐私的三种不同方法：通过零知识证明，通过仅以匿名为目标，以及通过一种新的称为 MOCCA 抽象。第一部分：什么是公链隐私以及为什么隐私——大规模采用的最后障碍现代金融系统运行良好，我们不必担心日常交易的安全性或隐私性。当你在杂货店购物、通过支票支付租金或在银行获取短期贷款时，你不必担心你的交易会受到非相关方的公开审查。在现代银行和信用卡网络中，大部分交易细节保留在相关金融中介和机构内部。理想情况下，用户不必担心他们的敏感信息会被泄露给大众，同时当局也几乎可以追踪那些非法活动。 不幸的是，目前在流行的区块链上进行的交易并非可以做到如此程度。尽管区块链技术允诺使当前的金融生态去中心化和民主化，但大多数系统甚至无法达到我们所期望的最基本的隐私级别。你买的披萨🍕会被永久记录，你所有的交易都...
Kurt Pan什么是ZEXE ？
原文：Anthony Matlala 翻译：Kurt Pan自加密货币出现，分布式账本系统变得流行起来。典型的分布式账本方案建立在区块链技术上，其特点是特定的数据结构，以区块的形式保存交易信息的记录。这些数据块通过称为哈希的密码学计算数“链接”或连在一起，并且该哈希值唯一地标识给定块。 尽管越来越受欢迎，分布式账本系统方案通常只提供有限的隐私。此外，确实提供隐私的方案通常在其支持的程序的表达能力方面受到限制。 正是这个问题促使隐私研究人员（包括几位 ZCash 创始科学家）提出了一个他们称为 ZEXE或零知识执行的方案。ZEXE 是第一个基于账本的方案，在该方案中应用程序可以在无信任、私密和可扩展的情况下执行。 虽然 Aleo 是由 ZEXE 的几位作者创立的，并且该研究是其计算模型的关键部分，但 Aleo 不仅仅是 ZEXE，其额外提供了用于编写私有应用程序的完整系列方法。 尽管如此，ZEXE 是 Aleo 中的核心组件。然而在研究圈之外，它仍然相对不为人知。本系列文章的目的是提供 ZEXE 设计策略背后的额外背景、它支持的功能以及可以使用它构建的真实世界应用的描述。预...
Subscribe to Kurt Pan
Subscribe to Kurt Pan
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
No activity yet