Pi kwadraat interpreteren: Geleid door Academische Elites van Top Universiteiten

Terwijl BTC de afgelopen dagen een neerwaartse trend heeft doorgemaakt, is de primaire markt doorgegaan met het onthullen van belangrijke financieringsdeals. Naast de $85 miljoen die werd opgehaald door de AI-gigant Sentiment, is een ander opmerkelijk financieringsproject deze week Pi Squared, gerelateerd aan ZK-technologie.

Op 2 juli kondigde Pi Squared aan dat het $12 miljoen aan zaaikapitaal had binnengehaald onder leiding van Polychain Capital, met deelname van ABCDE, Bloccelerate, Generative Ventures, Robot Ventures en Samsung Next. Angel-investeerders waren onder andere Justin Drake van de Ethereum Foundation en Sreeram Kanaan, oprichter van EigenLayer.

Uit openbaar beschikbare informatie blijkt dat de naam Pi Squared diepgaande wiskundige implicaties suggereert, waarbij de oneindige aard van pi squared een gevoel van technische diepte en mysterie creëert. Het project zelf richt zich op het bouwen van “universele ZK circuits” en een “universele afwikkelingslaag”, vaak beschreven op een manier die moeilijk te begrijpen is, ook al zijn de woorden bekend.

Ondanks de verheven en schijnbaar onbegrijpelijke aard van het project, maakt de combinatie van high-profile VC’s en bekende individuen als angel investors Pi Squared moeilijk te negeren. Dus, wat is Pi Squared precies?

Pi kwadraat: Geleid door Academische Elites van Top Universiteiten

Het tekenen van Pi kwadraat op een schoolbord is voor velen misschien verbijsterend, maar wanneer academische elites het doen, is het effect heel anders.

Pi Squared wordt geleid door Grigore Rosu, een professor in computerwetenschappen aan de Universiteit van Illinois Urbana-Champaign (UIUC), die ook de CEO van het project is.

In 2014 werd Grigore Rosu hoogleraar aan UIUC, gespecialiseerd in formele verificatie en runtime-verificatie. Eenvoudig gezegd houdt formele verificatie in dat wiskundige methoden worden gebruikt om de correctheid van software- en hardwaresystemen aan te tonen, zodat ze onder verschillende omstandigheden goed functioneren. Runtime-verificatie houdt zich daarentegen bezig met het real-time monitoren van systeemgedrag om de stabiliteit en veiligheid te verbeteren.

Volgens Wikipedia heeft professor Grigore Rosu talrijke artikelen gepubliceerd die de hoogste onderscheidingen hebben gekregen van de Association for Computing Machinery (ACM) en de International Conference on Automated Software Engineering (ASE).

Maar wat heeft dit te maken met een cryptoproject?

Als je kijkt naar de belangrijkste zakelijke beschrijving van Pi Squared, zul je zien dat het zero-knowledge proof (ZK) technologie gebruikt om de correcte uitvoering van elk programma te verifiëren, ongeacht de gebruikte programmeertaal (PL) of virtuele machine (VM). Het biedt een universele en efficiënte verificatiemethode gericht op het bereiken van naadloze interoperabiliteit tussen blockchains, talen en applicaties.

Dit sluit perfect aan bij de expertise van professor Grigore Rosu op het gebied van verificatie, waardoor het een ideale toepassing is van zijn academische kennis.

USL: vergemakkelijken van de afwikkeling van systeemtransacties

Laten we eens wat dieper ingaan op de “universele afwikkelingslaag” (USL) die Pi Squared wil creëren.

Ten eerste is het belangrijk om op te merken dat Pi Squared zich niet rechtstreeks richt op eindgebruikers, maar eerder producten levert voor verschillende crypto- en ontwikkelaarsgemeenschappen.

Pi Squared’s doel is om een USL te creëren die interoperabiliteit tussen blockchains, talen en applicaties vereenvoudigt, waardoor traditionele, vaak foutgevoelige taalimplementaties zoals compilers, vertalers of tolken niet meer nodig zijn.

Om het eenvoudig te begrijpen, kun je het zien als een supervertaler waarmee verschillende blockchains, programmeertalen en applicaties naadloos met elkaar laat samenwerken. Ontwikkelaars kunnen eenvoudiger keten- en taaloverschrijdende toepassingen maken.

Hier is een diagram van de Pi kwadraat website die de rol van deze supervertaler illustreert:

1. Transactie starten: Een gebruiker (bijv. Alice) initieert een transactieverzoek, zoals de overdracht van 1 WETH naar Bob. WETH is een ERC20-conform token.
2. Universele schikking: Het transactieverzoek wordt ingediend bij een omgeving die elke virtuele machine en programmeertaal ondersteunt, zoals EVM of Python. Dit is de universele afwikkelingslaag-computatie kan worden uitgedrukt in elke taal of VM zolang er een formele specificatie is voor die specifieke taal of VM.
3. Bewijs genereren: Voor stap 2 wordt een wiskundig bewijs gegenereerd om de juistheid van de transactie te verifiëren. Dit bewijs is erg nauwkeurig, maar kan erg groot zijn.
4. Bewijs Verificatie: Een ZK-ED (zero-knowledge – matching logic) bewijscontrole wordt gebruikt om het “grote bewijs” te verifiëren. Deze checker is klein en kan grootschalige parallelle taken verwerken.
5. ZK compressie: Tot slot wordt er een nul-kennis bewijs gegenereerd om de juistheid van de transactie te verifiëren. Dit nul-bewijs is klein en kan efficiënt worden verzonden en geverifieerd.

Het bovenstaande proces laat dus zien hoe een eenvoudig transactieverzoek kan leiden tot het genereren en verifiëren van wiskundige bewijzen, waarbij uiteindelijk een kleiner nul-kennis bewijs wordt geproduceerd om de correctheid en privacy van de transactie te garanderen.

Vanuit het ecosysteemperspectief van het project neemt Pi Squared een middenpositie in de technologiestapel in, boven de rekenlaag en sequencingdiensten en onder de consensus- en databeschikbaarheidslaag.

Pi Squared’s USL kan worden gezien als een optimistische rollup die de correctheid van rekentransacties interpreteert en verifieert, en de rekenlaag erboven verbindt met de consensuslaag eronder.

Bovendien noemde Pi Squared een eigen netwerk met knooppunten die consensusprotocollen uitvoeren, wat duidt op een mogelijk op inleg gebaseerd economisch systeem dat direct gerelateerd is aan het token van het project. Tot nu toe is er echter geen informatie over het token vrijgegeven in de projectdocumenten, waardoor er ruimte is voor speculatie over de toekomst ervan.

Pi Squared bevindt zich nog in de proof-of-conceptfase. Professor Rosu verklaarde dat het project eind 2024 de testnetfase zou ingaan. Momenteel bevindt het zich in de opwarmings- en promotiefase, zonder activiteiten of taken waaraan kan worden deelgenomen.

We zullen het project blijven volgen. Ongeacht eventuele oproepen om het niet over te nemen, zullen er altijd mogelijkheden zijn die het waard zijn om aan deel te nemen.