Interpréter Pi au carré : Dirigée par les élites académiques des meilleures universités

Alors que le BTC a connu une tendance à la baisse ces derniers jours, le marché primaire a continué à révéler d’importantes opérations de financement. Outre les 85 millions de dollars levés par le géant de l’IA Sentiment, un autre projet de financement notable cette semaine est Pi Squared, lié à la technologie ZK.

Le 2 juillet, Pi Squared a annoncé qu’elle avait obtenu un financement de démarrage de 12 millions de dollars, mené par Polychain Capital, avec la participation d’ABCDE, Bloccelerate, Generative Ventures, Robot Ventures et Samsung Next. Parmi les investisseurs providentiels figurent Justin Drake de la Fondation Ethereum et Sreeram Kanaan, fondateur d’EigenLayer.

D’après les informations accessibles au public, le nom Pi Squared suggère de profondes implications mathématiques, la nature infinie de Pi Squared créant un sentiment de profondeur technique et de mystère. Le projet lui-même se concentre sur la construction de « circuits ZK universels » et d’une « couche de règlement universelle », souvent décrits d’une manière difficile à comprendre même si les mots sont familiers.

Malgré la nature ambitieuse et apparemment incompréhensible du projet, la combinaison de sociétés de capital-risque de premier plan et de personnes connues en tant qu’investisseurs providentiels rend Pi Squared difficile à ignorer. Alors, qu’est-ce que Pi Squared exactement ?

Pi au carré : Dirigé par des élites académiques des meilleures universités

Dessiner Pi au carré sur un tableau noir peut paraître déconcertant pour beaucoup, mais lorsque les élites universitaires le font, l’effet est tout autre.

Pi Squared est dirigé par Grigore Rosu, professeur d’informatique à l’université de l’Illinois Urbana-Champaign (UIUC), qui est également le directeur général du projet.

En 2014, Grigore Rosu est devenu professeur titulaire à l’UIUC, se spécialisant dans la vérification formelle et la vérification de l’exécution. Pour simplifier, la vérification formelle consiste à utiliser des méthodes mathématiques pour prouver l’exactitude des logiciels et des systèmes matériels, en s’assurant qu’ils fonctionnent correctement dans diverses conditions. La vérification de l’exécution, quant à elle, consiste à surveiller en temps réel le comportement du système afin d’en améliorer la stabilité et la sécurité.

Selon Wikipedia, le professeur Grigore Rosu a publié de nombreux articles qui ont reçu les plus hautes récompenses de l’Association for Computing Machinery (ACM) et de l’International Conference on Automated Software Engineering (ASE).

Mais quel est le rapport avec un projet cryptographique ?

Si vous consultez la principale description commerciale de Pi Squared, vous constaterez qu’elle utilise la technologie de preuve à connaissance nulle (ZK) pour vérifier l’exécution correcte de tout programme, quel que soit le langage de programmation (PL) ou la machine virtuelle (VM) utilisé(e). Elle fournit une méthode de vérification universelle et efficace visant à réaliser une interopérabilité transparente entre les blockchains, les langages et les applications.

Cela correspond parfaitement à l’expertise du professeur Grigore Rosu en matière de vérification, ce qui en fait une application idéale de ses connaissances académiques.

LSU : Faciliter le règlement des transactions du système

Examinons de plus près la « couche de règlement universelle » (USL) que Pi Squared vise à créer.

Tout d’abord, il est important de noter que Pi Squared ne cible pas directement les utilisateurs finaux, mais fournit plutôt des produits à diverses communautés de crypto-monnaies et de développeurs.

L’objectif de Pi Squared est de créer une LSU qui simplifie l’interopérabilité entre les blockchains, les langages et les applications, en éliminant le besoin d’implémentations de langages traditionnels, souvent sources d’erreurs, tels que les compilateurs, les traducteurs ou les interprètes.

Pour le comprendre simplement, vous pouvez le considérer comme un super traducteur qui permet à différentes blockchains, langages de programmation et applications de fonctionner de manière transparente les uns avec les autres. Les développeurs peuvent plus facilement créer des applications inter-chaînes et inter-langues.

Voici un diagramme tiré du site Pi Squared website illustrant le rôle de ce super traducteur :

1. Initier la transaction : Un utilisateur (par exemple, Alice) initie une demande de transaction, telle que le transfert de 1 WETH à Bob. WETH est un jeton conforme à la norme ERC20.
2. Règlement universel : La demande de transaction est soumise à un environnement prenant en charge n’importe quelle machine virtuelle et n’importe quel langage de programmation, comme EVM ou Python. Il s’agit de la couche de règlement universelle – le calcul peut être exprimé dans n’importe quel langage ou machine virtuelle tant qu’il existe une spécification formelle pour ce langage ou cette machine virtuelle.
3. Générer une preuve : Pour l’étape 2, une preuve mathématique est générée pour vérifier l’exactitude de la transaction. Cette preuve est très précise mais peut être très volumineuse.
4. Vérification des preuves : Un vérificateur de preuves ZK-ED (zero-knowledge – matching logic) est utilisé pour vérifier la « grande preuve ». Ce vérificateur est petit et peut traiter des tâches parallèles à grande échelle.
5. ZK Compression : Enfin, une preuve à connaissance nulle est générée pour vérifier l’exactitude de la transaction. Cette preuve est de petite taille et peut être transmise et vérifiée efficacement.

Ainsi, le processus ci-dessus montre comment une simple demande de transaction peut conduire à la génération et à la vérification de preuves mathématiques, pour finalement produire une preuve à connaissance nulle plus petite afin de garantir l’exactitude et la confidentialité de la transaction.

Du point de vue de l’écosystème du projet, Pi Squared occupe une position intermédiaire dans la pile technologique, au-dessus de la couche de calcul et des services de séquençage et au-dessous de la couche de consensus et de disponibilité des données.

La LSU de Pi Squared peut être perçue comme un rollup optimiste qui interprète et vérifie l’exactitude des transactions de calcul, reliant la couche de calcul supérieure à la couche de consensus inférieure.

En outre, Pi Squared a mentionné qu’il disposait de son propre réseau avec des nœuds exécutant des protocoles de consensus, ce qui suggère un éventuel système économique basé sur l’enjeu directement lié au jeton du projet. Cependant, aucune information sur le jeton n’a été divulguée dans les documents du projet jusqu’à présent, ce qui laisse place à la spéculation quant à son avenir.

Pi Squared en est encore au stade de la preuve de concept. Le professeur Rosu a déclaré que le projet entrerait dans la phase de testnet d’ici à la fin de 2024. Actuellement, il en est au stade de l’échauffement et de la promotion, et aucune activité ou tâche n’est disponible pour la participation.

Nous continuerons à suivre le projet. Indépendamment des appels à ne pas prendre le relais, il y aura toujours des opportunités auxquelles il vaudra la peine de participer.