Bonjour les amis, Bonjour à tous ! Je vous souhaite la bienvenue sur ma chaîne, contactez M. Atlas. L'article d'aujourd'hui sera consacré à un projet unique et très prometteur qui bénéficie de nombreux soutiens, tant du côté des utilisateurs que du côté des investisseurs, et c'est Aleo . Et pour être plus précis, dans ce numéro

nous passerons en revue les dernières actualités sur ce projet . Je vous conseille de lire cet article jusqu'au bout, car : L'information est intéressante et fiable, et vous, ma chère, êtes la première à en prendre connaissance. Alors allons-y!

☯️Demande de l'équipe :

Nous sommes heureux de vous annoncer la deuxième phase d'Aleo Testnet 3 ! Dans cette version, nous déploierons de nombreuses fonctionnalités clés décrites dans notre feuille de route originale pour Testnet 3, telles que le déploiement et l'exécution de programmes définis par l'utilisateur, et un puzzle pour piloter le développement du matériel de vérification zkSNARK.

Alors, les amis, maintenant vous comprenez : la sortie va être assez intéressante :)

Pour aller un peu plus loin dans le moment, je suggère de commencer par les bases…

☯️ Qu'est-ce qu'Aléo ?

Aleo est une nouvelle blockchain de niveau 1 qui utilise la cryptographie à connaissance zéro pour permettre des applications décentralisées évolutives et privées.

‌ Equipe Aleo , comprenez que dans leur architecture (les programmes) ne sont pas exécutés en chaîne ; au lieu de cela, les utilisateurs exécutent le programme hors ligne et publient des zkSNARK (courtes preuves sans connaissance) sur la chaîne qui prouvent l'exécution correcte d'une manière préservant la confidentialité.

La prochaine étape effectuée par la chaîne consiste à vérifier les épreuves courtes à la fois (indépendamment) de la durée d'exécution du programme.

Mais ! Si tout se passait bien, le projet aurait déjà été coté en bourse

‌ Le plan fonctionne à 100 %, à l'exception d'un petit bug : créer une preuve de l'exécution correcte du programme sans aucune connaissance peut s'avérer bien plus coûteux que de simplement exécuter le programme directement. Pour de nombreuses applications utiles (telles que les paiements), ces frais généraux peuvent être gérés même lors de la vérification sur un appareil commun tel qu'un téléphone mobile ou un ordinateur portable.

Lorsque nous utilisons des applications plus gourmandes en calcul, telles que l'apprentissage automatique, les jeux ou l'authentification, la surcharge de vérification sur les appareils standard peut être prohibitive

Et cela, à son tour, rend ces cas d'utilisation inaccessibles.

Bien sûr, le moment n'est pas assez agréable, mais je vais continuer, car :

‌Cependant, la conception d'Aleo permet aux clients de choisir d'externaliser ou non la génération de preuves à un "service de validation" tiers , qui peut avoir plus de ressources informatiques pour aider à calculer les zkSNARK pour des calculs plus importants.

Par exemple :

​​comme les processeurs avec de nombreux cœurs, de grandes quantités de RAM ou même du matériel spécial pour la vérification.

Ce n'est qu'alors que le problème devient stimulant pour le développement de meilleures architectures de preuves. La résolution de ce dernier problème est l'une des principales motivations derrière le développement du nouvel algorithme de consensus d'Aleo, AleoBFT. À un niveau élevé, AleoBFT est une architecture hybride qui utilise la preuve de participation pour obtenir une finalité instantanée pour la confirmation de bloc et utilise également un puzzle coinbase de preuve de travail qui récompense le développement de méthodes plus rapides pour générer des preuves.

Abonnés, nous sommes aussi avec vous, nous allons plonger plus clairement dans les détails de ce chiffrement. Alors…

☯️À PROPOS DE Coinbase Puzzle ?

‌ Le puzzle coinbase est un puzzle de preuve de travail conçu pour piloter le développement de logiciels et de matériel plus rapides afin de générer des preuves sans connaissance.

