Daniel Lubarov

Irreducible 是一家企业级零知识证明加速平台，构建硬件以提高零知识证明生成效率。

GAIB是人工智能和算力的经济层。GAIB 创建一种新的资产类别，允许任何人直接投资人工智能、GPU 和算力市场。实现真正的 AiFi、GPU 代币化、GPU 支持的稳定币、衍生品等。

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

delta 是一个自主执行环境网络，通过去中心化、抗审查的基础层连接。delta 将执行/排序与数据可用性/结算分开。delta 为其用户提供两项不可剥夺的权利——自我保管权和无权限退出权。

Fabric Cryptography 是一家专注于开发先进加密算法硬件，特别是为零知识证明技术构建专用计算机芯片的初创公司。

Mamori 是一款基于机器学习的区块链价值提取探路者，可应用于零日经济漏洞、MEV 搜索和意图解决，解决 Web3 价值提取领域中的可扩展性、自动化、漏洞检测相关性和有效性挑战。

Aligned Layer 是在 EigenLayer 之上开发的 ZK 验证层。这将使任何 SNARK 证明的验证具有成本效益，利用以太坊验证器的安全性而不受以太坊的限制。作为 Eigen Layer AVS，它承诺为 L2 和桥提供经济实惠的验证和多功能证明系统，满足区块链生态系统中的关键需求。

Succinct 正在构建一个去中心化的证明者网络，以便任何人都可以构建由加密事实（而不是信任）保护的区块链应用程序和基础设施。 Succinct 统一了证明供应链，为使用零知识证明的 rollup、协处理器和其他应用程序提供了高度可用的证明生成基础设施和一流的定价。

Daimo 是一款没有助记词的稳定币钱包。密钥在手机的安全区域中生成，并且永远不会离开。用户可以添加多个设备并创建密钥备份以保护帐户。在底层，它是一个 ERC-4337 合约钱包。

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

Modulus 正在构建具有零知识证明的无需信任的人工智能，以使该技术更便宜且更容易用于加密协议。