Pi Squared Revolutionizes Verifiable Computing

In Champaign, Illinois, on July 2nd, 2024, Pi Squared, utilizing Proof of Proof (PoP) technology, concluded its inaugural capital raise. The funding round, spearheaded by Polychain Capital, saw participation from prominent entities such as ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next. Noteworthy angel investors encompass Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, and Common Prefix.

Pi Squared's groundbreaking approach harnesses zero-knowledge (ZK) technology to enable trustless remote computing, artificial intelligence (AI), and interoperable smart contracts for any blockchain or decentralized application (dApp). The core innovation lies in the development of a universal and compact ZK circuit. This circuit validates the integrity of mathematical proofs, facilitating verifiable computing correctness guarantees for diverse languages and virtual machines (VMs) directly from their formal semantics.

Pi Squared's CEO and University of Illinois Urbana-Champaign's CS Professor, Grigore Roșu, articulates the company's ambitious mission. The aim is to transform verifiable computing into a universal, inherently correct, and high-speed process. This revolutionary technology holds promise for multiple applications, including a universal settlement layer (USL) that ensures all blockchains, L1s, and L2s operate universally, correctly, and efficiently. The long-term vision extends to settling all scientific and knowledge transactions on the USL.

Karthik Raju, a General Partner at Polychain Capital, lauds Pi Squared's Proof of Proof technology for its transformative potential across Web3 and beyond. The universal ZK circuit developed by Pi Squared promises to extend the reach and utility of Web3 to a broad spectrum of users, from developers to end-users.

Pi Squared’s innovation heralds a new era in verifiable computing that is both universal and scalable, with a minimal trust base. The flagship product, the Universal Settlement Layer (USL), embodies the following attributes:

• Universality: Express computations in any high-level or VM language without requiring compilers or translators.

• Provable Correctness: Mathematically guaranteed correctness of computations, independently verifiable by external entities.

• Trust Base Minimality: Transparently exposes trust assumptions in upper-layer computations, enhancing end-user awareness and reducing the trust base through correctness proofs.

• App Interoperability: Supports seamless compatibility between various application modules and networks.

• Determinism and Reproducibility: Offers reproducible validation that external entities can independently verify.

Pi Squared's USL provides end-to-end correctness assurances for generic computations while streamlining the trust base supporting these operations. The promotion of verifiable computing as the standard distributed computational paradigm is achieved without advocating specific domain-specific languages (DSLs), VMs, or execution environments. Moreover, Pi Squared ensures efficiency and scalability in this context.

Pi Squared, under the leadership of UIUC Professor Grigore Rosu, founder of the K framework and Runtime Verification, stands at the forefront of innovation. The team consists of experts with notable contributions in formal methods, blockchain technology, and artificial intelligence/machine learning.

For those interested in engaging with Pi Squared's leadership and team, booking a meeting can be arranged by contacting [email protected].

To delve deeper into Pi Squared's vision and Proof of Proof technology, visit their website at pi2.network.