Interpretacja kwadratu liczby Pi: Prowadzony przez elity akademickie z najlepszych uniwersytetów

Podczas gdy BTC doświadczał trendu spadkowego w ciągu ostatnich kilku dni, rynek pierwotny nadal ujawniał znaczące transakcje finansowe. Oprócz 85 milionów dolarów zebranych przez giganta AI Sentiment, innym godnym uwagi projektem finansowym w tym tygodniu jest Pi Squared, związany z technologią ZK.

2 lipca Pi Squared ogłosiło, że pozyskało 12 milionów dolarów finansowania zalążkowego prowadzonego przez Polychain Capital, z udziałem ABCDE, Bloccelerate, Generative Ventures, Robot Ventures i Samsung Next. Wśród inwestorów-aniołów znaleźli się Justin Drake z Fundacji Ethereum i Sreeram Kanaan, założyciel EigenLayer.

Z publicznie dostępnych informacji wynika, że nazwa Pi Squared sugeruje głębokie implikacje matematyczne, a nieskończona natura kwadratu liczby pi tworzy poczucie technicznej głębi i tajemnicy. Sam projekt koncentruje się na budowaniu „uniwersalnych obwodów ZK” i „uniwersalnej warstwy rozliczeniowej”, często opisywanych w sposób trudny do zrozumienia, nawet jeśli słowa są znajome.

Pomimo wzniosłego i pozornie niezrozumiałego charakteru projektu, połączenie głośnych VC i znanych osób jako aniołów biznesu sprawia, że Pi Squared jest trudny do zignorowania. Czym więc dokładnie jest Pi Squared?

Pi Squared: Prowadzony przez elity akademickie z najlepszych uniwersytetów

Rysowanie kwadratu liczby Pi na tablicy może być dla wielu zaskakujące, ale gdy robią to elity akademickie, efekt jest zupełnie inny.

Pi Squared jest prowadzony przez Grigore Rosu, profesora informatyki na Uniwersytecie Illinois Urbana-Champaign (UIUC), który pełni również funkcję CEO projektu.

W 2014 roku Grigore Rosu został profesorem zwyczajnym na UIUC, specjalizując się w weryfikacji formalnej i weryfikacji w czasie wykonywania. Mówiąc prościej, weryfikacja formalna polega na wykorzystaniu metod matematycznych do udowodnienia poprawności oprogramowania i systemów sprzętowych, zapewniając ich prawidłowe działanie w różnych warunkach. Z kolei weryfikacja w czasie wykonywania obejmuje monitorowanie zachowania systemu w czasie rzeczywistym w celu zwiększenia stabilności i bezpieczeństwa.

Według Wikipedii, profesor Grigore Rosu opublikował wiele artykułów, które otrzymały najwyższe nagrody od Association for Computing Machinery (ACM) i International Conference on Automated Software Engineering (ASE).

Ale co to ma wspólnego z projektem kryptowalutowym?

Jeśli spojrzeć na główny opis biznesowy Pi Squared, okaże się, że wykorzystuje on technologię zero-knowledge proof (ZK) do weryfikacji poprawności wykonania dowolnego programu, niezależnie od używanego języka programowania (PL) lub maszyny wirtualnej (VM). Zapewnia ona uniwersalną i skuteczną metodę weryfikacji mającą na celu osiągnięcie płynnej interoperacyjności między blockchainami, językami i aplikacjami.

Doskonale współgra to z doświadczeniem profesora Grigore Rosu w zakresie weryfikacji, dzięki czemu jest to idealne zastosowanie jego wiedzy akademickiej.

USL: Ułatwienie rozliczania transakcji systemowych

Przyjrzyjmy się bliżej „uniwersalnej warstwie rozliczeniowej” (USL), którą Pi Squared chce stworzyć.

Po pierwsze, ważne jest, aby pamiętać, że Pi Squared nie jest bezpośrednio skierowany do użytkowników końcowych, ale raczej dostarcza produkty dla różnych społeczności kryptowalut i programistów.

Celem Pi Squared jest stworzenie USL, które upraszcza interoperacyjność między blockchainami, językami i aplikacjami, eliminując potrzebę tradycyjnych, często podatnych na błędy implementacji językowych, takich jak kompilatory, tłumacze lub interpretery.

Aby zrozumieć to w prosty sposób, można myśleć o nim jako o super tłumaczu, który pozwala różnym blockchainy, języki programowania i aplikacje, aby płynnie ze sobą współpracowały. Programiści mogą łatwiej tworzyć aplikacje międzyłańcuchowe i międzyjęzykowe.

Oto diagram z strony Pi Squared ilustrujący rolę tego super tłumacza:

1. Inicjowanie transakcji: Użytkownik (np. Alice) inicjuje żądanie transakcji, takie jak przekazanie 1 WETH do Boba. WETH jest tokenem zgodnym z ERC20.
2. Rozliczenie uniwersalne: Żądanie transakcji jest przesyłane do środowiska obsługującego dowolną maszynę wirtualną i język programowania, taki jak EVM lub Python. Jest to uniwersalna warstwa rozliczeniowa – obliczenia mogą być wyrażone w dowolnym języku lub maszynie wirtualnej, o ile istnieje formalna specyfikacja dla tego konkretnego języka lub maszyny wirtualnej.
3. Generowanie dowodu: W kroku 2 generowany jest dowód matematyczny w celu zweryfikowania poprawności transakcji. Dowód ten jest bardzo precyzyjny, ale może być bardzo duży.
4. Weryfikacja dowodu: ZK-ED (zero-knowledge – matching logic) proof checker jest używany do weryfikacji „dużego dowodu”. Jest on niewielki i może przetwarzać równoległe zadania na dużą skalę.
5. Kompresja ZK: Na koniec generowany jest dowód zerowej wiedzy w celu zweryfikowania poprawności transakcji. Ten dowód zerowej wiedzy jest niewielki i może być skutecznie przesyłany i weryfikowany.

W ten sposób powyższy proces pokazuje, w jaki sposób proste żądanie transakcji może prowadzić do generowania i weryfikacji dowodów matematycznych, ostatecznie tworząc mniejszy dowód zerowej wiedzy, aby zapewnić poprawność i prywatność transakcji.

Z perspektywy ekosystemu projektu, Pi Squared zajmuje środkową pozycję w stosie technologicznym, powyżej warstwy obliczeniowej i usług sekwencjonowania oraz poniżej warstwy konsensusu i dostępności danych.

USL Pi Squared można postrzegać jako optymistyczny rollup, który interpretuje i weryfikuje poprawność transakcji obliczeniowych, łącząc warstwę obliczeniową powyżej z warstwą konsensusu poniżej.

Co więcej, Pi Squared wspomina o posiadaniu własnej sieci z węzłami obsługującymi protokoły konsensusu, co sugeruje możliwy system ekonomiczny oparty na stakingu bezpośrednio związany z tokenem projektu. Jak dotąd w dokumentach projektu nie ujawniono jednak żadnych informacji na temat tokena, pozostawiając pole do spekulacji na temat jego przyszłości.

Pi Squared wciąż znajduje się w fazie proof-of-concept. Profesor Rosu stwierdził, że projekt wejdzie w fazę testową do końca 2024 roku. Obecnie znajduje się na etapie rozgrzewki i promocji, bez żadnych działań ani zadań dostępnych do udziału.

Będziemy nadal monitorować ten projekt. Niezależnie od wezwań do unikania przejęcia, zawsze będą możliwości, w których warto uczestniczyć.