Piin neliön tulkinta: Akateemisen eliitin johtama huippuyliopistoista.

Vaikka BTC:n kurssi on ollut laskusuunnassa viime päivinä, alkumarkkinoilla on edelleen tehty merkittäviä rahoitussopimuksia. Tekoälyjättiläisen Sentimentin keräämän 85 miljoonan dollarin lisäksi toinen huomionarvoinen rahoitushanke tällä viikolla on Pi Squared, joka liittyy ZK-teknologiaan.

Heinäkuun 2. päivänä Pi Squared ilmoitti saaneensa 12 miljoonaa dollaria siemenrahoitusta, jota johti Polychain Capital ja johon osallistuivat ABCDE, Bloccelerate, Generative Ventures, Robot Ventures ja Samsung Next. Enkelisijoittajiin kuuluivat Justin Drake Ethereum Foundationista ja Sreeram Kanaan, EigenLayerin perustaja.

Julkisesti saatavilla olevien tietojen perusteella nimi Pi Squared viittaa syvällisiin matemaattisiin merkityksiin, ja pi neliön ääretön luonne luo tunteen teknisestä syvyydestä ja salaperäisyydestä. Itse hankkeessa keskitytään ”universaalien ZK-piirien” ja ”universaalin ratkaisukerroksen” rakentamiseen, jota kuvataan usein vaikeasti ymmärrettävällä tavalla, vaikka sanat ovatkin tuttuja.

Huolimatta hankkeen ylevästä ja näennäisesti käsittämättömästä luonteesta, korkean profiilin riskipääomasijoittajien ja tunnettujen yksityishenkilöiden yhdistelmä enkelisijoittajina tekee Pi Squaredista vaikeasti sivuutettavan. Mikä Pi Squared sitten tarkalleen ottaen on?

Pi neliö: Akateemisen eliitin johtama huippuyliopistoista

Piin neliön piirtäminen taululle saattaa olla monille hämmentävää, mutta kun akateeminen eliitti tekee niin, vaikutus on aivan erilainen.

Pi Squaredia johtaa Grigore Rosu, Illinoisin yliopiston Urbana-Champaignin (UIUC) tietojenkäsittelytieteen professori, joka toimii myös hankkeen toimitusjohtajana.

Vuonna 2014 Grigore Rosusta tuli UIUC:n varsinainen professori, joka on erikoistunut muodolliseen verifiointiin ja suoritusajan verifiointiin. Yksinkertaisesti sanottuna formaalissa verifioinnissa käytetään matemaattisia menetelmiä ohjelmisto- ja laitteistojärjestelmien oikeellisuuden todistamiseen ja sen varmistamiseen, että ne toimivat oikein eri olosuhteissa. Suoritusajan verifiointiin taas kuuluu järjestelmän käyttäytymisen reaaliaikainen seuranta vakauden ja turvallisuuden parantamiseksi.

Wikipedian mukaan professori Grigore Rosu on julkaissut lukuisia artikkeleita, jotka on palkittu ACM:n (Association for Computing Machinery) ja ASE:n (International Conference on Automated Software Engineering) huippupalkinnoilla.

Mutta mitä tekemistä tällä on kryptoprojektin kanssa?

Jos tarkastelet Pi Squaredin tärkeintä liiketoimintakuvausta, huomaat, että se käyttää nollatietotodistus (ZK) -tekniikkaa minkä tahansa ohjelman oikean suorituksen todentamiseen riippumatta käytetystä ohjelmointikielestä (PL) tai virtuaalikoneesta (VM). Se tarjoaa universaalin ja tehokkaan todentamismenetelmän, jonka tarkoituksena on saavuttaa saumaton yhteentoimivuus lohkoketjujen, kielten ja sovellusten välillä.

Tämä sopii täydellisesti yhteen professori Grigore Rosun verifiointiin liittyvän asiantuntemuksen kanssa, mikä tekee siitä ihanteellisen sovelluksen hänen akateemiselle tietämykselleen.

USL: Järjestelmätransaktioiden selvityksen helpottaminen

