Medtem ko je BTC v zadnjih nekaj dneh doživljal trend upadanja, je primarni trg še naprej razkrival pomembne finančne posle. Poleg 85 milijonov dolarjev, ki jih je zbral velikan na področju umetne inteligence Sentiment, je bil ta teden omembe vreden tudi projekt financiranja Pi Squared, povezan s tehnologijo ZK.
Podjetje Pi Squared je 2. julija objavilo, da je pridobilo 12 milijonov dolarjev zagonskega kapitala, ki ga je vodil Polychain Capital, sodelovali pa so tudi ABCDE, Bloccelerate, Generative Ventures, Robot Ventures in Samsung Next. Med angelskimi vlagatelji sta bila tudi Justin Drake iz fundacije Ethereum in Sreeram Kanaan, ustanovitelj podjetja EigenLayer.
Iz javno dostopnih informacij je razvidno, da ime Pi Squared nakazuje globoke matematične posledice, pri čemer neskončna narava števila pi kvadrat ustvarja občutek tehnične globine in skrivnostnosti. Sam projekt se osredotoča na izgradnjo “univerzalnih vezij ZK” in “univerzalne obračunske plasti”, ki so pogosto opisani na način, ki ga je težko razumeti, čeprav so besede znane.
Kljub vzvišenosti in navidezno nerazumljivi naravi projekta je Pi Squared težko prezreti zaradi kombinacije uglednih vlagateljev tveganega kapitala in znanih posameznikov kot angelskih vlagateljev. Kaj točno je Pi Squared?
Pi v kvadratu: Vodijo akademske elite z najboljših univerz
Risanje Pi kvadratov na tablo je morda za marsikoga presenetljivo, a ko to počne akademska elita, je učinek povsem drugačen.
Pi Squared vodi Grigore Rosu, profesor računalništva na Univerzi Illinois Urbana-Champaign (UIUC), ki je tudi izvršni direktor projekta.
Leta 2014 je Grigore Rosu postal redni profesor na UIUC, specializiral pa se je za formalno preverjanje in preverjanje med izvajanjem. Poenostavljeno povedano, formalno preverjanje vključuje uporabo matematičnih metod za dokazovanje pravilnosti sistemov programske in strojne opreme, s čimer se zagotovi njihovo pravilno delovanje pod različnimi pogoji. Po drugi strani pa preverjanje med izvajanjem vključuje spremljanje obnašanja sistema v realnem času za povečanje stabilnosti in varnosti.
Po podatkih Wikipedije je profesor Grigore Rosu objavil številne članke, za katere je prejel najvišje nagrade združenja Association for Computing Machinery (ACM) in mednarodne konference o avtomatiziranem programskem inženirstvu (ASE).
Toda kaj ima to opraviti s kripto projektom?
Če si ogledate glavni poslovni opis podjetja Pi Squared, boste ugotovili, da za preverjanje pravilnega izvajanja katerega koli programa, ne glede na uporabljeni programski jezik (PL) ali virtualni stroj (VM), uporablja tehnologijo dokazovanja ničelnega znanja (ZK). Zagotavlja univerzalno in učinkovito metodo preverjanja, katere cilj je doseči nemoteno interoperabilnost med verigami blokov, jeziki in aplikacijami.
To se popolnoma ujema s strokovnim znanjem profesorja Grigoreja Rosuja na področju verifikacije, zato je to idealna uporaba njegovega akademskega znanja.
USL: olajšanje poravnave sistemskih transakcij
Podrobneje si oglejmo “univerzalno plast za poravnavo” (USL), ki jo želi ustvariti Pi Squared.
Najprej je treba poudariti, da Pi Squared ne cilja neposredno na končne uporabnike, temveč zagotavlja izdelke za različne skupnosti kriptografov in razvijalcev.
Cilj podjetja Pi Squared je ustvariti USL, ki poenostavlja interoperabilnost med verigami blokov, jeziki in aplikacijami ter odpravlja potrebo po tradicionalnih jezikovnih implementacijah, ki so pogosto nagnjene k napakam, kot so prevajalniki, prevajalniki ali tolmači.
Če ga želite razumeti preprosto, si ga lahko predstavljate kot super prevajalnik, ki omogoča različne
Tukaj je diagram iz Strani Pi Squared, ki ponazarja vlogo tega super prevajalnika:
- Začetek transakcije: Uporabnik (npr. Alice) sproži zahtevo za transakcijo, na primer prenos 1 WETH Bobu. WETH je žeton, skladen z ERC20.
- Univerzalna poravnava: Zahteva za transakcijo se pošlje v okolje, ki podpira katerikoli virtualni stroj in programski jezik, na primer EVM ali Python. To je univerzalni nivo poravnave – računanje se lahko izrazi v katerem koli jeziku ali virtualnem stroju, če obstaja formalna specifikacija za ta jezik ali virtualni stroj.
- Ustvari dokaz: V koraku 2 se ustvari matematični dokaz, s katerim se preveri pravilnost transakcije. Ta dokaz je zelo natančen, vendar je lahko zelo obsežen.
- Preverjanje dokazov: Za preverjanje “velikega dokaza” se uporablja ZK-ED (zero-knowledge – matching logic). Ta preveritelj je majhen in lahko obdeluje obsežne vzporedne naloge.
- Kompresija ZK: Na koncu se ustvari dokaz brez vednosti, s katerim se preveri pravilnost transakcije. Ta dokaz ničelne vednosti je majhen in ga je mogoče učinkovito prenesti in preveriti.
Zgornji postopek tako prikazuje, kako lahko preprosta zahteva za transakcijo privede do ustvarjanja in preverjanja matematičnih dokazov, na koncu pa do manjšega dokaza z ničelno vednostjo, ki zagotavlja pravilnost in zasebnost transakcije.
Z vidika projektnega ekosistema je Pi Squared na sredini tehnološkega sklada, nad plastjo za izračunavanje in storitvami sekvenciranja ter pod plastjo za soglasje in razpoložljivost podatkov.
Pi Squaredov USL je mogoče razumeti kot optimistični rollup, ki razlaga in preverja pravilnost računskih transakcij ter povezuje zgornjo plast izračunavanja s spodnjo plastjo soglasja.
Poleg tega je Pi Squared omenil, da ima lastno omrežje z vozlišči, ki uporabljajo protokole soglasja, kar kaže na možen gospodarski sistem, ki temelji na vložkih in je neposredno povezan z žetonom projekta. Vendar v projektnih dokumentih doslej ni bilo razkritih nobenih informacij o žetonu, kar dopušča ugibanja o njegovi prihodnosti.
Pi Squared je še vedno v fazi preverjanja koncepta. Profesor Rosu je izjavil, da bo projekt do konca leta 2024 prešel v fazo testnega omrežja. Trenutno je v fazi ogrevanja in promocije, brez dejavnosti ali nalog, ki bi bile na voljo za sodelovanje.
Projekt bomo še naprej spremljali. Ne glede na morebitne pozive, naj se izognemo prevzemu, bodo vedno obstajale priložnosti, pri katerih je vredno sodelovati.
-
-
-
-
-
-
-
-
