Champaign, Illinois, Statele Unite ale Americii, 2 iulie 2024, Chainwire

Pi Squared, (Proof of Proof), a anunțat închiderea primei lor majorări de capital. Condus de Polychain Capital, sindicatul include ABCDE, Bloccelerate, Generative Ventures, Robot Ventures și Samsung Next. Investitorii înger includ Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju și Common Prefix.

Folosind tehnologia zero-knowledge (ZK) într-un mod corect după construcție și fundamental unic, Pi Squared va permite calcularea la distanță fără încredere, AI și contractele inteligente interoperabile pentru orice blockchain sau dApp. Acest lucru va fi posibil prin crearea unui circuit ZK universal și dezarmant de mic, care verifică integritatea dovezilor matematice, care va oferi garanții verificabile de corectitudine de calcul tuturor limbajelor și mașinilor virtuale (VM) deopotrivă direct din semantica lor formală, fără niciun fel de garanții. traducere într-un limbaj comun, VM sau arhitectură de set de instrucțiuni (ISA).

„Misiunea noastră este să revoluționăm calcularea verificabilă, făcându-l universal pentru toate limbile și mașinile virtuale, corect în mod inerent prin construcție și rapid fulger”, spune Grigore Roșu, CEO al Pi Squared și profesor CS la Universitatea din Illinois Urbana-Champaign. . „Acest lucru va avea multe aplicații, inclusiv un nivel de decontare universal (USL), astfel încât toate Blockchain-urile, L1 și L2, pot fi universale, corecte, interoperabile și eficiente. Nu se termină aici, misiunea noastră pe termen lung este să stabilim toată știința și cunoștințele despre USL.” 

„Tehnologia proof of proof de la Pi Squared va avea un impact transformator pe Web3 și nu numai”, a declarat Karthik Raju, GP la Polychain Capital. „Circuitul ZK universal al lui Pi Squared va crește în mod semnificativ acoperirea și aplicabilitatea Web3 pentru toată lumea, de la constructori la utilizatorii finali.”

Pi Squared va permite următoarea generație de calculatoare verificabile, care este universală și scalabilă, cu o bază de încredere optimă minimă. Primul produs alimentat de Pi Squared este Universal Settlement Layer (USL), o arhitectură pentru blockchain-uri modulare care permite următoarele caracteristici:

Universalitate

Calculele pot fi exprimate în orice limbaj de mașină virtuală sau de nivel înalt, fără a fi nevoie de compilatoare sau traducători.

Corectitudine dovedibilă

Calculele verificate de USL sunt dovedite matematic a fi corecte, iar orice entitate externă poate verifica în mod independent corectitudinea stării USL.

Minimalitatea bazei de încredere

USL expune orice ipoteză de încredere în calculele de nivel superior pentru o transparență sporită, conștientizarea utilizatorilor finali și va minimiza baza de încredere prin dovezi de corectitudine.

Interoperabilitatea aplicației

USL va sprijini interoperabilitatea între diferite module de aplicații și rețele (de exemplu, aplicații). 

Determinism și reproductibilitate

Validarea este reproductibilă și verificabilă independent de către orice entitate externă.

Prin urmare, USL-ul lui Pi Squared oferă garanții de corectitudine de la capăt la capăt pentru calculele generice, minimizând în același timp baza de încredere care stă la baza acestor calcule. USL promovează calculul verificabil ca paradigmă standard de calcul distribuit fără a necesita sau promova anumite limbaje specifice domeniului (DSL), VM-uri sau medii de execuție, toate fiind eficiente și scalabile.

Pi Squared va prezenta și va expune la evenimentele din jurul EthCC la Bruxelles, în perioada 8-11 iulie. Participanții îl pot asculta pe CEO-ul Pi Squared, Grigore Roșu, vorbind la Restaking & Infra Day din 8 iulie și L2con pe 9 iulie.

Despre Pi Squared

Pi Squared înseamnă dovezi ZK ale demonstrațiilor matematice. Pi Squared folosește tehnologia ZK într-un mod corect după construcție și fundamental unic. Un circuit ZK universal și extrem de mic oferă garanții de corectitudine de calcul verificabile tuturor limbilor și mașinilor virtuale deopotrivă, fără nicio traducere într-o limbă comună, VM sau ISA. Pi Squared este condus de profesorul UIUC Grigore Rosu, fondatorul framework-ului K și al Runtime Verification, și este format din cercetători și fondatori ai proiectelor de succes în metode formale, blockchain și AI/ML.

Pentru a rezerva o întâlnire cu CEO-ul și echipa lui Pi Squared, participanții pot contacta la contact@pi2.network. 

Pentru a afla mai multe despre viziunea lui Pi Squared și Proof of Proof, vizitați pi2.network și urmăriți-l pe Pi Squared pe rețelele sociale.

a lua legatura

Șeful departamentului de marketingChris HazeltonPi Squared Incmedia@pi2.network