Pi Squared Secures 125 Million in Seed Funding from Polychain Capital to Develop a Universal ZK Circuit Utilizing Proof of Proof

**Champaign, Illinois, United States, July 2nd, 2024, Chainwire**

Pi Squared, a pioneer in Proof of Proof technology, has successfully concluded its first capital raise. This round was spearheaded by Polychain Capital and included contributions from syndicate members ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next. Angel investors in this round featured prominent names such as Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, and Common Prefix.

Leveraging zero-knowledge (ZK) technology in a fundamentally novel and correct-by-construction manner, Pi Squared aims to facilitate trustless remote computing, AI, and interoperable smart contracts across any blockchain or dApp. This is achieved through the development of a universal and compact ZK circuit that verifies the integrity of mathematical proofs, ensuring verifiable computing correctness across all languages and virtual machines (VMs) based on their formal semantics, without needing translation to a common language, VM, or instruction set architecture (ISA).

“Our goal is to revolutionize verifiable computing, making it universally applicable to all languages and virtual machines, inherently correct-by-construction, and exceptionally fast,” stated Grigore Roșu, CEO of Pi Squared and CS Professor at the University of Illinois Urbana-Champaign. “This innovation will lead to the creation of a universal settlement layer (USL), enabling all blockchains, L1s, and L2s to be universal, correct, interoperable, and efficient. Our long-term vision extends to settling all science and knowledge on the USL.”

Karthik Raju, GP at Polychain Capital, added, “Pi Squared’s proof of proof technology is poised to make a transformative impact across Web3 and beyond. The universal ZK circuit by Pi Squared will broaden the scope and applicability of Web3 for everyone, from developers to end users.”

Pi Squared’s groundbreaking verifiable computing technology is universal and scalable, minimizing the trust base required. The initial product powered by Pi Squared is the Universal Settlement Layer (USL), a modular blockchain architecture that offers:

– **Universality:** Computations can be performed in any high-level or virtual machine language without the need for compilers or translators.
– **Provable Correctness:** Computations verified by the USL are mathematically guaranteed to be correct, allowing any external party to independently verify the correctness of the USL’s state.
– **Minimal Trust Base:** USL exposes trust assumptions in upper-layer computations, increasing transparency and minimizing the trust base through correctness proofs.
– **App Interoperability:** Supports interoperability between various application modules and networks (e.g., appchains).
– **Determinism and Reproducibility:** Validation is reproducible and independently verifiable by any external entity.

Thus, Pi Squared’s USL ensures end-to-end correctness guarantees for generic computations while reducing the underlying trust base. It establishes verifiable computing as the standard distributed computing paradigm without enforcing the use of specific domain-specific languages (DSLs), VMs, or execution environments, maintaining efficiency and scalability.

Pi Squared will showcase their innovations at events around EthCC in Brussels from July 8th to 11th. Attendees can hear Grigore Roșu, CEO of Pi Squared, speak at the Restaking & Infra Day on July 8th and at L2con on July 9th.

**About Pi Squared**

Pi Squared represents ZK proofs of mathematical proofs, utilizing ZK technology in an innovative, correct-by-construction way. A universal and compact ZK circuit provides verifiable computing correctness guarantees across all languages and VMs, without translation to a common language, VM, or ISA. Pi Squared is led by UIUC professor Grigore Roșu, founder of the K framework and Runtime Verification, alongside a team of researchers and founders from successful projects in formal methods, blockchain, and AI/ML.

To schedule a meeting with Pi Squared’s CEO and team, attendees can contact [email protected].

For more information on Pi Squared’s vision and Proof of Proof, visit pi2.network and follow Pi Squared on social media.

**Contact**

Chris Hazelton
Head of Marketing
Pi Squared Inc
[email protected]

Leave a Reply

Your email address will not be published. Required fields are marked *