Analyse de Pi² : une couche de règlement généralisée basée sur la ZK, dirigée par d'éminents universitaires et ayant levé 12 millions de dollars
TechFlow SélectionTechFlow Sélection
Analyse de Pi² : une couche de règlement généralisée basée sur la ZK, dirigée par d'éminents universitaires et ayant levé 12 millions de dollars
L'origine de ce carré de la faction, c'est quoi exactement ?
Dédié à des analyses Web3 approfondiesRédaction : TechFlow
Le marché n’a pas l’air d’un marché haussier, et les levées de fonds ne ressemblent pas non plus à celles d’un marché baissier.
Alors que le BTC connaît ces derniers jours une chute continue, le marché primaire voit affluer régulièrement des annonces de financements importants.
Outre Sentiment, la bête de l’IA ayant levé 85 millions de dollars (voir : Valeur relationnelle de 85 millions ? Analyse du projet IA à financement massif mené par un cofondateur de Polygon), un autre projet marquant cette semaine est Pi Squared, lié à la technologie ZK.
Le 2 juillet, Pi Squared a annoncé avoir levé 12 millions de dollars lors d’un tour de financement initial (seed round) dirigé par Polychain Capital, avec la participation d’organismes tels qu’ABCDE, Bloccelerate, Generative Ventures, Robot Ventures et Samsung Next.
Les investisseurs individuels incluent notamment Justin Drake, de la Fondation Ethereum, et Sreeram Kannan, fondateur d’EigenLayer.
D’après les informations publiques, le nom « Pi Squared » (Pi au carré) évoque fortement des concepts mathématiques profonds. Ajouter un carré à pi, ce nombre décimal infini et cyclique, donne une impression de technicité rigoureuse et mystérieuse.
Quant au projet lui-même, il se concentre sur la construction de « circuits ZK universels » et d’une « couche de règlement universelle », offrant cette sensation familière où « tous les mots sont compréhensibles mais l’ensemble reste obscur ».
Encore une infrastructure exigeante, encore centrée sur la technologie ZK – gage de valorisation élevée –, avec en prime un aréopage de grands VC et d’investisseurs prestigieux...
Même si rejeter systématiquement les projets élites ne garantit pas d’éviter les pertes, ignorer purement et simplement les nouveaux projets bien financés serait tout aussi imprudent.
Mais alors, qui se cache derrière ce Pi au carré ?
Pi Squared, mené par des sommités académiques de grandes universités
Tracer Pi² au tableau peut sembler abscons, mais lorsque c’est fait par une sommité académique, cela prend tout son sens.
En réalité, Pi Squared est dirigé par Grigore Rosu, professeur en informatique à l’Université de l’Illinois à Urbana-Champaign, qui en est également le PDG.
Depuis 2014, Grigore Rosu est professeur titulaire à cette institution, spécialisé dans la vérification formelle et la vérification à l’exécution. Pour parler plus clairement, la première consiste à utiliser des méthodes mathématiques pour prouver la justesse des logiciels et des systèmes matériels, assurant leur bon fonctionnement dans toutes les circonstances. La seconde surveille en temps réel le comportement du système afin d’en améliorer la stabilité et la sécurité.
Selon Wikipédia, plusieurs articles scientifiques du professeur Grigore Rosu ont reçu des prix prestigieux décernés par l’Association for Computing Machinery (ACM) et l’International Conference on Automated Software Engineering (ASE).
Mais quel rapport avec un projet crypto ?
Si l’on examine la présentation principale de Pi Squared, on constate qu’il utilise la technologie de preuve à connaissance nulle (ZK) pour vérifier la justesse de l’exécution de n’importe quel programme, sans dépendre d’un langage de programmation (PL) ou d’une machine virtuelle (VM) spécifique. Il propose ainsi une méthode de vérification universelle et efficace visant à permettre l’interopérabilité transparente entre blockchains, langages et applications.
Cela correspond exactement aux recherches du professeur Grigore Rosu sur la vérification, illustrant parfaitement comment ses compétences académiques trouvent ici un terrain d’application idéal.
Lorsqu’un projet technique fort est mené par une figure académique de premier plan, sa crédibilité s’en trouve naturellement renforcée.
De plus, le directeur technique (CTO) de Pi Squared, le Dr Xiaohong Chen, est diplômé de l’Université de Pékin, puis doctorant à l’Université de l’Illinois à Urbana-Champaign. Il possède également un solide bagage académique, travaille dans la même université que Grigore Rosu et partage des orientations de recherche similaires, suggérant une relation probable de mentorat ou de collégialité.
Un autre cofondateur et COO du projet, Patrick MacKay, est également diplômé de l’Université de l’Illinois à Urbana-Champaign. Il était auparavant COO de Runtime Verification, la précédente startup fondée par Grigore Rosu — une transition fluide entre ancien collègue et ancienne fonction. L’activité de cette entreprise Runtime Verification comprenait notamment l’audit de sécurité des machines virtuelles et contrats intelligents sur les blockchains publiques.
Avec une direction académique forte, des anciens collègues et alumni intégrés en douceur, le projet Pi Squared, riche à la fois en expertise académique et industrielle, n’a donc guère de mal à séduire les VC.
USL, favoriser le règlement des transactions systèmes
Examinons maintenant ce qu’est précisément cette « couche de règlement universelle » (Universal Settlement Layer, USL) que Pi Squared souhaite mettre en place.
Il faut d’abord préciser que Pi Squared ne s’adresse pas directement aux utilisateurs, mais fournit des produits aux développeurs et acteurs du secteur crypto.
L’objectif de Pi Squared est de créer une couche de règlement universelle (USL) afin de simplifier l’interopérabilité entre blockchains, langages et applications, tout en éliminant complètement le besoin d’implémentations traditionnelles de langages, souvent sujettes à erreurs (compilateurs, transpileurs ou interpréteurs).
Pour une compréhension simple, vous pouvez y voir un super traducteur qui permet aux différentes blockchains, langages de programmation et applications d’interagir de manière transparente. Les développeurs peuvent ainsi créer plus facilement des applications multi-chaînes et multi-langages.
Le schéma publié sur le site officiel de Pi Squared illustre très bien le rôle de ce super traducteur :
-
Initiation de transaction : un utilisateur (par exemple Alice) lance une demande de transaction, comme transférer 1 WETH à Bob, où WETH est un jeton conforme à la norme ERC20 ;
-
Règlement universel : la demande de transaction est soumise à un environnement pouvant supporter n’importe quelle machine virtuelle ou langage de programmation, tel qu’EVM ou Python. C’est ce qu’on appelle la couche de règlement universelle — tant que cet environnement contient une spécification formelle pour un langage ou VM donné, le calcul peut être exprimé dans n’importe quel langage ou VM. Autrement dit, aucune préférence pour une machine virtuelle ou un langage particulier.
-
Génération de preuve : une preuve mathématique est générée pour attester de la justesse de la transaction à l’étape 2. Cette preuve est extrêmement précise, mais potentiellement volumineuse.
-
Vérification de la preuve : un vérificateur basé sur ZK-ED (zéro connaissance - logique d’appariement) est ensuite utilisé pour valider cette « grande preuve ». Ce vérificateur est compact et capable de traitement massivement parallèle.
-
Compression ZK : enfin, une preuve à connaissance nulle est générée, attestant de la validité de la transaction précédente. Cette preuve ZK est petite, facile à transmettre et à vérifier.
Ce processus montre donc comment, à partir d’une simple demande de transaction, on passe par la génération et la vérification de preuves mathématiques pour aboutir à une preuve ZK plus petite, garantissant à la fois la justesse et la confidentialité de la transaction.
L’ensemble du processus supporte plusieurs langages de programmation et environnements d’exécution, offrant efficacité et absence de confiance requise. Il convient parfaitement aux scénarios d’interconnexion multi-chaînes et à toute application nécessitant une haute sécurité et protection de la vie privée.
Du point de vue de son positionnement écologique, Pi Squared occupe une place centrale dans la pile technologique. Au-dessus se trouvent la couche de calcul et les services d’ordonnancement, en dessous les couches de consensus et de disponibilité des données.
On peut considérer l’USL de Pi Squared comme une couche de type rollup optimiste, chargée d’interpréter et de valider la justesse des transactions, reliant ainsi la couche supérieure de calcul à la couche inférieure de consensus.
Par ailleurs, Pi Squared mentionne également la mise en place de son propre réseau, avec des nœuds exécutant un protocole de consensus. On peut supposer l’existence d’un système économique basé sur le staking, ce qui impliquerait directement un jeton natif pour le projet.
Toutefois, aucun détail concernant un éventuel jeton n’est pour l’instant divulgué dans la documentation. On peut seulement dire que la conception du réseau laisse une place raisonnable à un tel jeton, mais le modèle économique final dépendra des annonces futures.
Pi Squared en est encore à la phase de preuve conceptuelle. Le professeur Rosu indique que le projet entrera en testnet d’ici la fin de l’année 2024. Actuellement, il se trouve en phase de promotion et de communication, sans activité ou tâche ouverte à la participation.
Nous continuerons de suivre attentivement ce projet. Même si chacun proclame ne jamais investir dans les mêmes projets, il y aura toujours des opportunités intéressantes à saisir.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
深潮TechFlow
