Skip to content

Pi Squared Inc. / DE

3 viewers · 30d

Total raised

$16.4M

2 filings since 2024 · latest Equity filed

Cumulative raised
LAST ROUND
Equity · $3.9M
ROUNDS
2
INVESTORS
20
FOUNDED
2023
HQ
Champaign, IL
SECTOR
Infrastructure
EMPLOYEES
N/A
30D VIEWERS
3

AI overview

Updated

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.

What sets it apart

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 history

2 rounds
Equity+1Apr 15, 2025 · $10K min
Form D/A
+$3.9M$16.4M total
Equity+1May 9, 2024 · $10K min
Form D/A
+$12.5M$12.5M total

Products

1 tracked

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
  • Modular architecture with deterministic validation and minimal trust assumptions

Links

WebsiteLinkedInSEC EDGAR filings