Tutustutaanpa tarkemmin Pi Squaredin tavoitteena olevaan ”universaaliin selvityskerrokseen” (Universal Settlement Layer, USL).

Ensinnäkin on tärkeää huomata, että Pi Squared ei ole suoraan suunnattu loppukäyttäjille, vaan se tarjoaa tuotteita erilaisille krypto- ja kehittäjäyhteisöille.

Pi Squaredin tavoitteena on luoda USL, joka yksinkertaistaa lohkoketjujen, kielten ja sovellusten välistä yhteentoimivuutta ja poistaa perinteisten, usein virhealttiiden kielitoteutusten, kuten kääntäjien, kääntäjien tai tulkkien, tarpeen.

Jos haluat ymmärtää sen yksinkertaisesti, voit ajatella sitä superkääntäjänä, joka mahdollistaa eri

Tässä on kaavio Pi Squaredin verkkosivustolta, joka havainnollistaa tämän superkääntäjän roolia:

1. Aloita tapahtuma: Käyttäjä (esim. Alice) käynnistää transaktiopyynnön, kuten 1 WETH:n siirtämisen Bobille. WETH on ERC20-yhteensopiva token.
2. Universal Settlement: Tapahtumapyyntö lähetetään ympäristöön, joka tukee mitä tahansa virtuaalikonetta ja ohjelmointikieltä, kuten EVM:ää tai Pythonia. Tämä on universaali selvityskerros – laskenta voidaan ilmaista millä tahansa kielellä tai VM:llä, kunhan kyseiselle kielelle tai VM:lle on olemassa muodollinen määrittely.
3. Luo todiste: Vaiheessa 2 luodaan matemaattinen todiste, jolla varmistetaan tapahtuman oikeellisuus. Tämä todiste on hyvin tarkka, mutta se voi olla hyvin suuri.
4. Todisteen todentaminen: ”Ison todistuksen” todentamiseen käytetään ZK-ED-todentamisohjelmaa (zero-knowledge – matching logic). Tämä tarkastaja on pieni ja pystyy käsittelemään suuria rinnakkaisia tehtäviä.
5. ZK-pakkaus: Lopuksi luodaan nollatietotodistus, jolla varmistetaan tapahtuman oikeellisuus. Tämä nollatietotodiste on pieni ja se voidaan lähettää ja todentaa tehokkaasti.

Näin ollen edellä esitetty prosessi osoittaa, miten yksinkertainen transaktiopyyntö voi johtaa matemaattisten todisteiden luomiseen ja tarkistamiseen, mikä johtaa lopulta pienempään nollatietotodistukseen, jolla varmistetaan transaktion oikeellisuus ja yksityisyys.

Hankkeen ekosysteemin näkökulmasta Pi Squared on teknologiapinossa keskellä, laskentakerroksen ja sekvensointipalvelujen yläpuolella ja konsensus- ja datan saatavuuskerroksen alapuolella.

Pi Squaredin USL voidaan nähdä optimistisena rollupina, joka tulkitsee ja tarkistaa laskentatapahtumien oikeellisuuden ja yhdistää yläpuolella olevan laskentakerroksen ja alapuolella olevan konsensuskerroksen.

Lisäksi Pi Squared mainitsi, että sillä on oma verkko, jonka solmut käyttävät konsensusprotokollia, mikä viittaa mahdolliseen panostukseen perustuvaan taloudelliseen järjestelmään, joka liittyy suoraan projektin merkkiin. Hankkeen asiakirjoissa ei kuitenkaan ole toistaiseksi paljastettu mitään tietoja tokenista, mikä jättää tilaa spekulaatioille sen tulevaisuudesta.

Pi Squared on vielä proof-of-concept -vaiheessa. Professori Rosu totesi, että hanke siirtyy testivaiheeseen vuoden 2024 loppuun mennessä. Tällä hetkellä hanke on lämmittely- ja mainosvaiheessa, eikä siihen voi osallistua millään aktiviteeteilla tai tehtävillä.

Jatkamme hankkeen seurantaa. Riippumatta kaikista kehotuksista välttää haltuunottoa, on aina olemassa mahdollisuuksia, joihin kannattaa osallistua.