CHAMPAIGN, ILLINOIS, USA, July 2, 2024, Chainwire
Pi Squared (Proof of Proof) announced that it has closed its first round of capital. The syndicate led by Polychain Capital includes ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, and Samsung 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.
Pi Squared enables trustless remote computing, AI, and interoperable smart contracts for any blockchain or dApp using zero-knowledge (ZK) technology in a precise and fundamentally unique way. This will be possible by creating a universal, non-disarmable, small ZK circuit that verifies the integrity of mathematical proofs, providing computational correctness guarantees that are directly verifiable in a formal sense across all languages and virtual machines (VMs) without translation to a common language, VM, or instruction set architecture (ISA).
“Our mission is to revolutionize verifiable computation so that it is universally applicable to any language and virtual machine, intrinsically structurally correct, and lightning fast,” says Grigore Roșu, CEO of Pi Squared and a CS professor at the University of Illinois Urbana-Champaign. “This has many applications, including a universal settlement layer (USL) that allows all blockchains, L1 and L2, to be universal, correct, interoperable, and efficient. It doesn’t end there. Our long-term mission is to anchor all science and knowledge in the USL.”
“Pi Squared’s proof technology will have a transformative impact on Web3 and beyond,” said Karthik Raju, GP at Polychain Capital. “Pi Squared’s universal ZK circuits will significantly increase the reach and applicability of Web3 for everyone from builders to end users.”
Pi Squared enables universal, scalable, next-generation verifiable computing with an optimal minimum trust base. The first product powered by Pi Squared is the Universal Settlement Layer (USL), an architecture for modular blockchains that enables the following properties:
catholicity
Computations can be expressed in high-level languages or virtual machine languages without the need for compilers or translators.
Verifiable accuracy
Computations verified by the USL are proven to be mathematically correct, and external entities can independently verify the correctness of the USL state.
Trust-based minimum
USL exposes all trust assumptions in upper-layer computations to increase transparency and end-user awareness, and minimizes trust bases through proofs of correctness.
App Interoperability
USL supports interoperability between various application modules and networks (e.g. appchains).
Determinism and reproducibility
Validation can be reproducibly and independently verified by external agencies.
Pi Squared’s USL therefore provides end-to-end correctness guarantees for general computations while minimizing the trust bases on which these computations are based. The USL promotes verifiable computation as a standard distributed computing paradigm without requiring or promoting any specific domain-specific language (DSL), VM, or execution environment, while being efficient and scalable.
Pi Squared will be presenting and exhibiting at events around EthCC in Brussels from July 8th to 11th. Attendees can also hear Pi Squared CEO Grigore Roșu speak at Restaking & Infra Day on July 8th and at L2con on July 9th.
About Pi Squared
Pi Squared stands for ZK proofs of mathematical proofs. Pi Squared uses ZK technology in a fundamentally unique way, with correctness by composition. Universal and surprisingly small ZK circuits provide verifiable computational correctness guarantees for any language and VM, without translation to a common language, VM, 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 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, visit pi2.network and follow Pi Squared on social media.
contact
Marketing Manager
Chris Hazelton
Pie Squared Co., Ltd.
(email protected)