Euphoria

Solana

Hylo

StablecoinX

Ethereum

Avalanche

Blueprint Finance

Shrapnel

Sreeram Kannan

Samsung NEXT

Karthik Raju

Generative Ventures

Bloccelerate VC

Robot Ventures

Polychain Capital

Justin Drake

Pi Squared is creating the ultimate Universal Settlement Layer. It uses zero-knowledge (ZK) technology in a correct-by-construction and fundamentally unique way, which allows a universal and disarmingly small ZK circuit to provide verifiable-computing correctness guarantees to all languages and virtual machines (VMs) alike, without any translation to a common language, VM, or instruction set architecture (ISA).

Pi Squared is building a Universal Settlement Layer (USL) to make blockchain/language/application interoperability seamless and completely eliminate the need for traditional yet notoriously buggy language implementations such as compilers, transpilers, or interpreters. Pi Squared’s USL is built upon recent advancements in ZK, formal semantics, and logic reasoning techniques.

The Pi Squared project is led by UIUC professor Grigore Rosu, founder of the K framework and of Runtime Verification, and consists of researchers and founders of successful projects in formal methods, blockchain, and AI/ML.

Pi Squared

Backers

CypherHunter Plus

Pi Squared

Fundraising Summary

Also Invested In Others