In a recent announcement on July 2nd, 2024, Pi Squared, also known as Proof of Proof, revealed the successful closure of their first capital raise. This milestone was achieved with the backing of prominent investors such as Polychain Capital, ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung Next. Alongside these institutional investors, a group of distinguished angel investors including Shumo Chu, Harish Devarajan, and Justin Drake have also shown their support for Pi Squared’s innovative approach to verifiable computing.
The Technology Behind Pi Squared
One of the key aspects that sets Pi Squared apart is its utilization of zero-knowledge (ZK) technology in a novel and unprecedented manner. By creating a universal and compact ZK circuit, Pi Squared is ushering in a new era of trustless remote computing, artificial intelligence, and interoperable smart contracts for various blockchains and decentralized applications (dApps). This innovative approach eliminates the need for translation to a common language, virtual machine, or instruction set architecture, providing verifiable-computing correctness guarantees directly from the formal semantics of different languages and VMs.
The Vision for Revolutionizing Computing
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, inherently accurate, and exceptionally fast. He believes that Pi Squared’s proof of proof technology will have far-reaching implications across Web3 and beyond, enabling a broad spectrum of applications from blockchain settlement layers to scientific knowledge sharing.
The flagship offering from Pi Squared is the Universal Settlement Layer (USL), an architectural framework for modular blockchains that promises universality, provable correctness, minimal trust assumptions, interoperability, determinism, and reproducibility. By supporting computations in any high-level or virtual machine language without the need for compilers, USL aims to establish verifiable computing as the standard distributed computing paradigm while enhancing transparency, user awareness, and trust minimization.
Upcoming Events and Presentations
To showcase their groundbreaking technology, Pi Squared will be participating in events around EthCC in Brussels from July 8th to 11th. Attendees will have the opportunity to hear from Grigore Roșu at Restaking & Infra Day on July 8th and L2con on July 9th, where he will delve deeper into the potential of Pi Squared’s verifiable computing solutions.
Pi Squared, which stands for ZK proofs of mathematical proofs, is at the forefront of leveraging ZK technology to redefine verifiable computing. Led by Grigore Roșu, a pioneer in formal methods, blockchain, and AI/ML, the team behind Pi Squared comprises experts with a proven track record of success in their respective fields. For those interested in learning more about Pi Squared’s innovative approach to verifiable computing, they can reach out to the team at contact@pi2.network to book a meeting with the CEO and his team.