Pi Squared, une entreprise qui vise à permettre l'informatique vérifiable grâce à l'utilisation d'une technologie à connaissance nulle, a annoncé mardi avoir levé 12,5 millions de dollars lors d'un tour de table mené par Polychain Capital.
Parmi les participants au cycle figurent ABCDE, Bloccelerate, Generative Ventures, Robot Ventures et Samsung Next, ainsi que des investisseurs providentiels, dont Justin Drake de la Fondation Ethereum et le fondateur d'EigenLayer, Sreeram Kanaan.
La nouvelle levée de fonds sera utilisée pour développer les produits que la société envisage de lancer.
Le premier produit de Pi Squared est sa « couche de règlement universelle », qui règle les transactions blockchain – ou comme ils les appellent, les « réclamations » – dans n'importe quel langage de programmation, a déclaré Grigore Rosu, PDG de Pi Squared, dans une interview avec CoinDesk.
Rosu est professeur d'informatique à l'Université de l'Illinois à Urbana-Champaign, et l'idée de Pi Squared est née de sa carrière universitaire.
"J'ai effectué cette recherche avec mes étudiants pendant de très nombreuses années", a déclaré Rosu à CoinDesk.
La société construit également un « circuit ZK universel », qui utilise une technologie à connaissance nulle pour permettre « une informatique à distance sans confiance, une IA et un contrat intelligent interopérable pour toute blockchain ou dApp », a écrit Pi Squared dans un communiqué de presse.
«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 toute traduction vers un langage commun, une VM ou une architecture de jeu d’instructions (ISA) », selon l’entreprise.
Pi Squared est encore dans sa phase de validation de principe. Rosu a déclaré que le projet devrait être sur testnet d'ici la fin de 2024.