Champaign, Illinois, Stany Zjednoczone, 2 lipca 2024 r., Chainwire

Pi Squared (dowód dowodu) ogłosił zamknięcie pierwszego podwyższenia kapitału. Syndykat kierowany przez Polychain Capital obejmuje ABCDE, Bloccelerate, Generative Ventures, Robot Ventures i Samsung Next. Do inwestorów aniołów zaliczają się Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju i Common Prefix.

Wykorzystując technologię wiedzy zerowej (ZK) w poprawny w konstrukcji i zasadniczo unikalny sposób, Pi Squared umożliwi zdalne przetwarzanie bez zaufania, sztuczną inteligencję i interoperacyjne inteligentne kontrakty dla dowolnego blockchaina lub dApp. Stanie się to możliwe poprzez stworzenie uniwersalnego i rozbrajająco małego obwodu ZK sprawdzającego integralność dowodów matematycznych, który zapewni weryfikowalne gwarancje poprawności obliczeniowej dla wszystkich języków i maszyn wirtualnych (VM) bezpośrednio z ich formalnej semantyki, bez żadnych tłumaczenie na wspólny język, maszynę wirtualną lub architekturę zestawu instrukcji (ISA).

„Naszą misją jest zrewolucjonizowanie weryfikowalnego przetwarzania danych, uczynienie go uniwersalnym dla wszystkich języków i maszyn wirtualnych, z natury poprawnym w konstrukcji i błyskawicznym” – mówi Grigore Roșu, dyrektor generalny Pi Squared i profesor CS na Uniwersytecie Illinois Urbana-Champaign . „Będzie to miało wiele zastosowań, w tym uniwersalną warstwę rozliczeniową (USL), dzięki czemu wszystkie łańcuchy bloków L1 i L2 będą uniwersalne, poprawne, interoperacyjne i wydajne. Na tym się nie kończy, naszą długoterminową misją jest osadzenie całej nauki i wiedzy na USL.” 

„Technologia dowodu Pi Squared będzie miała rewolucyjny wpływ na Web3 i poza nią” – powiedział Karthik Raju, dyrektor generalny w Polychain Capital. „Uniwersalny obwód ZK Pi Squared znacznie zwiększy zasięg i możliwość zastosowania Web3 dla wszystkich, od konstruktorów po użytkowników końcowych”.

Pi Squared umożliwi następną generację weryfikowalnych obliczeń, które będą uniwersalne i skalowalne przy optymalnie minimalnej bazie zaufania. Pierwszym produktem obsługiwanym przez Pi Squared jest Universal Settlement Layer (USL), architektura modułowych łańcuchów bloków, która umożliwia następujące cechy:

Uniwersalność

Obliczenia można wyrazić w dowolnym języku wysokiego poziomu lub języku maszyny wirtualnej, bez potrzeby stosowania kompilatorów i tłumaczy.

Udowodniona poprawność

Obliczenia zweryfikowane przez USL są matematycznie udowodnione, że są poprawne, a każdy podmiot zewnętrzny może samodzielnie zweryfikować poprawność stanu USL.

Minimalność bazy zaufania

USL ujawnia wszelkie założenia dotyczące zaufania w obliczeniach wyższej warstwy, co zapewnia większą przejrzystość i świadomość użytkownika końcowego, a także minimalizuje bazę zaufania poprzez dowody poprawności.

Interoperacyjność aplikacji

USL będzie wspierać interoperacyjność pomiędzy różnymi modułami aplikacji i sieciami (np. łańcuchami aplikacji). 

Determinizm i odtwarzalność

Walidacja jest powtarzalna i możliwa do niezależnej weryfikacji przez dowolny podmiot zewnętrzny.

Dlatego też USL firmy Pi Squared zapewnia kompleksową gwarancję poprawności obliczeń ogólnych, minimalizując jednocześnie bazę zaufania leżącą u podstaw tych obliczeń. USL promuje weryfikowalne przetwarzanie danych jako standardowy paradygmat przetwarzania rozproszonego, bez wymagania lub promowania określonych języków specyficznych dla domeny (DSL), maszyn wirtualnych lub środowisk wykonawczych, a jednocześnie jest wydajny i skalowalny.

Pi Squared będzie prezentować i wystawiać się na wydarzeniach wokół EthCC w Brukseli od 8 do 11 lipca. Uczestnicy mogą posłuchać przemówień dyrektora generalnego Pi Squared, Grigore’a Roșu, podczas Restaking & Infra Day 8 lipca i L2con 9 lipca.

O pi do kwadratu

Pi Squared oznacza ZK dowody dowodów matematycznych. Pi Squared wykorzystuje technologię ZK w sposób zgodny z konstrukcją i zasadniczo unikalny. Uniwersalny i rozbrajająco mały obwód ZK zapewnia weryfikowalne gwarancje poprawności obliczeń dla wszystkich języków i maszyn wirtualnych, bez konieczności tłumaczenia na wspólny język, maszynę wirtualną lub ISA. Pi Squared jest kierowany przez profesora UIUC Grigore Rosu, założyciela frameworka K i Runtime Verification, i składa się z badaczy i założycieli udanych projektów w zakresie metod formalnych, blockchain i AI/ML.

Aby zarezerwować spotkanie z dyrektorem generalnym i zespołem Pi Squared, uczestnicy mogą skontaktować się z nami pod adresem contact@pi2.network. 

Aby dowiedzieć się więcej o wizji Pi Squared i Proof of Proof, odwiedź pi2.network i śledź Pi Squared w mediach społecznościowych.

Kontakt

Szef marketingu
Chrisa Hazeltona
Pi Squared Inc
media@pi2.network

Post Pi Squared zbiera 12,5 miliona dolarów z funduszy zalążkowych pod przewodnictwem Polychain Capital na budowę uniwersalnego obwodu ZK zasilanego metodą Proof of Proof pojawił się jako pierwszy w Blockonomi.