侦察：去中心化证明领域的新玩家（2023年11月）

关于 Scout 文章：Scout 文章是由 Four Pillars 推出的一系列文章，旨在通过积极研究和监控新兴领域来识别有前景的早期区块链项目。Four Pillars 的研究人员不断搜寻不同的领域，以发现尚未被其他公司广泛报道的新的和创新的区块链项目。Scout 报告中出现的项目预计将展示新的想法或叙述。每个月，通过研究人员内部投票过程选定的项目将包含在该月的正式 Scout 报告出版物中。这为付费订阅者提供了早期获得具有未来潜力的区块链机会的途径。

1. Gevulot

“Gevulot 是一个通用的 L1 网络，专门用于生成和验证零知识证明（ZKP），创新地结合了先前尝试分散 ZKP 生成（例如，Proof Market，Prover Network）的优势，并在 ZKP 证明市场中提出了一个新的范例。” - by 100y

1.1 ZKP 挖矿市场的现状

在区块链行业中，零知识（ZK）技术的影响正变得越来越重要。从旨在通过 ZK 技术提高基础层可扩展性的 ZK rollup 开始，最近的发展包括各个领域的 zkVM、zkBridge 和 zkML。在采用 ZK 技术的应用中，生成 ZKP 的证明过程至关重要。

不幸的是，目前大多数 ZK 应用都依赖于单个实体进行证明。像 zkSync Era、Polygon zkEVM、Linea 和 Starknet 这样主要的 ZK rollup 都有一个单独的实体来执行 ZKP 的生成。虽然不存在与有效性或资金被盗相关的风险，因为可以通过 ZKP 证明执行，但存在活性风险，即系统可能因单点故障而停止。因此，越来越多的人试图分散 prover 角色，主要有两种方式：1) Proof Market 和 2) Prover Network。

Proof Market 是一个开放的市场，需要 ZKP 生成的用户可以在其中下订单，而能够生成 ZKP 的 Prover 会与这些订单进行匹配。这使得外包 ZKP 生成变得容易，并且 Proof Market 可以处理各种应用程序，但它不保证活性。Proof Market 的示例包括 =nil; Foundation 和 marlin。

Prover Network 是一种应用程序构建自己的去中心化 prover 网络的方法。Prover Network 中的 Prover 仅为特定应用程序生成 ZKP，这既高效又没有活性问题。但是，构建 Prover Network 具有挑战性，并且无法处理多个应用程序。尝试构建 Prover Network 的应用程序示例包括 Taiko 和 Aleo。

1.2 Gevulot，提出了一个中间立场

来源：Gevulot

Gevulot 是由 Equilibrium Group 构建的产品，这是一个用于 ZKP 系统的无需许可的 Layer 1 区块链。与之前仅限于 Proof Market 和 Proving Network 的尝试不同，Gevulot 通过为 ZKP 系统引入一个专门的 L1 区块链来解决这些问题。与 Proof Market 和 Proving Network 不同，Gevulot 具有激励系统，并且作为一个通用的区块链系统，它保证了高活性，并且可以干预各种应用程序的 ZKP 生成。这代表了先前尝试分散 ZKP 生成的一种折衷方案。

可以部署在 Gevulot 上的程序包括 1) Prover 和 2) Verifier。需要 ZKP 生成的用户和应用程序将包含所需 Prover 程序 ID 的“运行”交易发送到 Gevulot，而 Gevulot 网络中的 Prover 使用该 Prover 程序生成 ZKP。然后，生成的 ZKP 由 Validator 使用 Verifier 程序进行验证。如果超过 2/3 的 Validator 节点参与验证，则 ZKP 将包含在下一个区块中。

当收到 ZKP 生成请求时，该任务将通过 VRF 分配给一小群随机的 Prover。由于它没有仅分配给一个 Prover，因此解决了活性问题，并且由于没有分配给太多的 Prover，因此减少了与 ZKP 生成相关的计算浪费。

1.3 Gevulot 用例

由于其能够轻松证明复杂计算过程的能力，ZK 技术在区块链领域中的使用越来越多。所有使用 ZK 的应用程序都需要 ZKP 生成，这意味着各种 ZK 应用程序都可以利用 Gevulot。

