Cointime

扫码下载App
iOS & Android

18个新项目,以太坊上社交ZK项目一览

原文作者:shrey jain,加密研究员

原文编译:Renaissance,ETH 中文

在以太坊生态系统中,使用零知识证明 (ZKPs) 来改善隐私和可扩展性的工作非常有前景的。

我想重点强调的是,还有一小部分人专门致力于以太坊上的 ZKP 技术的社交应用。我几乎将所有不以扩展解决方案或金融解决方案为导向的应用都定义为「社交应用」(是的,转账属于社交,但我想读者能够理解我在这篇文章中想表达的东西)。

我最近尝试在 Twitter 上问大家这个领域中有哪些关键项目,并且很高兴能收到一些评论和私信,它们很适合融合到本文中。

在这个领域让我感兴趣的一些事情包括:签名消息、指定的验证者证明、用于医疗保健应用的零知识机器学习,以及我们如何在通信协议中建立共同知识。如果你对此也感兴趣,请在 Twitter 上私信作者

我将 social applied zk 中的项目分为三个主要类别:

· 身份

· 治理

· 消息

免责声明:除了 zkSBT 和我作为合著者的指定验证者工作之外,我没有参与(财务上或作为合作者)以下任何项目。按字母顺序排列,不优先考虑任何特定项目。

身份

· Interep:隐私声誉和身份系统可以让服务验证用户属于某个群体或满足某些声誉标准而无需透露他们的身份。用户可以从 Twitter 和 Github 等平台匿名导出自己的声誉。

· Relic Protocol:Relic Protocol 使用 ZKP 来证明关于任意以太坊历史状态的事实,允许用户根据他们的历史链上活动来证明他们的声誉,并铸造为 SBT。

· Sismo:Sismo 是一个发放 ZK 徽章的模块化协议,用于为实现声誉的可移植性和聚合。

· Sealcred:SealCred 可以让您使用 ZK 徽章匿名体验世界。这意味着您可以在不被追溯到的前提下,证明自己持有某个 NFT 的所有权。

· Unirep:Unirep 允许一个组织的匿名成员在不透露身份的情况下给予、接受和证明声誉。应用程序或人员可以充当证明者,并在共享的 Unirep 合约之上建立自己的声誉 Token。

· Worldcoin:Worldcoin 已经构建了一个保护隐私的人格证明协议。

· zkPortal:以信任最小化和私密的方式将个人数据带到 web3:防止女巫攻击,启用 1P1V (每人一票,one-person-one-vote) 模式并帮助 DeFi 保持合规性。

· zkSBTs:ZK SBTs 用于创建可组合的信任网络。通证在链上始终可见,使得用户无法在请求时隐藏信息的存在。为了保证隐私,声明中包含的信息使用 ZK 进行了模糊处理。链上唯一存储的是签名消息的哈希值。

治理

· Devfolio:一个完全在链上的匿名投票系统。

· Nouns DAO heyanoun:为那些被快照的提案提名者提供了一种方式,让他们可以匿名提交有关该提案的消息。

· MACI:最小反共谋基础设施 (Minimum Anti-Collusion Infrastructure) 是防贿赂、安全和隐私数字投票的基础层。

· zkPIN:创建承诺池以最小化信任的方式签署或支持一个想法。

消息

· designated-verifier-proofs:与以太坊兼容的密码学方案,以确保只有指定的验证者被说服接受传递给他们的信息,并且任何第 3 方都不确定指定的验证者是否在说真话。

· heyanon:heyanon,由 personae labs 提供,为那些在以太坊上很酷的组织或做了很酷的事情的人提供了一种在 Twitter 上匿名广播消息的方式。

· Sealcaster:在 Farcaster 上匿名传递消息。

· Semaphore:Semaphore 是一种协议,旨在成为以太坊 DApp 的简单通用隐私层。使用零知识,以太坊用户可以证明他们是某个团体的成员,并在不透露其原始身份的情况下发送投票或背书等信号。

· zkEmail:链上去信任的电子邮件验证。DevCon 的演讲内容更丰富。

· zknullifier:通过以太坊上可验证的确定性签名创建匿名标识符,从而产生独特的假名。

评论

所有评论

