Champaign, Illinois, United States, July 2nd, 2024, Chainwire
Pi Squared, known as Proof of Proof, has announced the successful completion of their initial capital raise. The syndicate, led by Polychain Capital, includes prominent names such as ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next. 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 have also contributed to the funding.
Pi Squared is revolutionizing the use of zero-knowledge (ZK) technology by leveraging it in a unique and innovative way. Their goal is to enable trustless remote computing, artificial intelligence (AI), and interoperable smart contracts for any blockchain or decentralized application (dApp). They have achieved this by developing a universal and remarkably compact ZK circuit that verifies the integrity of mathematical proofs. This circuit ensures that all languages and virtual machines (VMs) can be validated for computing correctness directly from their formal semantics, without the need for translation to a common language, VM, or instruction set architecture (ISA).
By utilizing Pi Squared’s technology, the next generation of verifiable computing is made possible. It offers universality and scalability, with a minimal trust base. The first product powered by Pi Squared is the Universal Settlement Layer (USL), an architecture designed for modular blockchains. The USL provides the following key characteristics:
Universality: Computations can be expressed in any high-level or virtual machine language, eliminating the need for compilers or translators.
Provable correctness: Computations verified by the USL are mathematically proven to be correct, and their state can be independently verified by any external entity.
Trust Base Minimality: The USL exposes any trust assumptions in upper-layer computations, enhancing transparency and end-user awareness while minimizing the trust base through correctness proofs.
App Interoperability: The USL supports interoperability between different application modules and networks, such as appchains.
Determinism and reproducibility: The validation process is reproducible and can be independently verified by any external entity.
Pi Squared’s USL ensures end-to-end correctness guarantees for generic computations while reducing the reliance on trust. It promotes verifiable computing as the standard distributed computing paradigm without favoring specific domain-specific languages (DSLs), VMs, or execution environments, all while maintaining efficiency and scalability.
Pi Squared will be showcasing their technology at various events during EthCC in Brussels from July 8th to 11th. Attendees will have the opportunity to hear from Pi Squared’s CEO, Grigore Roșu, who will be speaking at Restaking & Infra Day on July 8th and L2con on July 9th.
About Pi Squared:
Pi Squared, which stands for ZK proofs of mathematical proofs, revolutionizes the use of zero-knowledge (ZK) technology in a unique and innovative way. Led by UIUC professor Grigore Rosu, founder of the K framework and Runtime Verification, Pi Squared is comprised of researchers and founders with 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].
To learn more about Pi Squared’s vision and Proof of Proof, please visit pi2.network and follow Pi Squared on social media.
Contact:
Head of Marketing
Chris Hazelton
Pi Squared Inc
[email protected]