来源：Gevulot

最引人注目的例子是 ZK rollup。ZK rollup 执行链下计算以解决 L1 的可扩展性，并通过 ZKP 证明这些执行在 L1 上的有效性。ZK rollup 中的 Sequencer 可以收集用户提交的交易，确定它们的顺序，并将此数据提交给部署在 Gevulot 上的 Prover 程序。由 VRF 确定的一小群 Prover 为此生成 ZKP。在 ZK rollup 中，Gevulot mempool 中存在的已生成 ZKP 可以在内部进行验证以实现 finality，或者他们可以等待 Gevulot 的 Validator 验证 ZKP，然后再授予 finality。其他需要 ZKP 生成的应用程序（如 zkVM、zkBridge 和 zkML）也可以外包给 Gevulot。

1.4 未来展望：Four Pillars 的想法

1.4.1 xpara

回顾一年前，zk（零知识）的实施被认为是遥不可及的事情。现在，有许多 zkEVM、zkVM 和 zkBridge 协议已在生产中启动并被众多用户使用。由于快速发展和持续进步，prover（生成 zk 证明的实体）具有各种规范，并且其激励系统尚未完善。

这就是 zk 市场发挥作用的地方。它充当 provers 为其他方生成 zk 证明的开放市场。与 Keep3r 网络作为 bot 任务市场的方式类似，Gevulot 等项目定位于 provers 的市场，从而使这些任务能够以更加无需信任的方式执行。

还有其他项目，例如 =nil; Foundation，也在构建这个 zk 市场。但是，与其他参与者相比，Gevulot 的优势在于其架构支持各种 zk 证明技术。此外，Gevulot 团队的开发人员拥有丰富的经验，因为他们来自 Equilibrium Labs，后者为 Starknet 和 Aleo 等各种 zk 项目的开发做出了贡献。

2. 其他值得关注的项目

2.1 Ritual

“Ritual 是一个链上 AI 推理层，为与其他层集成提供可验证的 AI 模型估计和模块化。” by pillarbear

在过去的一年中，AI 经历了寒武纪大爆发，新的模型和应用程序迅速增加。但是，少数公司垄断了当前的 AI 模型和应用程序，并且它们的学习或推理过程以无法验证的方式运行。在 AI 运营中发现的关键问题如下：

1. 缺乏服务标准和验证：目前，开发 AI 相关模型的平台不提供任何关于模型估计的准确性、模型学习过程中的个人信息保护或抗审查的保证。

2. 高计算成本和有限的可访问性：AI 硬件越来越难以获得，并且硬件和计算的成本对于开发人员来说正在上升到过高的水平。当前的 AI 基础设施由少数公司运营，限制了开发人员和用户自由集成和提供他们的服务。

3. 垄断和结构性不匹配：公司力求私下维护其模型，从而抑制了创新并增强了垄断。即使模型是开源的，也缺乏适当的基础设施来奖励贡献。此外，用户在 AI 的治理和所有权方面几乎没有或没有发言权。

Ritual 的出现是为了解决这些问题。它是一个开放、模块化、自主的 AI 计算层，提供了一个去中心化的网络，可以访问 AI 运营和模型。这允许用户通过 API 访问网络上的任何模型，从而确保 AI 模型推理的准确性和私密性。

Ritual 的第一个执行层“Infernet”为链上的应用程序提供了 AI 模型推理的可访问性和接口。Infernet 允许任何人在 Ritual 上构建模型，从而确保模型计算的无需许可的访问。Ritual 已经宣布计划将 Infernet 开发成一个可与其他区块链层互操作的模块化层，从而允许不同的协议自由地将其用作 AI 协处理器，而不管它们使用的链是什么。

Ritual 最近完成了一轮成功的 2500 万美元融资，由 Archetype 领投。主要投资者包括 Accomplice、Robot Ventures 和 dao5，天使投资者包括 Balaji Srinivasan、Nicola Greco 和 Monad 的 Keone Hon。

2.2 Nocturne

“Nocturne 是隐私的祝福，完全包裹了区块链交易的旅程。” by Jay

