Champaign, Illinois, United States, July 2nd, 2024 – Pi Squared, a company specializing in zero-knowledge (ZK) technology, has successfully concluded its first round of capital raising. The leading investment came from Polychain Capital, with participation from ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next. Additionally, several angel investors, including Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, and Common Prefix, have contributed to the capital raise.
Pi Squared’s unique approach to ZK technology allows for trustless remote computing, AI, and interoperable smart contracts for any blockchain or decentralized application (dApp). This is achieved through the development of a compact ZK circuit that verifies the integrity of mathematical proofs. By providing verifiable-computing correctness guarantees directly from the formal semantics of languages and virtual machines (VMs), Pi Squared eliminates the need for translation to a common language, VM, or instruction set architecture (ISA).
Grigore Roșu, CEO of Pi Squared and a computer science professor at the University of Illinois Urbana-Champaign, expressed the company’s mission to revolutionize verifiable computing. Their goal is to make it universally applicable to all languages and virtual machines, inherently correct-by-construction, and lightning-fast. This technology has wide-ranging applications, including the creation of a universal settlement layer (USL) that ensures all blockchains, L1s, and L2s are universal, correct, interoperable, and efficient. Pi Squared’s long-term vision extends to settling all science and knowledge on the USL.
Karthik Raju, GP at Polychain Capital, believes that Pi Squared’s proof of proof technology will have a transformative impact on Web3 and beyond. The universal ZK circuit developed by Pi Squared will significantly expand the reach and applicability of Web3 for builders and end users alike.
Pi Squared’s flagship product, the Universal Settlement Layer (USL), is the next generation of verifiable computing solutions. It offers universality, provable correctness, trust base minimality, app interoperability, and determinism and reproducibility. The USL allows computations to be expressed in any high-level or virtual machine language without the need for compilers or translators. It ensures that computations verified by the USL are mathematically proven to be correct, with independent verification available to external entities. The USL also promotes transparency by exposing any trust assumptions in upper-layer computations, minimizing the trust base through correctness proofs.
Pi Squared will be showcasing their technology at various events during EthCC in Brussels from July 8th to 11th. Grigore Roșu, CEO of Pi Squared, 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, utilizes ZK technology in a unique and correct-by-construction manner. Their compact ZK circuit provides verifiable-computing correctness guarantees to all languages and VMs without the need for translation. Led by UIUC professor Grigore Rosu, founder of the K framework and Runtime Verification, Pi Squared comprises researchers and founders experienced 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 about Pi Squared’s vision and Proof of Proof, please visit pi2.network and follow Pi Squared on social media.
Contact:
Chris Hazelton
Head of Marketing
Pi Squared Inc
[email protected]
