[PRESS RELEASE – Champaign, Illinois, United States, July 2nd, 2024]
Pi Squared, (Proof of Proof), introduced the closure of their first capital increase. Led by Polychain Capital, the syndicate consists of ABCDE, Bloccelerate, Generative Ventures, Robotic Ventures, and Samsung Subsequent. Angel buyers embody Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, and Widespread Prefix.
Utilizing zero-knowledge (ZK) know-how in a correct-by-construction and basically distinctive manner, Pi Squared will allow trustless distant computing, AI, and interoperable good contracts for any blockchain or dApp. This shall be made potential by means of the creation of a common and disarmingly small ZK circuit that checks the integrity of mathematical proofs, which can present verifiable-computing correctness ensures to all languages and digital machines (VMs) alike instantly from their formal semantics, with none translation to a standard language, VM, or instruction set structure (ISA).
“Our mission is to revolutionize verifiable computing, making it common for all languages and digital machines, inherently correct-by-construction, and lightning-fast,” says Grigore Roșu, CEO of Pi Squared and CS Professor at College of Illinois Urbana-Champaign. “This may have many functions, together with a common settlement layer (USL) so all Blockchains, L1s and L2s, might be common, appropriate, inter-operable and environment friendly. It doesn’t finish there, our long-term mission is to settle all science and data on USL.”
“Pi Squared’s proof of proof know-how can have a transformative impression throughout Web3 and past,” stated Karthik Raju, GP at Polychain Capital. “Pi Squared’s common ZK circuit will considerably improve the attain and applicability of Web3 for everybody, from builders to finish customers.”
Pi Squared will allow the following era of verifiable computing that’s common and scalable with an optimally minimal belief base. The primary product powered by Pi Squared is the Common Settlement Layer (USL), an structure for modular blockchains that allows the next traits:
Universality
Computations might be expressed in any high-level or digital machine language, with out the necessity for compilers or translators.
Provable correctness
Computations verified by the USL are mathematically confirmed to be appropriate, and any exterior entity can independently confirm the correctness of the state of the USL.
Belief Base Minimality
USL exposes any belief assumptions in upper-layer computations for elevated transparency, end-user consciousness, and can reduce the belief base by means of correctness proofs.
App Interoperability
The USL will help interoperability between totally different software modules and networks (e.g. appchains).
Determinism and reproducibility
The validation is reproducible and independently verifiable by any exterior entity.
Pi Squared’s USL subsequently gives end-to-end correctness ensures for generic computations whereas minimizing the belief base underlying these computations. USL promotes verifiable computing as the usual distributed computing paradigm with out requiring or selling specific domain-specific languages (DSLs), VMs, or execution environments, all whereas being environment friendly and scalable.
Pi Squared shall be presenting and exhibiting at occasions round EthCC in Brussels from July eighth to eleventh. Attendees can hearken to Pi Squared’s CEO, Grigore Roșu, communicate at Restaking & Infra Day on July eighth and L2con on July ninth.
About Pi Squared
Pi Squared means ZK proofs of mathematical proofs. Pi Squared makes use of ZK know-how in a correct-by-construction and basically distinctive manner. A common and disarmingly small ZK circuit gives verifiable-computing correctness ensures to all languages and VMs alike, with none translation to a standard language, VM, or ISA. Pi Squared is led by UIUC professor Grigore Rosu, founding father of the Ok framework and of Runtime Verification, and consists of researchers and founders of profitable initiatives in formal strategies, blockchain, and AI/ML.
To guide a gathering with Pi Squared’s CEO and group, attendees can attain out to contact@pi2.community.
To study extra about Pi Squared’s imaginative and prescient and Proof of Proof, go to pi2.community and observe Pi Squared on social media.
Binance Free $600 (CryptoPotato Unique): Use this hyperlink to register a brand new account and obtain $600 unique welcome provide on Binance (full particulars).
LIMITED OFFER 2024 at BYDFi Trade: As much as $2,888 welcome reward, use this hyperlink to register and open a 100 USDT-M place totally free!
