Champaign, Illinois, États-Unis, 2 juillet 2024, Chainwire

Pi Squared, (Proof of Proof), a annoncé la clôture de sa première augmentation de capital. Dirigé par Polychain Capital, le syndicat comprend ABCDE, Bloccelerate, Generative Ventures, Robot Ventures et Samsung Next. Les investisseurs providentiels comprennent Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju et Common Prefix.

En utilisant la technologie zéro connaissance (ZK) d'une manière correcte par construction et fondamentalement unique, Pi Squared permettra l'informatique à distance sans confiance, l'IA et les contrats intelligents interopérables pour toute blockchain ou dApp. Cela sera rendu possible grâce à la création d'un circuit ZK universel et d'une taille désarmante qui vérifie l'intégrité des preuves mathématiques, qui fournira des garanties d'exactitude informatique vérifiables à tous les langages et machines virtuelles (VM) directement à partir de leur sémantique formelle, sans aucun traduction vers un langage commun, une VM ou une architecture de jeu d'instructions (ISA).

« Notre mission est de révolutionner l'informatique vérifiable, en la rendant universelle pour tous les langages et machines virtuelles, intrinsèquement correcte par construction et ultra-rapide », déclare Grigore Roșu, PDG de Pi Squared et professeur d'informatique à l'Université de l'Illinois à Urbana-Champaign. . «Cela aura de nombreuses applications, y compris une couche de règlement universelle (USL) afin que toutes les blockchains, L1 et L2, puissent être universelles, correctes, interopérables et efficaces. Cela ne s’arrête pas là, notre mission à long terme est d’établir toute la science et les connaissances sur l’USL. » 

« La technologie de preuve de preuve de Pi Squared aura un impact transformateur sur le Web3 et au-delà », a déclaré Karthik Raju, généraliste chez Polychain Capital. "Le circuit ZK universel de Pi Squared augmentera considérablement la portée et l'applicabilité du Web3 pour tout le monde, des constructeurs aux utilisateurs finaux."

Pi Squared permettra la prochaine génération d’informatique vérifiable, universelle et évolutive avec une base de confiance minimale optimale. Le premier produit alimenté par Pi Squared est l'Universal Settlement Layer (USL), une architecture pour blockchains modulaires qui permet les caractéristiques suivantes :

Universalité

Les calculs peuvent être exprimés dans n’importe quel langage de haut niveau ou de machine virtuelle, sans avoir besoin de compilateurs ou de traducteurs.

Exactitude prouvable

Les calculs vérifiés par l'USL sont mathématiquement prouvés et toute entité externe peut vérifier de manière indépendante l'exactitude de l'état de l'USL.

Minimalité de la base de confiance

USL expose toutes les hypothèses de confiance dans les calculs de couche supérieure pour une transparence accrue, une sensibilisation de l'utilisateur final et minimisera la base de confiance grâce à des preuves d'exactitude.

Interopérabilité des applications

L'USL prendra en charge l'interopérabilité entre différents modules d'application et réseaux (par exemple, les chaînes d'applications). 

Déterminisme et reproductibilité

La validation est reproductible et vérifiable indépendamment par toute entité externe.

L'USL de Pi Squared fournit donc des garanties d'exactitude de bout en bout pour les calculs génériques tout en minimisant la base de confiance sous-jacente à ces calculs. USL promeut l'informatique vérifiable en tant que paradigme informatique distribué standard sans exiger ni promouvoir des langages spécifiques à un domaine (DSL), des machines virtuelles ou des environnements d'exécution particuliers, tout en étant efficace et évolutif.

Pi Squared présentera et exposera lors d'événements autour d'EthCC à Bruxelles du 8 au 11 juillet. Les participants peuvent écouter le PDG de Pi Squared, Grigore Roșu, s'exprimer lors du Resttaking & Infra Day le 8 juillet et de L2con le 9 juillet.

À propos de Pi au carré

Pi Squared signifie preuves ZK de preuves mathématiques. Pi Squared utilise la technologie ZK d'une manière correcte par construction et fondamentalement unique. Un circuit ZK universel et d'une taille désarmante offre des garanties d'exactitude informatique vérifiables à tous les langages et machines virtuelles, sans aucune traduction vers un langage commun, une VM ou un ISA. Pi Squared est dirigé par le professeur Grigore Rosu de l'UIUC, fondateur du framework K et de Runtime Verification, et se compose de chercheurs et fondateurs de projets réussis dans les domaines des méthodes formelles, de la blockchain et de l'IA/ML.

Pour réserver une réunion avec le PDG et l'équipe de Pi Squared, les participants peuvent contacter contact@pi2.network. 

Pour en savoir plus sur la vision et la preuve de preuve de Pi Squared, visitez pi2.network et suivez Pi Squared sur les réseaux sociaux.

Contact

Responsable du marketingChris HazeltonPi Squared Incmedia@pi2.network

Le post Pi Squared lève 12,5 millions de dollars en financement de démarrage dirigé par Polychain Capital pour construire un circuit ZK universel alimenté par une preuve de preuve apparaît en premier sur CaptainAltcoin.