推荐阅读

  • Polymarket周一将发布重大公告

    3 月 21 日,Polymarket 团队成员 Mustafa 发文表示,将于周一公布一项「重大公告」,具体内容尚未披露。

  • Polymarket将于下周一公布重大消息,或为发币或融资相关消息

    Cointime 报道,3月21日消息,Polymarket 官方团队成员 Mustafa 于 X 平台发文表示,下周一即将公布重大消息。因推文内容包含硬币符号,社区猜测或为融资或代币发射相关重大消息。 此前消息,预测市场平台 Kalshi 与 Polymarket 据悉正与潜在投资者洽谈新一轮融资,目标估值均约为 200 亿美元。日前,Kalshi 已完成新一轮超 10 亿美元融资,估值达 220 亿美元,较去年 12 月上一轮融资时的 110 亿美元估值翻倍。知情人士透露,本轮融资由 Coatue Management 领投,Kalshi 目前的年化收入为 15 亿美元。

  • 美众议院金融服务委员会将于3月25日举行代币化听证会,聚焦资本市场未来

    3 月 21 日,美国众议院金融服务委员会将于美东时间 3 月 25 日 10:00 举行听证会,主题为「代币化与资本市场的未来」,预计将重点讨论区块链技术在金融体系中的应用与监管方向。

  • 黄金创43年来最大周跌幅:一周暴跌11%,避险属性遭质疑

    3 月 21 日,受中东局势升级及利率预期影响,黄金价格大幅下挫,创下自 1983 年以来最大单周跌幅。现货黄金周五跌至约 4488 美元/盎司,单周累计下跌约 11%,自 2 月底以来累计跌幅已超 15%。市场分析认为,美联储年内或维持利率不变、鲍威尔关于通胀上行的表态削弱了黄金吸引力。同时,在伊朗冲突背景下,比特币表现相对更强,期间反弹超 11%,对黄金形成对比。

  • 分析:加密市场山寨币交易量大幅下滑,市场兴趣持续降温

    3 月 21 日,Cryptoquant 分析师 Darkfost 发文称,加密市场山寨币交易量持续走低,投资者兴趣明显减弱。在熊市背景及地缘政治不确定性影响下,山寨币表现持续跑输比特币,风险偏好显著收缩。当前,Binance 山寨币日交易量约为 77 亿美元,其它主要交易所合计约 188 亿美元,远低于 2025 年 10 月与 2 月高峰期(Binance 曾达 400 亿至 500 亿美元,其它平台达 630 亿至 910 亿美元)。目前 Binance 占据约 40% 的市场份额。分析指出,历史上交易量高峰往往对应市场阶段性顶部与 FOMO 情绪释放,而当前低迷成交环境也意味着潜在机会通常出现在市场关注度最低阶段。

  • 消息人士:特朗普政府正制定方案以夺取伊朗核材料储备

    3 月 21 日,据美国哥伦比亚广播公司(CBS)报道,多位知情人士透露,特朗普政府一直在谋划获取或转移伊朗核材料的方法和选项。此时,由美国和以色列领导的针对伊朗的军事行动正进入一个更加不确定的阶段。关于特朗普是否会下令实施此类行动,目前时机尚不明确。一位消息人士表示,他尚未做出任何决定。但两位消息人士表示,相关规划的核心是可能部署来自联合特种作战司令部的部队,该部队是精英军事单位,常负责最敏感的防扩散任务。

  • 中东冲突与加息预期共振:全球资产大震荡,美股四连跌、债市「血洗」、黄金创43年最大周跌幅

    3 月 21 日,中东局势持续升级叠加 Federal Reserve 加息预期骤然升温,全球市场遭遇系统性冲击。美股连续第四周下跌创一年最长跌势,纳指单日跌超 2%,科技股全线承压;全球债市收益率大幅飙升,美债、英债、德债均创多年新高,资金大规模去杠杆。大宗商品剧烈分化,黄金跌破 4500 美元关口,单周暴跌超 10%,创 1983 年以来最大跌幅,避险属性遭质疑;原油则因中东供应风险暴涨,布油重返 110 美元上方,迪拜原油期货单日飙升超 16%。与此同时,比特币在 7 万美元附近获得支撑,连续三周跑赢黄金。市场分析认为,地缘冲突推升能源价格并加剧通胀预期,迫使货币政策路径重定价,全球金融条件快速收紧,风险资产仍处于下行与再定价过程中。

  • 美团开源560B参数定理证明模型:72次推理通过率97.1%,刷新开源模型SOTA

    据 1M AI News 监测,美团 LongCat 团队开源 LongCat-Flash-Prover,一个 5600 亿参数的 MoE 模型,专攻形式化定理证明语言 Lean4 的数学推理任务。模型权重以 MIT 协议发布,已上线 GitHub、Hugging Face 和 ModelScope。模型将形式化推理拆解为三项独立能力:自动形式化(将自然语言数学问题转化为 Lean4 形式语句)、草图生成(产出引理风格的证明框架)和完整证明生成。三项能力均通过 Agent 工具集成推理(TIR)与 Lean4 编译器实时交互验证。训练方面,团队提出 Hybrid-Experts Iteration Framework 生成冷启动数据,并在强化学习阶段引入 HisPO 算法稳定 MoE 模型的长程任务训练,同时加入定理一致性和合法性检测机制防止 reward hacking。基准测试显示,LongCat-Flash-Prover 在开源权重模型中刷新了自动形式化和定理证明两项 SOTA。MiniF2F-Test 上仅用 72 次推理即达 97.1% 通过率,ProverBench 和 PutnamBench 分别达到 70.8% 和 41.5%,每题推理次数不超过 220 次。

  • Erik Voorhees再次增持1.44万枚ETH,总持仓量突破11.7万枚

    3 月 21 日,据 AI 姨监测,ShapeShift 创始人、比特币早期支持者 Erik Voorhees 关联地址,过去 11 小时买入 14,424.53 ETH,总持仓突破 11.7 万枚,持仓均价 2,160.24 美元,当前浮亏 114.5 万美元。

  • 消息人士:特朗普政府正制定方案以夺取伊朗核材料储备

    Cointime 报道,3月21日消息,据美国哥伦比亚广播公司(CBS)报道,多位知情人士透露,特朗普政府一直在谋划获取或转移伊朗核材料的方法和选项。此时,由美国和以色列领导的针对伊朗的军事行动正进入一个更加不确定的阶段。 关于特朗普是否会下令实施此类行动,目前时机尚不明确。一位消息人士表示,他尚未做出任何决定。但两位消息人士表示,相关规划的核心是可能部署来自联合特种作战司令部的部队,该部队是精英军事单位,常负责最敏感的防扩散任务。(金十)