Champaign, Illinois, USA, July 2, 2024, Chainwire
Pi Squared (Proof of Proof) announced the closing of its first round of capital raising. Led by Polychain Capital, the consortium includes ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung (KS:) Next. Angel investors include Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, and Common Prefix.
Using zero-knowledge (ZK) technology in a fundamentally unique and correct-by-construction manner, Pi Squared will enable trustless remote computing, AI, and interoperable smart contracts for any blockchain or decentralized application. This will be made possible by creating a surprisingly small, universal ZK circuit that verifies the integrity of mathematical proofs, providing verifiable computational correctness guarantees for all languages and virtual machines (VMs) alike directly from their formal semantics, without any translation to a common language, VM, or instruction set architecture (ISA).
“Our mission is to revolutionize verifiable computation, making it universal for all languages and virtual machines, inherently correct by construction, and ultra-fast,” says Grigore Roșu, CEO of Pi Squared and Professor of Computer Science at the University of Illinois at Urbana-Champaign. “This will have many applications, including a Universal Settlement Layer (USL) so that all blockchains, L1 and L2, can be universal, correct, interoperable, and efficient. But it doesn’t end there – our long-term mission is to settle all science and knowledge on USL.”
“Pi Squared’s proof-of-proof technology will have a transformative impact on Web3 and beyond,” said Karthik Raju, General Manager at Polychain Capital. “Pi Squared’s universal ZK circuit will significantly increase the reach and applicability of Web3 for everyone from developers to end users.”
Pi Squared will enable the next generation of verifiable computing that is universal and scalable with an optimally minimal trust foundation. The first product powered by Pi Squared is the Universal Settlement Layer (USL), a modular blockchain architecture that enables the following features:
Universality
Calculations can be expressed in any virtual machine or high-level language, without the need for compilers or translators.
Demonstrable Correctness
USL verified calculations are mathematically proven to be correct and any third party can independently verify the accuracy of the USL statement.
Minimum trust base
USL exposes any trust assumptions in higher layer calculations to increase transparency and end-user awareness, and will minimize the trust basis through proofs of correctness.
Application interoperability
The USL will support interoperability between different application modules and networks (e.g. application chains).
Determinism and reproducibility
Validation is reproducible and independently verifiable by any external entity.
Pi Squared’s USL therefore provides end-to-end correctness guarantees for generic computations, while minimizing the trust base underlying these computations. USL promotes verifiable computation as the standard distributed computing paradigm without requiring or promoting particular domain-specific languages (DSLs), virtual machines, or execution environments, all while being efficient and scalable.
Pi Squared will be presenting and exhibiting at EthCC-related events in Brussels from July 8-11. Attendees will be able to hear Pi Squared CEO Grigore Roșu speak at Resttaking & Infra Day on July 8 and at L2con on July 9.
About Pi Squared
Pi Squared stands for ZK proofs of mathematical proofs. Pi Squared uses ZK technology in a way that is correct by construction and fundamentally unique. A universal, surprisingly small ZK circuit provides verifiable computational correctness guarantees for all languages and virtual machines alike, without any translation to a common language, virtual machine, or ISA. Pi Squared is led by UIUC Professor Grigore Rosu, founder of the K framework and Runtime Verification, and consists of researchers and founders of successful projects in formal methods, blockchain, and AI/ML.
To book a meeting with the CEO and the Pi Squared team, attendees can contact [email protected].
To learn more about Pi Squared’s vision and proof-of-concept, visit pi2.network and follow Pi Squared on social media.
ContactHead of MarketingChris HazeltonPi Squared Inc[email protected]
This article was originally published on Chainwire
