Hoskinson et Lucas Rosa développent un nouveau langage de programmation pour Cardano

Charles Hoskinson a annoncé le 18 octobre qu'il développe personnellement un nouveau langage de programmation pour Cardano. Il a désigné Lucas Rosa, cofondateur d'Aiken et architecte des outils de Midnight, comme son collaborateur sur le projet.

Un cofondateur d'Aiken travaille aux côtés de Hoskinson

Rosa, connu en ligne sous le nom @rvcas, a cofondé Aiken et en a dirigé le développement pendant plus de deux ans et demi. D'après son historique de projet, ce travail comprenait la conception des fonctionnalités du langage avant d'en transférer la propriété et la licence à Pragma pour une gouvernance à long terme.

Aiken est un langage de programmation et une boîte à outils de développement pour les contrats intelligents Cardano. Les développeurs l'utilisent pour définir les règles régissant la possibilité pour des transactions de dépenser des actifs ou d'effectuer d'autres opérations contrôlées par des contrats.

Rosa indique actuellement son poste comme architecte des outils chez Midnight. Son expérience couvre les compilateurs, les systèmes distribués et l'infrastructure applicative.

L'annonce de Hoskinson identifie Rosa comme collaborateur sans attribuer de rôle organisationnel à Midnight.

Comment les intentions et les preuves Groth16 s'articulent

Les intentions décrivent un résultat qu'un utilisateur souhaite atteindre et les conditions sous lesquelles il est acceptable. Un utilisateur peut demander un échange d'ADA contre un autre jeton, en spécifiant un montant minimal à recevoir et des frais maximaux. Des participants spécialisés appelés solveurs peuvent alors trouver un chemin d'exécution et construire des transactions satisfaisant ces conditions.

Les données porteuses de preuves, ou PCD, concernent des informations accompagnées d'une attestation cryptographique qu'elles respectent des règles définies. Cette attestation peut aussi couvrir leur historique de traitement, établissant que les étapes de calcul précédentes ont respecté ces règles. Un destinataire peut vérifier la preuve sans répéter tout le calcul préalable.

Groth16 fournit des preuves à connaissance nulle compactes avec une complexité de vérification relativement faible. Il permet à une partie de démontrer qu'un calcul donné a été exécuté correctement sans révéler les entrées privées utilisées pour produire la preuve. Les données d'application qui demeurent publiques dépendent de la conception du système environnant.

Combinés, ces concepts pourraient permettre à une application d'exprimer des résultats acceptables et de vérifier des éléments attestant que les conditions de calcul pertinentes ont été satisfaites. Le mécanisme précis qui les relie dans le langage proposé n'a pas été décrit.

Relier le langage aux validateurs Cardano

Cardano fournit déjà des briques cryptographiques pour des applications fondées sur des preuves. Plutus V3 inclut des opérations BLS12-381 prenant en charge une vérification efficace de preuves à connaissance nulle compatibles. Les développeurs peuvent utiliser ces primitives pour construire des contrats qui vérifient des éléments attestant de calculs effectués en dehors de la blockchain.

La vérification consomme des ressources d'exécution et contribue aux frais de transaction payés en ADA. La faisabilité de toute mise en œuvre dépend donc du fait que le système de preuve, le vérificateur et la charge de travail tiennent dans les limites de transaction de Cardano.

La publication de Hoskinson n'a fourni ni nom de langage, ni dépôt, ni spécification, ni date de sortie. Sa relation avec Aiken et Plutus demeure également non précisée. Le point d'intégration encore non résolu est la manière dont un programme écrit dans le nouveau langage générerait une preuve et la mettrait à la disposition d'un validateur Cardano, reliant les conditions indiquées par l'utilisateur au contrat autorisant le règlement.