Pi Squared Secures 125 Million in Seed Funding from Polychain Capital to Develop a Universal ZK Circuit Utilizing Proof of Proof Technology
Champaign, Illinois, United States, July 2nd, 2024, Chainwire
Pi Squared Announces Successful Conclusion of Initial Funding Round
Pi Squared, known for its innovative Proof of Proof (PoP) concept, has officially closed its first capital raise. The leading investor in this round is Polychain Capital, with participation from ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next. Notable angel investors 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 have also contributed to this milestone for Pi Squared.
Making use of zero-knowledge (ZK) technology in a novel and meticulously designed manner, Pi Squared aims to facilitate trustless remote computing, artificial intelligence (AI) integration, and the seamless operation of smart contracts across various blockchains and decentralized applications (dApps). This will be achieved through the development of a universally applicable and exceptionally compact ZK circuit. The circuit will be responsible for validating the accuracy of mathematical proofs, offering assurance of computing correctness across different programming languages and virtual machines (VMs) directly from their inherent specifications. There will be no need for translations into a common language, VM, or instruction set architecture (ISA).
Grigore Roșu, the CEO of Pi Squared and a Professor of Computer Science at the University of Illinois Urbana-Champaign, expressed the company’s ambitious goal, stating, “Our aim is to revolutionize verifiable computing by making it universally accessible across all programming languages and virtual machines. This approach ensures correctness by design and high-speed functionality. The implications are vast, including the establishment of a universal settlement layer (USL) that promotes universal, accurate, interoperable, and efficient blockchain operations on both primary and secondary layers. Our ultimate vision extends to the application of this technology to all realms of science and knowledge within the USL framework.”
Karthik Raju, a General Partner at Polychain Capital, emphasized the transformative potential of Pi Squared’s PoP technology, stating, “Pi Squared’s universal ZK circuit will significantly enhance the reach and versatility of Web3, benefiting developers and end users alike.”
Pi Squared’s innovative solutions are set to usher in a new era of verifiable computing that is both universally applicable and scalable, while maintaining a minimal requirement for trust. The company’s initial product leveraging this technology is the Universal Settlement Layer (USL), a framework tailored for modular blockchains offering the following key characteristics:
Universality: Supports computations in any high-level or virtual machine language without the need for compiler tools.
Provable correctness: Verifications conducted by the USL are mathematically guaranteed correct, allowing external parties to independently verify the state of the USL.
Trust Base Minimality: Exposes all trust assumptions related to upper-layer computations, ensuring transparency and minimal trust requirements through correctness validations.
App Interoperability: Facilitates seamless integration between various application modules and networks (e.g., appchains).
Determinism and Reproducibility: Validates are reproducible and independently verifiable by external entities.
Through the USL, Pi Squared offers comprehensive correctness guarantees for general computations while keeping the underlying trust base to a minimum. The USL promotes verifiable computing as the standard distributed computing approach without bias towards specific domain-specific languages (DSLs), VMs, or execution environments, all while ensuring efficiency and scalability.
Pi Squared will be participating in events surrounding EthCC in Brussels from July 8th to 11th. Attendees will have the opportunity to hear from Pi Squared’s CEO, Grigore Roșu, at the Restaking & Infra Day on July 8th and L2con on July 9th.
About Pi Squared
Pi Squared, derived from ZK proofs of mathematical proofs, leverages ZK technology in a novel and meticulously designed approach. The company’s compact and versatile ZK circuit ensures verifiable-computing correctness guarantees across diverse languages and VMs, eliminating the need for common translations. Led by UIUC professor Grigore Rosu, known for his work on the K framework and Runtime Verification, Pi Squared brings together experts in formal methods, blockchain technologies, and AI/ML. To arrange a meeting with Pi Squared’s CEO and team, please contact [email protected].
For further insights into Pi Squared’s vision and Proof of Proof concept, visit pi2.network and connect with Pi Squared on social media.
Contact
Chris Hazelton
Head of Marketing
Pi Squared Inc
[email protected]