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 marketinguChris HazeltonPi Squared Incmedia@pi2.network
Wpis 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 na CaptainAltcoin.