Revolutionizing Verifiable Computing: Pi Squared's Groundbreaking Technology
Pi Squared, known as Proof of Proof (PoP), has successfully concluded its inaugural capital raise under the guidance of Polychain Capital. The funding round saw a consortium comprising ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next, alongside notable angel investors like Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, and Common Prefix, coming onboard.
Pi Squared is poised to revolutionize trustless remote computing, artificial intelligence (AI), and interoperable smart contracts for any blockchain or decentralized application (dApp) through the innovative utilization of zero-knowledge (ZK) technology. The core of Pi Squared's approach lies in the creation of a universal and remarkably compact ZK circuit that validates mathematical proofs' integrity. This pioneering method ensures verifiable-computing correctness guarantees for various programming languages and virtual machines (VMs) directly from their formal semantics, eliminating the need for translation to a common language, VM, or instruction set architecture (ISA).
Grigore Roșu, the CEO of Pi Squared and a Computer Science Professor at the University of Illinois Urbana-Champaign, envisions a future where verifiable computing is universally accessible across all languages and VMs, inherently correct-by-construction, and incredibly fast. The mission extends beyond enabling a universal settlement layer (USL) for seamless interoperability among all Blockchains, L1s, and L2s to a broader goal of settling all scientific and knowledge-based advancements on the USL.
Karthik Raju, General Partner at Polychain Capital, emphasized the transformative impact of Pi Squared’s proof of proof technology on Web3 and its applications. The development of a universal ZK circuit by Pi Squared is expected to enhance the accessibility and applicability of Web3 for developers and end users alike.
Pi Squared's forthcoming verifiable computing solutions entail a universal and scalable approach with a minimal trust base. The flagship product, the Universal Settlement Layer (USL), introduces several key features:
- Universality: Expressing computations in any high-level or virtual machine language without the need for compilers or translators.
- Provable correctness: Ensuring computations verified by the USL are mathematically verified correct, allowing external validation of the USL's state.
- Trust Base Minimality: Increasing transparency by exposing trust assumptions in upper-layer computations and minimizing the trust base through correctness proofs.
- App Interoperability: Supporting interoperability among different application modules and networks.
- Determinism and reproducibility: Facilitating reproducible validation independently verified by external entities.
Pi Squared’s USL guarantees end-to-end correctness for generic computations while minimizing the trust base. It advances verifiable computing as a standard distributed computing paradigm without favoring specific domain-specific languages, VMs, or execution environments, ensuring efficiency and scalability.
Pi Squared will be showcasing its innovations at events during the EthCC in Brussels from July 8th to 11th. Attendees can learn more about Pi Squared’s vision and initiatives directly from CEO Grigore Roșu at Restaking & Infra Day on July 8th and L2con on July 9th.
About Pi Squared
Pi Squared stands for ZK proofs of mathematical proofs and pioneers the utilization of ZK technology to offer verifiable-computing correctness guarantees without language or VM translations. Headed by UIUC professor Grigore Rosu, a leading figure in the K framework and Runtime Verification, the team comprises experts in formal methods, blockchain, and AI/ML. To schedule a meeting with Pi Squared’s leadership team, contact them via email at contact@pi2.network.
For more insights into Pi Squared's vision and Proof of Proof technology, visit their official website at pi2.network.