透明性和开放性是区块链的一些关键属性，有助于实现信任，但具有讽刺意味的是，它们也是其采用的主要障碍。这是因为，在实践中，如果个人（或实体，尤其是在公司层面）之间的每笔交易（即金融活动）都可以追溯，那么使用区块链的理由就会变得相当苍白。

为了同时确保这些双刃剑和隐私，区块链生态系统努力引入各种解决方案，例如零知识证明、同态加密、多方计算和可信执行环境（TEE）。但是，由于各种限制，例如网络复杂性的增加、技术的不完善、高 gas 费用、生态系统的引导等，用户不太可能在当前许多现有应用程序的体验中享受完全的隐私。

在这种背景下，隐身地址目前因其能够相当快速地应用于各种服务（尤其是在以太坊丰富的生态系统中）同时确保高水平的隐私而受到关注——简而言之，隐身地址是为确保交易隐私而创建的一次性临时地址。

已经提出了几种隐身地址的实现想法（例如，EIP-5564, 隐身地址不完全指南 等），但 Nocturne 采用了其中最灵活高效的结构。值得注意的是，它将零知识证明和屏蔽池的概念融入其架构中，使其能够同时提供 UX 简单性、兼容性以及足够的隐私来完全隐藏用户和隐身地址之间的链接。

随着如此多不同的隐私解决方案不断发展，很难说哪一个最终会获胜。但可以肯定的是：Nocturne 正在提高区块链上底层帐户的交互水平。

2.3 Superstate

“数万亿美元的 RWA 即将上线，从美国政府债券开始。” by xpara

SuperState 正在构建一个代币化基金，旨在为链上投资者提供接触美国国债收益率的机会，同时解决对托管和关闭风险的担忧。该基金力求将传统的链下资产（如国库券）引入区块链，以利用去中心化金融（DeFi）协议的可组合性。

已经提交了一份招股说明书草案，以创建 Superstate 短期政府债券基金，这是一个开放式共同基金，其所有权的二级记录在以太坊区块链上进行跟踪。这将允许该基金本地集成到 DeFi 应用程序中，以增强访问和功能。

SuperState 团队包括来自 Compound Labs 的成员，最著名的是其担任 Compound 联合创始人的 CEO。作为借贷协议的早期先驱，Compound 之前已将其链上“Compound Treasury”部署到诸如国债之类的链下资产。这为 SuperState 团队在构建利用 DeFi 基础设施从现实世界资产中产生回报的产品方面提供了丰富的经验。

我认为 DeFi 的优势在于通过共享区块链网络提供可编程和可组合的金融服务。随着安全性的提高和流动性的增加，诸如国债和公司债券之类的传统资产可能会利用不断增长的 DeFi 生态系统。SuperState 旨在弥合现实世界资产和基于区块链的金融应用程序之间的差距，从而为投资者创造新的机会。

2.4 Jokerace

“Jokerace 是一个很棒的工具，可供社区制定、运行和奖励决策。” by moyed

如果我必须用一个词来描述 Jokerace，我会说它是一种“链上竞赛”服务。借助 Jokerace，社区可以轻松地在链上创建、运行和奖励竞赛。这使社区和协议可以激励用户采取某些措施。例如，借助 Jokerace，你可以执行以下操作。

• 创建一个竞赛，以征集我们希望在我们的项目中看到的功能，以提前评估兴趣。

• 创建一个“创建与我们的项目相关的内容”竞赛，并为第一名获奖者提供奖品，以鼓励二次创作。

• “试用我们的服务并留下反馈”竞赛是从早期用户那里获得高质量反馈的好方法。

如果你是一个代币化社区，则可以将竞赛限制为具有一定数量代币的用户，或者，如果你没有代币，则可以使用不同的标准自定义它，例如关注某个帐户或完成 Zealy Quest。换句话说，你可以决定谁可以参加竞赛、谁将对其进行评判、如何设置奖励，并且所有这些都在链上进行。他们最近从 1kxnetwork 和一堆天使投资人那里筹集了一轮 种子轮融资，并且他们最近受到了很多关注，Eigenlayer 计划通过 Jokerace 加入他们的下一个 LST。

感谢 Kate](https://twitter.com/kate_soom) 为本文设计图形。

• 原文链接： 4pillars.io/en/articles/...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～