Interpretace čtverce pí: V čele s akademickou elitou z nejlepších univerzit
Zatímco BTC v posledních dnech zažívá klesající trend, primární trh nadále odhaluje významné finanční transakce. Kromě 85 milionů dolarů, které získal gigant v oblasti umělé inteligence Sentiment, stojí tento týden za zmínku ještě jeden finanční projekt, a to Pi Squared, související s technologií ZK.
2. července společnost Pi Squared oznámila, že získala 12 milionů dolarů v počátečním financování vedeném společností Polychain Capital, na kterém se podílely společnosti ABCDE, Bloccelerate, Generative Ventures, Robot Ventures a Samsung Next. Mezi andělské investory patřili Justin Drake z Ethereum Foundation a Sreeram Kanaan, zakladatel společnosti EigenLayer.
Z veřejně dostupných informací vyplývá, že název Pi Squared má hluboký matematický význam a nekonečná povaha čísla pí na druhou vytváří pocit technické hloubky a tajemství. Samotný projekt se zaměřuje na budování „univerzálních obvodů ZK“ a „univerzální vrstvy osídlení“, které jsou často popisovány způsobem, jemuž je těžké porozumět, i když jsou tato slova známá.
Navzdory vznešené a zdánlivě nepochopitelné povaze projektu je obtížné ignorovat kombinaci vysoce postavených rizikových investorů a známých osobností jako andělských investorů. Co přesně je Pi Squared?
Pí na druhou: Pod vedením akademické elity z nejlepších univerzit
Kreslení čtverce pí na tabuli může být pro mnohé nepochopitelné, ale když to udělá akademická elita, má to zcela jiný účinek.
Pi Squared vede Grigore Rosu, profesor informatiky na University of Illinois Urbana-Champaign (UIUC), který je zároveň výkonným ředitelem projektu.
V roce 2014 se Grigore Rosu stal řádným profesorem na UIUC, kde se specializuje na formální verifikaci a runtime verifikaci. Zjednodušeně řečeno, formální verifikace zahrnuje použití matematických metod k prokázání správnosti softwarových a hardwarových systémů a zajištění jejich správného fungování za různých podmínek. Ověřování za běhu naproti tomu zahrnuje sledování chování systému v reálném čase s cílem zvýšit jeho stabilitu a bezpečnost.
Podle Wikipedie profesor Grigore Rosu publikoval řadu článků, které získaly nejvyšší ocenění od Asociace pro výpočetní techniku (ACM) a Mezinárodní konference o automatizovaném softwarovém inženýrství (ASE).
Co to má ale společného s kryptografickým projektem?
Pokud se podíváte na hlavní obchodní popis Pi Squared, zjistíte, že používá technologii zero-knowledge proof (ZK) k ověření správného provedení jakéhokoli programu bez ohledu na použitý programovací jazyk (PL) nebo virtuální stroj (VM). Poskytuje univerzální a efektivní metodu ověřování zaměřenou na dosažení bezproblémové interoperability mezi blokovými řetězci, jazyky a aplikacemi.
To se dokonale shoduje s odbornými znalostmi profesora Grigore Rosu v oblasti verifikace, takže se jedná o ideální využití jeho akademických znalostí.
USL: usnadnění vypořádání systémových transakcí
Podívejme se blíže na „univerzální zúčtovací vrstvu“ (USL), o jejíž vytvoření usiluje Pi Squared.
Za prvé je důležité poznamenat, že Pi Squared se nezaměřuje přímo na koncové uživatele, ale spíše poskytuje produkty pro různé kryptografické a vývojářské komunity.
Cílem Pi Squared je vytvořit USL, který zjednodušuje interoperabilitu mezi blockchainy, jazyky a aplikacemi a eliminuje potřebu tradičních, často chybových implementací jazyků, jako jsou kompilátory, překladače nebo interprety.
Zjednodušeně si jej můžete představit jako super překladač, který umožňuje různé blokové řetězce, programovací jazyky a aplikace, aby mezi sebou bezproblémově fungovaly. Vývojáři mohou snadněji vytvářet aplikace napříč řetězci a jazyky.
Zde je diagram z Webové stránky Pi Squared, který ilustruje roli tohoto superpřekladače:
- Zahájení transakce: Uživatel (např. Alice) iniciuje požadavek na transakci, například převod 1 WETH na Boba. WETH je token kompatibilní s ERC20.
- Univerzální vypořádání: Požadavek na transakci se odešle do prostředí podporujícího libovolný virtuální stroj a programovací jazyk, například EVM nebo Python. Jedná se o univerzální zúčtovací vrstvu – výpočet může být vyjádřen v libovolném jazyce nebo virtuálním stroji, pokud existuje formální specifikace pro daný jazyk nebo virtuální stroj.
- Generování důkazu: V kroku 2 je vytvořen matematický důkaz, který ověřuje správnost transakce. Tento důkaz je velmi přesný, ale může být velmi rozsáhlý.
- Ověřování důkazů: K ověření „velkého důkazu“ se používá ZK-ED (zero-knowledge – matching logic) proof checker. Tento kontrolor je malý a dokáže zpracovávat rozsáhlé paralelní úlohy.
- Komprese ZK: Nakonec je vygenerován důkaz nulové znalosti, který ověří správnost transakce. Tento důkaz nulové znalosti je malý a lze jej efektivně přenášet a ověřovat.
Výše uvedený postup tedy ukazuje, jak může jednoduchý požadavek na transakci vést k vygenerování a ověření matematických důkazů a nakonec k vytvoření menšího důkazu s nulovou znalostí, který zajistí správnost a soukromí transakce.
Z hlediska ekosystému projektu zaujímá Pi Squared střední pozici v technologickém zásobníku, nad výpočetní vrstvou a sekvenačními službami a pod vrstvou konsensu a dostupnosti dat.
Na USL Pi Squared lze nahlížet jako na optimistický rollup, který interpretuje a ověřuje správnost výpočetních transakcí a propojuje výpočetní vrstvu nad ní s vrstvou konsensu pod ní.
Kromě toho Pi Squared zmínil, že má vlastní síť s uzly, na kterých běží konsensuální protokoly, což naznačuje možný ekonomický systém založený na sázkách, který přímo souvisí s tokenem projektu. V projektových dokumentech však zatím nebyly zveřejněny žádné informace o tokenu, což ponechává prostor pro spekulace o jeho budoucnosti.
Pi Squared je stále ve fázi ověřování koncepce. Profesor Rosu uvedl, že projekt vstoupí do fáze testnetu do konce roku 2024. V současné době se nachází ve fázi zahřívání a propagace, přičemž nejsou k dispozici žádné aktivity ani úkoly, kterých by se bylo možné zúčastnit.
Projekt budeme i nadále sledovat. Bez ohledu na případné výzvy k nepřevzetí se vždy najdou příležitosti, kterých se vyplatí zúčastnit.