Skip to content
Companies

Pi Squared Inc. / DE

Zero-knowledge proofs for programs in any language

Raised to date

$16.4M

of $16.4M offered across 2 Form D filings

Investors
20
Last filed
Apr 13, 2026

About

Pi Squared Inc. is a Champaign, Illinois verifiable-computing company founded in 2023 by Grigore Rosu, the University of Illinois computer science professor behind the K framework and Runtime Verification. It builds zero-knowledge proof infrastructure that verifies the correct execution of any program in any programming language or virtual machine, using a 'Proof of Proof' approach and a universal ZK circuit derived from formal semantics rather than a language-specific rewrite. Its blockchain architecture, the Universal Settlement Layer, lets computations be expressed in any high-level or VM language without compilers or translators. The team now ships Fast, a parallel-settlement payment system aimed at machine-speed agent-to-agent transactions.

A language- and VM-agnostic proof system: instead of compiling programs into a proprietary ZK instruction set, it generates zero-knowledge proofs of the mathematical proofs implied by a language's formal semantics, so correctness guarantees extend to any language or virtual machine from one minimal universal circuit.

Funding

$12.5M round, first sold May 2024$12.5M soldMay 202420252026
Now
  • EquityFiled Apr 13, 2026Form D/A
    $3.9M/ $3.9M
  • EquityFiled Apr 13, 2026Form D/A
    $12.5M/ $12.5M

Product

Universal Settlement Layer (USL)

Blockchain infrastructure

A modular blockchain settlement architecture backed by Pi Squared's universal ZK circuit, letting computations be expressed and verified in any high-level or virtual machine language without compilers or translators.

  • Proof of Proof: zero-knowledge proofs that verify mathematical proofs of program execution
  • Universal ZK circuit driven by a language's formal semantics rather than a fixed instruction set
  • Language and virtual machine agnostic verification, with no compiler or translator step

Built for

Blockchain L1 and L2 protocol teams, rollup and dApp developers, and organizations building autonomous-agent systems that need verifiable computation and settlement

People on file