Pi Squared provides ZK-based verification services that aim to implement trustless remote computation, AI, and interoperable smart contracts for any blockchain or dApp. The company uses zero-knowledge techniques in a correctness-focused and unique way to deliver these guarantees. It plans to create a universal, compact ZK circuit that checks the integrity of mathematical proofs and provides verifiable computation correctness directly from formal semantics. That design intends to support all languages and virtual machines without translating to a single common language, VM, or instruction set architecture. Pi Squared completed a $12.5M seed financing led by Polychain Capital. Other investors include ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, Samsung Next, and angel investors such as Justin Drake (Ethereum Foundation) and Sreeram Kanaan (founder of EigenLayer).

Total raised

$13M

Funding rounds

1

Latest round

Seed

Latest activity

Jul 2024