Champaign, Illinois, United States, July 2, 2024, Chainwire
Pi Squared, (Proof of Proof), introduced the closing of its first capital elevating. The syndicate led by Polychain Capital consists of ABCDE, Bloccelerate, Generative Ventures, Robotic Ventures and Samsung (KS:) 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 Frequent Prefix.
Utilizing zero-knowledge (ZK) know-how in a correct and basically distinctive means, Pi Squared will allow trusted distant computing, AI and interoperable sensible contracts for any blockchain or dApp. This will likely be made attainable by making a common and disarming little ZK circuit that checks the integrity of mathematical proofs, which can present verifiable ensures of correctness of computing to all languages and digital machines (VMs) alike, straight from their formal semantics, with none translation into a typical language, VM or instruction set structure (ISA).
“Our mission is to revolutionize verifiable computation, making it common for all languages and digital machines, naturally appropriate by development, and lightning quick,” says Grigore Roșu, CEO of Pi Squared and CS Professor on the College of Illinois Urbana-Champaign. . “It’s going to have many functions, together with a common settlement layer (USL), so that every one blockchains, L1 and L2, will be common, appropriate, interoperable and environment friendly. It doesn't finish there, our long-term mission is to deal with all science and information at USL.”
“Pi Squared's proof of proof know-how can have a transformative affect on Web3 and past,” mentioned Karthik Raju, GP of Polychain Capital. “ZK Pi Squared's common circuit will vastly improve the attain and value of Web3 for everybody from builders to finish customers.”
Pi Squared will allow a brand new era of verifiable calculations which can be common and scalable with an optimally minimal trusted base. The primary product based mostly on Pi Squared is the Common Settlement Layer (USL), an structure for modular blockchains that permits the next options:
Versatility
Calculations will be expressed in any high-level or digital machine language with out the necessity for compilers or interpreters.
Provable correctness
Calculations verified by USL are mathematically confirmed to be appropriate, and the correctness of USL standing will be independently verified by any exterior entity.
Belief Base Minimalism
USL exposes any belief assumptions in upper-layer computations to extend transparency, inform finish customers, and decrease belief by means of proofs of correctness.
Software interoperability
USL will help interoperability between totally different software modules and networks (e.g. appchains).
Determinism and reproducibility
Validation is reproducible and independently verifiable by any exterior entity.
Pi Squared USL due to this fact gives end-to-end correctness ensures for generic computations whereas minimizing the trusted base underlying these computations. USL helps verifiable computing as a normal distributed computing paradigm with out requiring or supporting particular domain-specific languages (DSLs), digital machines, or execution environments, all whereas being environment friendly and scalable.
Pi Squared will likely be presenting and exhibiting at occasions round EthCC in Brussels from July 8-11. Attendees can hear Pi Squared CEO Grigor Roșu converse at Restaking & Infra Day on July eighth and L2con on July ninth.
About Pi Squared
Pi Squared stands for ZK Proofs of Mathematical Proofs. Pi Squared makes use of ZK know-how in the proper and fully distinctive means. The versatile and disarming little ZK circuit gives verifiable ensures of computational correctness for all languages and VMs, with none translation to a typical language, VM or ISA. Pi Squared is led by UIUC Professor Grigore Rosu, founding father of the Ok framework and Runtime Verification, and consists of researchers and founders of profitable tasks in formal strategies, blockchain and AI/ML.
To e-book a gathering with the Pi Squared CEO and staff, attendees can contact contact@pi2.community.
To study extra about Pi Squared and Proof of Proof's imaginative and prescient, go to pi2.community and observe Pi Squared on social media.
ContactHead of AdvertisingChris HazeltonPi Squared Incmedia@pi2.community
This text was initially printed on Chainwire
