[COMUNICATO STAMPA – Champaign, Illinois, Stati Uniti, 2 luglio 2024]
Pi Squared , (Proof of Proof), ha annunciato la chiusura del loro primo aumento di capitale. Guidato da Polychain Capital, il sindacato comprende ABCDE, Bloccelerate, Generative Ventures, Robot Ventures e Samsung Next. Gli investitori angelici includono Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju e Common Prefix.
Utilizzando la tecnologia a conoscenza zero (ZK) in un modo corretto per costruzione e fondamentalmente unico, Pi Squared consentirà il computing remoto trustless, l'intelligenza artificiale e contratti intelligenti interoperabili per qualsiasi blockchain o dApp. Ciò sarà reso possibile attraverso la creazione di un circuito ZK universale e di dimensioni disarmanti che verifichi l’integrità delle dimostrazioni matematiche, che fornirà garanzie di correttezza computazionale verificabile a tutti i linguaggi e alle macchine virtuali (VM) direttamente dalla loro semantica formale, senza alcuna traduzione in un linguaggio comune, VM o architettura del set di istruzioni (ISA).
"La nostra missione è rivoluzionare il calcolo verificabile, rendendolo universale per tutti i linguaggi e le macchine virtuali, intrinsecamente corretto per costruzione e velocissimo", afferma Grigore Roșu, CEO di Pi Squared e professore di informatica presso l'Università dell'Illinois Urbana-Champaign . “Ciò avrà molte applicazioni, incluso un livello di regolamento universale (USL) in modo che tutte le Blockchain, L1 e L2, possano essere universali, corrette, interoperabili ed efficienti. Ma non finisce qui, la nostra missione a lungo termine è quella di depositare tutta la scienza e la conoscenza sulla USL”.
"La tecnologia di prova di Pi Squared avrà un impatto trasformativo su Web3 e oltre", ha affermato Karthik Raju, GP di Polychain Capital. "Il circuito ZK universale di Pi Squared aumenterà in modo significativo la portata e l'applicabilità di Web3 per tutti, dai costruttori agli utenti finali."
Pi Squared consentirà la prossima generazione di elaborazione verificabile, universale e scalabile con una base di fiducia minima ottimale. Il primo prodotto basato su Pi Squared è l'Universal Settlement Layer (USL), un'architettura per blockchain modulari che consente le seguenti caratteristiche:
Universalità
I calcoli possono essere espressi in qualsiasi linguaggio di macchina virtuale o di alto livello, senza la necessità di compilatori o traduttori.
Correttezza dimostrabile
I calcoli verificati dall'USL sono matematicamente corretti e qualsiasi ente esterno può verificare autonomamente la correttezza dello stato dell'USL.
Minimità della base di fiducia
L'USL espone qualsiasi presupposto di fiducia nei calcoli di livello superiore per una maggiore trasparenza e consapevolezza dell'utente finale e ridurrà al minimo la base di fiducia attraverso prove di correttezza.
Interoperabilità dell'app
L'USL supporterà l'interoperabilità tra diversi moduli applicativi e reti (ad esempio appchain).
Determinismo e riproducibilità
La validazione è riproducibile e verificabile in modo indipendente da qualsiasi entità esterna.
L'USL di Pi Squared fornisce quindi garanzie di correttezza end-to-end per calcoli generici, riducendo al minimo la base di fiducia alla base di questi calcoli. USL promuove il calcolo verificabile come paradigma di calcolo distribuito standard senza richiedere o promuovere particolari linguaggi specifici del dominio (DSL), VM o ambienti di esecuzione, il tutto pur essendo efficiente e scalabile.
Pi Squared presenterà ed esporrà agli eventi intorno all'EthCC a Bruxelles dall'8 all'11 luglio. I partecipanti possono ascoltare il CEO di Pi Squared, Grigore Roșu, parlare al Restaking & Infra Day l'8 luglio e al L2con il 9 luglio.
Informazioni su Pi quadrato
Pi quadrato significa dimostrazioni ZK di dimostrazioni matematiche. Pi Squared utilizza la tecnologia ZK in un modo corretto per costruzione e fondamentalmente unico. Un circuito ZK universale e di dimensioni disarmanti fornisce garanzie di correttezza informatica verificabile a tutte le lingue e VM allo stesso modo, senza alcuna traduzione in una lingua comune, VM o ISA. Pi Squared è guidato dal professore UIUC Grigore Rosu, fondatore del framework K e di Runtime Verification, ed è composto da ricercatori e fondatori di progetti di successo in metodi formali, blockchain e AI/ML.
Per prenotare un incontro con il CEO e il team di Pi Squared, i partecipanti possono contattare [email protected] .
Per saperne di più sulla visione di Pi Squared e sulla prova della prova, visita pi2.network e segui Pi Squared sui social media .
Il post Pi Squared raccoglie 12,5 milioni di dollari in finanziamenti iniziali guidati da Polychain Capital per costruire un circuito ZK universale alimentato da Proof of Proof è apparso per la prima volta su CryptoPotato .