Écrit par : Shenchao TechFlow
Le marché n'est pas comme un marché haussier, et le financement n'est pas comme un marché baissier.
Alors que le BTC n’a cessé de baisser ces derniers jours, le marché primaire continue de révéler des informations sur des financements à grande échelle.
En plus du géant de l'IA Sentiment, qui a levé 85 millions de dollars de financement (pour plus de détails, voir : Une connexion vaut-elle 85 millions ? Une brève analyse du projet d'IA extrêmement financé Sentient dirigé par Polygon Lianchuang), un autre projet de financement digne de l'attention cette semaine est liée à ZK Pi Squared.
Le 2 juillet, Pi Squared a annoncé avoir reçu 12 millions de dollars américains dans le cadre d'un financement d'amorçage mené par Polychain Capital, avec la participation d'institutions telles que ABCDE, Bloccelerate, Generative Ventures, Robot Ventures et Samsung Next ;
Les investisseurs providentiels comprennent Justin Drake de la Fondation Ethereum et Sreeram Kanaan, fondateur d'EigenLayer.
À en juger par les informations publiques, le nom de Pi Squared (le carré de Pi) a une profonde signification mathématique. La boucle infinie de pi plus le carré crée un habitat technologique dur et mystérieux ;
Le projet lui-même se concentre sur la construction d'un « circuit ZK universel » et d'une « couche de règlement universelle », et on a l'impression que « vous connaissez tous les mots mais ne pouvez tout simplement pas comprendre » à la lecture de l'introduction.
Il s'agit toujours d'une infrastructure sophistiquée, il s'agit toujours de ZK avec sa propre valorisation élevée, plus un certain nombre de grandes sociétés de capital-risque et de personnalités célèbres agissant en tant qu'investisseurs providentiels...
Même si brandir haut le drapeau des projets anti-high-tech ne garantit pas que vous ne perdrez pas d’argent, il n’est pas sage d’ignorer directement les nouveaux projets disposant d’un financement suffisant.
Quelle est l'origine du carré de cette tarte ?
Le carré de tarte, dirigé par des dirigeants académiques d'universités célèbres
Si vous dessinez le carré d’un gâteau sur le tableau noir, bien sûr, cela rendra les gens confus ; mais si un leader universitaire dessine le même carré, l’effet sera complètement différent ;
Pi Squared est en fait dirigé par Grigore Rosu, professeur d'informatique à l'Université de l'Illinois à Urbana-Champaign, qui est également le PDG du projet.
Grigore Rosu est professeur à l'école depuis 2014 et se concentre sur les domaines de la vérification formelle et de la vérification d'exécution. Pour le dire plus simplement, le premier est l'étude de l'utilisation de méthodes mathématiques pour prouver l'exactitude des systèmes logiciels et matériels afin de garantir. qu'ils fonctionnent dans diverses circonstances. Les deux peuvent fonctionner normalement, et ce dernier surveille le comportement du système en temps réel pour améliorer la stabilité et la sécurité du système.
Wikipédia montre que de nombreux articles du professeur Grigore Rosu ont également remporté les meilleurs prix de l'Association for Computing Machinery et de l'Association internationale pour l'ingénierie logicielle automatique.
Mais qu’est-ce que cela a à voir avec les projets de chiffrement ?
Si vous regardez l'introduction commerciale principale de Pi Squared, vous constaterez qu'il utilise la technologie de preuve de connaissance nulle (ZK) pour vérifier l'exactitude de l'exécution de tout programme sans s'appuyer sur un langage de programmation (PL) ou une machine virtuelle spécifique ( VM), et fournit une méthode de vérification polyvalente et efficace conçue pour permettre une interopérabilité transparente des blockchains, des langages et des applications.
Cela coïncide avec l’orientation de recherche mentionnée ci-dessus du professeur Grigore Rosu sur la vérification, et c’est également là que la technologie du master académique entre en jeu.
Si un leader académique dirige une équipe pour développer un projet avec une solide expérience technique, la crédibilité sera naturellement plus élevée.
En outre, le directeur technique de Pi Squared, le Dr Xiaohong Chen, a obtenu un baccalauréat de l'Université de Pékin, puis est devenu doctorant à l'Université de l'Illinois à Urbana-Champaign. Il possède également une solide formation universitaire et fréquente la même école que lui. Le professeur Grigore Rosu a des orientations de recherche similaires. Il est probablement enseignant ou collègue.
Un autre co-fondateur et COO du projet, Patrick MacKay, est également diplômé de l'Université de l'Illinois à Urbana-Champaign et a également été COO de Runtime Verification, la précédente startup fondée par Grigore Rosu. transfert fluide d'anciens collègues et d'anciens postes ; et cette activité de Runtime Verification comprend également des audits de sécurité des machines virtuelles et des contrats intelligents sur la chaîne publique.
Avec des dirigeants universitaires à la tête de l’équipe et une migration en douceur d’anciens collègues et anciens élèves, il n’est pas étonnant que Pi Squared, un projet doté d’une solide expérience universitaire et industrielle, soit favorisé par les sociétés de capital-risque.
USL, qui facilite le règlement des transactions du système
Nous pouvons jeter un autre regard sur ce qu’est exactement cette « couche de règlement universelle » que Pi Squared veut principalement faire.
La première chose à préciser est que Pi Squared ne cible pas directement les utilisateurs, mais propose des produits pour diverses cryptographies et développeurs.
L'objectif de Pi Squared est de créer une couche de règlement universelle (USL) pour simplifier l'interopérabilité blockchain/langage/application et éliminer complètement le besoin d'implémentations de langages traditionnelles, souvent sujettes aux erreurs, telles que les compilateurs, les traducteurs ou les interprètes.
Si vous voulez le comprendre simplement, vous pouvez le considérer comme un super traducteur qui permet à différentes blockchains, langages de programmation et applications de fonctionner les uns avec les autres de manière transparente. Les développeurs peuvent plus facilement créer des applications inter-chaînes et multilingues.
Ce schéma du site officiel de Pi Squared illustre très bien la fonction de ce super traducteur :
Initier une transaction : l'utilisateur (comme Alice) lance une demande de transaction, par exemple en transférant 1 WETH à Bob. WETH est un jeton conforme à la norme ERC20 ;
Règlement universel : les demandes de transaction sont soumises à un environnement prenant en charge n'importe quelle machine virtuelle et n'importe quel langage de programmation, tel que EVM ou Python. Il s'agit de ce qu'on appelle la couche informatique universelle : les calculs peuvent être exprimés dans n'importe quel langage ou VM tant qu'il existe une spécification formelle pour ce langage ou cette VM particulière dans l'environnement. Pour parler franchement, nous ne choisissons pas de machines virtuelles ni de langages de programmation.
Générer une preuve : pour l'étape 2, générez une preuve mathématique pour prouver l'exactitude de la transaction. Cette preuve mathématique est très précise, mais potentiellement très vaste ;
Vérification de preuve : utilisez ensuite le vérificateur de preuve ZK-ED (Zero Knowledge - Matching Logic) pour vérifier la « grande preuve » ci-dessus. Ce vérificateur est petit et peut être massivement parallélisé.
Compression ZK : Enfin, une preuve sans connaissance est générée pour prouver l'exactitude de la transaction précédente. Cette preuve de connaissance nulle est petite et peut être transmise et vérifiée efficacement.
Par conséquent, le processus ci-dessus montre comment commencer par une simple demande de transaction, en générant et en vérifiant des preuves mathématiques, et enfin en générant une preuve plus petite sans connaissance pour garantir l'exactitude et la confidentialité de la transaction.
L'ensemble du processus prend en charge plusieurs langages de programmation et environnements d'exécution, est efficace et sans confiance, et convient aux connexions inter-chaînes et à d'autres scénarios d'application qui nécessitent une sécurité élevée et une protection de la confidentialité.
À en juger par la niche écologique du projet, Pi Squared se situe au milieu de la pile technologique. Au-dessus se trouvent la couche informatique et le service de commande, et en dessous se trouvent la couche de consensus et de disponibilité des données.
L'USL de Pi Squared peut être considérée comme une couche d'agrégation optimiste, expliquant et vérifiant l'exactitude des transactions de calcul, reliant les calculs de la couche supérieure et le consensus de la couche inférieure.
Dans le même temps, Pi Squared a également mentionné qu'il disposerait de son propre réseau et de ses propres nœuds exécutant le protocole de consensus. On suppose qu'il pourrait y avoir un système économique basé sur des promesses, qui serait directement lié aux jetons du projet.
Cependant, aucune information sur les jetons n'a été divulguée dans les documents du projet actuel. On peut seulement dire que la conception du réseau a donné aux jetons un espace raisonnable pour exister. Quant à la manière de jouer à l'avenir, cela dépendra de la version. d'informations complémentaires.
Pi Squared est encore au stade de la validation de principe. Le professeur Rosu a déclaré que le projet entrerait dans le réseau de test fin 2024. À l'heure actuelle, il est encore en période d'échauffement et de publicité, et il n'y a aucune activité ou tâche à laquelle participer.
Nous continuerons à prêter attention au projet, et peu importe à quel point nous nous disons non, il y aura toujours des opportunités dignes de participation.