Pi au carré, un L’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 d’amorçage mené par Polychain Capital.
Ont participé à ce tour 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 servira à développer les produits que l’entreprise prévoit 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 fait 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 « un calcul à 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ésarmant de petite taille qui vérifie l’intégrité des preuves mathématiques, ce qui fournira des garanties d’exactitude informatique vérifiables à tous les langages et machines virtuelles (VM) directement à partir de leur sémantique formelle, sans aucune traduction vers un langage commun, une VM ou une architecture de jeu d’instructions (ISA) », selon la société.
Pi Squared est encore en phase de preuve de concept. Rosu a déclaré que le projet devrait être en testnet d’ici la fin de 2024.