Pi Squared是一家ZK技术验证服务提供商，以构造正确且独一无二的方式使用零知识技术，将为任何区块链或dApp实现无需信任的远程计算、AI和可互操作的智能合约。这将通过创建一个通用且小巧的ZK电路来实现，该电路可检查数学证明的完整性，从而直接从其形式语义为所有语言和虚拟机(VM)提供可验证计算的正确性保证，而无需转换为通用语言、VM或指令集架构(ISA)。Pi Squared 完成 1250 万美元种子轮融资，由 Polychain Capital 领投。ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next，以及包括以太坊基金会的 Justin Drake 和 EigenLayer 创始人 Sreeram Kanaan 在内的天使投资者参投。