Champaign, Illinois, Spojené státy americké, 2. července 2024, Chainwire

Pi Squared, (Proof of Proof), oznámil uzavření svého prvního navýšení kapitálu. Syndikát vedený Polychain Capital zahrnuje ABCDE, Bloccelerate, Generative Ventures, Robot Ventures a Samsung Next. Andělští investoři zahrnují Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju a Common Prefix.

Pomocí technologie zero-knowledge (ZK) správným a zásadně jedinečným způsobem umožní Pi Squared důvěryhodné vzdálené výpočty, AI a interoperabilní chytré smlouvy pro jakýkoli blockchain nebo dApp. To bude umožněno vytvořením univerzálního a odzbrojujícího malého okruhu ZK, který kontroluje integritu matematických důkazů, což bude poskytovat ověřitelné záruky správnosti výpočetní techniky všem jazykům a virtuálním strojům (VM) podobně přímo z jejich formální sémantiky, bez jakékoli překlad do společného jazyka, virtuálního počítače nebo architektury instrukční sady (ISA).

„Naším posláním je revolucionizovat ověřitelné výpočty, učinit je univerzálními pro všechny jazyky a virtuální stroje, přirozeně správné z hlediska konstrukce a bleskově rychlé,“ říká Grigore Roșu, generální ředitel Pi Squared a CS Professor na University of Illinois Urbana-Champaign. . „Bude to mít mnoho aplikací, včetně univerzální vrstvy vypořádání (USL), takže všechny blockchainy, L1 a L2, mohou být univerzální, správné, interoperabilní a efektivní. Tím to nekončí, naším dlouhodobým posláním je usadit veškerou vědu a znalosti na USL.“ 

„Technologie Pi Squared proof of proof bude mít transformační dopad na Web3 i mimo něj,“ řekl Karthik Raju, GP společnosti Polychain Capital. „Univerzální obvod ZK Pi Squared výrazně zvýší dosah a použitelnost Web3 pro každého, od stavitelů po koncové uživatele.“

Pi Squared umožní novou generaci ověřitelných výpočtů, které jsou univerzální a škálovatelné s optimálně minimální důvěryhodnou základnou. První produkt založený na Pi Squared je Universal Settlement Layer (USL), architektura pro modulární blockchainy, která umožňuje následující vlastnosti:

Univerzálnost

Výpočty mohou být vyjádřeny v jakémkoli vysokoúrovňovém nebo virtuálním strojovém jazyce bez potřeby kompilátorů nebo překladačů.

Prokazatelná správnost

Výpočty ověřené USL jsou matematicky prokázány jako správné a správnost stavu USL si může nezávisle ověřit každý externí subjekt.

Trust Base Minimalita

USL odhaluje jakékoli předpoklady důvěry ve výpočtech vyšší vrstvy pro zvýšení transparentnosti, informovanosti koncových uživatelů a minimalizuje důvěryhodnost prostřednictvím důkazů správnosti.

Interoperabilita aplikací

USL bude podporovat interoperabilitu mezi různými aplikačními moduly a sítěmi (např. 

Determinismus a reprodukovatelnost

Validace je reprodukovatelná a nezávisle ověřitelná jakýmkoli externím subjektem.

Pi Squared's USL proto poskytuje end-to-end záruky správnosti pro generické výpočty a zároveň minimalizuje důvěryhodnou základnu, která je základem těchto výpočtů. USL podporuje ověřitelné výpočty jako standardní distribuované výpočetní paradigma bez nutnosti nebo podpory konkrétních doménově specifických jazyků (DSL), virtuálních počítačů nebo prováděcích prostředí, přičemž je to vše efektivní a škálovatelné.

Pi Squared bude prezentovat a vystavovat na akcích kolem EthCC v Bruselu od 8. do 11. července. Účastníci si mohou poslechnout vystoupení generálního ředitele Pi Squared Grigora Roșua na Restaking & Infra Day 8. července a L2con 9. července.

O Pi Squared

Pi Squared znamená ZK důkazy matematických důkazů. Pi Squared využívá technologii ZK ve správné konstrukci a v zásadě jedinečným způsobem. Univerzální a odzbrojující malý obvod ZK poskytuje ověřitelné záruky správnosti výpočtu pro všechny jazyky i virtuální počítače, bez jakéhokoli překladu do společného jazyka, virtuálního počítače nebo ISA. Pi Squared vede profesor UIUC Grigore Rosu, zakladatel frameworku K a Runtime Verification, a skládá se z výzkumníků a zakladatelů úspěšných projektů v oblasti formálních metod, blockchainu a AI/ML.

Chcete-li si rezervovat schůzku s generálním ředitelem a týmem Pi Squared, mohou se účastníci obrátit na contact@pi2.network. 

Chcete-li se dozvědět více o vizi Pi Squared a Proof of Proof, navštivte pi2.network a sledujte Pi Squared na sociálních sítích.

Kontakt

Vedoucí marketingu
Chris Hazelton
Společnost Pi Squared Inc
media@pi2.network