Zachary Williamson

Rena Labs 是一个 TEE 抽象中间件，为可验证的 AI 用例创建链上基础设施。

Rarimo 是隐私优先的社交应用程序，让用户保持私密，而不会丢失历史操作、网络和身份。用户可以使用手机在本地存储护照数据，无需许可即可自行发布自己的身份，并匿名生成证明其投票资格的 ZKP。

vlayer 是一个由零知识证明驱动的可信可验证数据基础设施。

NEBRA正在以太坊上构建一种证明聚合服务，该服务使用通用ZK-ZK证明聚合结构来聚合各种应用程序的 ZKP，包括但不限于隐私保护身份、存储证明、ZKML、zkEVM证明。

Axiom 是一个 ZK 协处理器，它允许智能合约无信任地访问和处理所有链上数据。这是一种在链下处理数据的协议，然后将这些数据传输到以太坊主网，并使用 ZK 证明对其进行验证。