Pi Squared

Pi Squared harnesses zero-knowledge (ZK) technology in a fundamentally unique and correct-by-construction manner. This allows a universally applicable, surprisingly compact ZK circuit to offer verifiable computing correctness guarantees to all languages and virtual machines alike without requiring any translation to a common programming language, virtual machine (VM), or instruction set architecture (ISA).

Our aim with Pi Squared is to create a Universal Settlement Layer (USL) that simplifies blockchain/language/application interoperability and completely eliminates the need for traditional, often error-prone language implementations, such as compilers, transpilers, or interpreters. Pi Squared's USL is grounded in recent advancements in ZK technology, formal semantics, and logic reasoning techniques.

Pi Squared is spearheaded by UIUC professor Grigore Rosu, founder of the K framework and Runtime Verification. The Pi Squared team comprises researchers and founders with successful track records in formal methods, blockchain, and AI/ML.

Universal Settlement Layer

Proof of Proof