Interpretarea lui Pi la pătrat: Condusă de elitele academice de la universități de top

În timp ce BTC a cunoscut o tendință descendentă în ultimele zile, piața primară a continuat să dezvăluie tranzacții de finanțare semnificative. În afară de cele 85 de milioane de dolari strânse de gigantul AI Sentiment, un alt proiect de finanțare notabil în această săptămână este Pi Squared, legat de tehnologia ZK.

La 2 iulie, Pi Squared a anunțat că a obținut o finanțare inițială de 12 milioane de dolari condusă de Polychain Capital, cu participarea ABCDE, Bloccelerate, Generative Ventures, Robot Ventures și Samsung Next. Printre investitorii Angel s-au numărat Justin Drake de la Ethereum Foundation și Sreeram Kanaan, fondatorul EigenLayer.

Din informațiile publice disponibile, numele Pi pătrat sugerează implicații matematice profunde, natura infinită a lui pi pătrat creând un sentiment de profunzime tehnică și mister. Proiectul în sine se concentrează pe construirea unor „circuite ZK universale” și a unui „strat de decontare universal”, adesea descrise într-un mod greu de înțeles, chiar dacă cuvintele sunt familiare.

În ciuda naturii nobile și aparent incomprehensibile a proiectului, combinația de companii de capital de risc de profil înalt și persoane bine-cunoscute ca investitori înger face ca Pi Squared să fie greu de ignorat. Deci, ce este mai exact Pi Squared?

Pi Squared: Condusă de elitele academice de la universități de top

Desenarea lui Pi la pătrat pe o tablă ar putea fi derutantă pentru mulți, dar atunci când elitele academice fac acest lucru, efectul este cu totul diferit.

Pi Squared este condus de Grigore Rosu, profesor de informatică la Universitatea din Illinois Urbana-Champaign (UIUC), care este și directorul general al proiectului.

În 2014, Grigore Roșu a devenit profesor titular la UIUC, specializându-se în verificarea formală și verificarea runtime. Simplificând, verificarea formală presupune utilizarea metodelor matematice pentru a dovedi corectitudinea sistemelor software și hardware, asigurându-se că acestea funcționează corect în diverse condiții. Verificarea în timp de execuție, pe de altă parte, implică monitorizarea în timp real a comportamentului sistemului pentru a spori stabilitatea și securitatea.

Potrivit Wikipedia, profesorul Grigore Roșu a publicat numeroase lucrări care au primit premii de top din partea Association for Computing Machinery (ACM) și International Conference on Automated Software Engineering (ASE).

Dar ce legătură are acest lucru cu un proiect criptografic?

Dacă vă uitați la descrierea principală a activității Pi Squared, veți descoperi că aceasta utilizează tehnologia „zero-knowledge proof” (ZK) pentru a verifica executarea corectă a oricărui program, indiferent de limbajul de programare (PL) sau de mașina virtuală (VM) utilizată. Aceasta oferă o metodă de verificare universală și eficientă menită să realizeze o interoperabilitate perfectă între blockchains, limbaje și aplicații.

Acest lucru se aliniază perfect cu expertiza profesorului Grigore Roșu în domeniul verificării, fiind o aplicație ideală a cunoștințelor sale academice.

USL: Facilitarea decontării tranzacțiilor de sistem

Să aruncăm o privire mai atentă la „stratul universal de decontare” (USL) pe care Pi Squared își propune să îl creeze.

În primul rând, este important să rețineți că Pi Squared nu vizează în mod direct utilizatorii finali, ci mai degrabă oferă produse pentru diverse comunități de criptografie și dezvoltatori.

Obiectivul Pi Squared este de a crea un USL care să simplifice interoperabilitatea între blockchains, limbaje și aplicații, eliminând necesitatea implementărilor lingvistice tradiționale, adesea predispuse la erori, cum ar fi compilatoarele, traducătorii sau interpreții.

Pentru a-l înțelege simplu, vă puteți gândi la el ca la un super translator care permite diferitelor blockchains, limbaje de programare și aplicații să funcționeze fără probleme unele cu altele. Dezvoltatorii pot crea mai ușor aplicații cross-chain și cross-language.

Iată o diagramă din Pi Squared website care ilustrează rolul acestui supertraducător:

1. Inițierea tranzacției: Un utilizator (de exemplu, Alice) inițiază o cerere de tranzacție, cum ar fi transferul a 1 WETH către Bob. WETH este un jeton conform ERC20.
2. Decontare universală: Cererea de tranzacție este transmisă unui mediu care acceptă orice mașină virtuală și orice limbaj de programare, precum EVM sau Python. Acesta este stratul universal de decontare – calculul poate fi exprimat în orice limbaj sau mașină virtuală atâta timp cât există o specificație formală pentru limbajul sau mașina virtuală respectivă.
3. Generarea dovezii: Pentru etapa 2, este generată o dovadă matematică pentru a verifica corectitudinea tranzacției. Această dovadă este foarte precisă, dar poate fi foarte mare.
4. Verificarea dovezii: Un verificator de dovezi ZK-ED (zero-knowledge – matching logic) este utilizat pentru a verifica „marea dovadă”. Acest verificator este mic și poate procesa sarcini paralele la scară largă.
5. Compresie ZK: În cele din urmă, se generează o dovadă de cunoaștere zero pentru a verifica corectitudinea tranzacției. Această dovadă de cunoaștere zero este de dimensiuni reduse și poate fi transmisă și verificată eficient.

Astfel, procesul de mai sus demonstrează modul în care o simplă cerere de tranzacție poate conduce la generarea și verificarea unor dovezi matematice, producând în cele din urmă o dovadă de cunoaștere zero mai mică pentru a asigura corectitudinea și confidențialitatea tranzacției.

Din perspectiva ecosistemului proiectului, Pi Squared ocupă o poziție intermediară în stiva tehnologică, deasupra nivelului de calcul și a serviciilor de secvențiere și sub nivelul de consens și disponibilitate a datelor.

USL-ul Pi Squared poate fi văzut ca un rollup optimist care interpretează și verifică corectitudinea tranzacțiilor de calcul, conectând stratul de calcul de sus cu stratul de consens de jos.

În plus, Pi Squared a menționat că are propria rețea cu noduri care rulează protocoale de consens, sugerând un posibil sistem economic bazat pe miză, direct legat de jetonul proiectului. Cu toate acestea, până în prezent, în documentele proiectului nu a fost dezvăluită nicio informație cu privire la jeton, lăsând loc speculațiilor cu privire la viitorul acestuia.

Pi Squared se află încă în faza de proof-of-concept. Profesorul Roșu a declarat că proiectul va intra în faza de testnet până la sfârșitul anului 2024. În prezent, acesta se află în etapa de încălzire și promovare, fără activități sau sarcini disponibile pentru participare.

Vom continua să monitorizăm proiectul. Indiferent de apelurile de a evita preluarea, vor exista întotdeauna oportunități la care merită să participați.