C'est-à-dire ?

Pour y parvenir, notre puzzle coinbase a deux caractéristiques uniques (sur lesquelles nous nous concentrerons en premier).

Caractéristiques uniques :

‌_Fonction_cryptographique :

⚡️contrairement au PoW traditionnel comme on le trouverait dans Bitcoin ou Ethereum, le puzzle coinbase nécessite la création de procédures efficaces pour des algorithmes "utiles" pour les principaux sous-composants de la validation zkSNARK.

‌ _Fonctionnalité_Économie :

⚡️contrairement au PoW traditionnel, où chaque bloc ne peut contenir qu'une seule solution de puzzle valide, notre puzzle coinbase accepte plusieurs solutions valides par bloc, empêchant le gagnant de remporter tout et conduisant à une distribution plus large des récompenses de preuve.

Amis, nous devons maintenant nous concentrer à 100% sur la conception du puzzle, par rapport à la partie cryptographique, donc :

☯️Conception de puzzle ?

La première chose sur laquelle nous allons porter notre attention est : Guide de conception rapide de zkSNARK.

⚡️Le temps de création d'une preuve dans les zkSNARK modernes est dominé par le temps de vérification de deux sous-composants : l'IOP polynomial et le schéma d'engagement polynomial.

Autrement dit , ce puzzle coinbase stimule efficacement l'accélération de ces sous-composants.

Si nous regardons le déroulement du protocole, qui se compose de deux étapes, nous remarquerons :

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (1) Génération de solutions (Prover)

Pour créer une variante de solution, le vérificateur génère (à partir d'un élément unique) et multiplie un polynôme aléatoire, puis fixe le polynôme produit résultant à l'aide d'un schéma d'engagement polynomial (schéma KZG10, dans notre cas). Cet engagement résultant est ensuite haché, et si ce hachage correspond à la complexité cible, c'est une solution valide qui peut être envoyée à l'agrégateur (avec une preuve de score pour une agrégation efficace).

Même ainsi , le puzzle résultant se compose de 2 éléments de groupe et 1 élément de champ, une adresse et un nonce, et peut être vérifié dans les multiplications et appariements de champs D, où D est le degré du polynôme généré.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (2) Agrégation de solutions valides (BFT Leader)

Bien qu'une solution de puzzle valide puisse être vérifiée par n'importe qui, l'ajout de chaque solution de puzzle à la chaîne augmentera l'état.

Pour éviter cela à ce stade, ce puzzle coinbase permet au leader BFT de collecter des solutions valides. L'équipe n'entrera pas dans les détails de la façon dont cela est fait, mais le résultat général est que le stockage réseau dépend du coût de n + 1 éléments de tableau, et 1 élément de tableau est une amélioration significative. Comme avantage secondaire, la vérification du puzzle est également plus rapide.

Eh bien, les amis, après tant d'informations, je vous propose de tout résumer. Alors..

☯️RÉSUMÉ :

Sur la base de notre discussion, AleoBFT est un nouveau mécanisme de consensus qui combine la finalité de preuve de participation avec un puissant mécanisme incitatif de preuve de travail. Si vous prenez notre cas, le puzzle coinbase stimule l'accélération de la preuve zkSNARK. Je trouve ce travail utile car il se transfère directement à l'exécution de tout autre programme dans Aleo.

Sur cette base, il s'ensuit qu'avec ce mécanisme, nous espérons stimuler un écosystème de vérification solide qui profitera aux utilisateurs d'Aleo en réduisant les coûts et la latence des applications (c'est vraiment cool, d'accord)

​​Encouragement motivationnel ?

Et enfin, pour les plus patients, j'ai préparé une bonne nouvelle. Depuis cette phase du réseau de test sera encouragée. Et cela, à son tour, peut être n'importe quoi (je vous conseille donc de passer ce testnet)

Amis, j'aurai tout à ce sujet. J'ai été ravi de vous rendre service. A revoir dans le prochain numéro !

Aléo :

Site Web | Gazouillement | Discorde | GitHub