Je sais, je sais. Les cryptoprojets sont sombres, il y a beaucoup de consensus: sur la base du travail et de la propriété, de l'or, du pétrole, des tartes au four (il y en a un, oui). De quoi avons-nous besoin d'un de plus? Je vous propose d'en discuter après avoir lu la traduction de la documentation technique "lite" du projet * Constellation. Bien sûr, ce n'est pas une description complète de l'algorithme, mais je suis intéressé par l'opinion du hub de la communauté, existe-t-il un tel consensus ou n'est-il pas nécessaire pour rien?
Il n'y a pas beaucoup de lettres plus loin, par conséquent, si vous voulez simplement écrire "fu, autant que vous pouvez sur crypt", alors veuillez vous abstenir. Si vous êtes intéressé par les nouveaux développements dans le domaine des systèmes distribués et avez quelque chose à partager dans les commentaires, alors je demande cat.
PS Je ne suis pas l'auteur de la technologie, je ne peux pas garantir le transfert complet de l'essence, donc je serai heureux de commenter les amendements, le cas échéant.
Évolution du consensus synchrone à l'asynchrone
Les nœuds sont sélectionnés à l'aide d'un processus déterministe (le même que celui utilisé dans DHT, par exemple, bittorrent), qui ajuste dynamiquement les responsabilités des nœuds pour «faciliter» la validation ou, plus naturellement, pour parvenir à un consensus. Nous sélectionnons des groupes de 3 nœuds et effectuons des tours de consensus en parallèle afin qu'un nœud puisse être un facilitateur en plusieurs blocs. Cela nous permet de traiter les transactions de manière asynchrone, ce qui signifie essentiellement que nous avons plusieurs chaînes de blocs en cours de formation en même temps. Le processus est similaire à une toile formée de nombreux fils, contrairement aux nœuds formant une chaîne au fil du temps. Le traitement asynchrone ou parallèle est la base d'une programmation évolutive, car il vous permet d'utiliser toutes les ressources d'un ordinateur, accélérant ainsi le calcul général. Ce réseau est appelé graphe acyclique dirigé ou DAG en informatique.
Largeur du canal de la blockchain linéaire en fonction de l'effet multiplicateur DAG, où nous avons plusieurs blockchains parallèles.
Une implémentation géométrique de la blockchain linéaire contre le DAG. Les points noirs sont des blocs, les points blancs sont des nœuds
Nous utilisons 3 nœuds à chaque tour de consensus, car cela nous donne des processus mathématiques intéressants pour raisonner sur l'état, formant un «plan de surface» à travers les données sous la forme de triangles avec des liens. Le protocole utilise ensuite des triangles pour «assembler» la surface optimale, qui ne contient pas de données redondantes ou conflictuelles et qui a les triangles les plus petits possibles. Algorithmiquement, cela est analogue à la «section minimale» d'un graphique et mathématiquement, c'est une fonction dérivée ou d'optimisation (à partir de laquelle la fonction trouve le chemin le plus court qu'elle peut traverser le long de la surface). Ce chemin le plus court équivaut au stockage optimal des données (transactions) dans le groupe de disponibilité de la base de données. Des «tuiles» triangulaires conflictuelles pour que la surface de l'événement soit lisse et sans conflit.
Implémentation géométrique de la détection / traitement des conflits. Le bloc en conflit crée une tuile de surface supplémentaire. Nous supprimons la tuile de surface supplémentaire pour maintenir une surface d'événement plate (= non conflictuelle).
Consensus de réputation
Dans un système de réputation p2p décentralisé optimal, chaque nœud devrait être en mesure de déterminer indépendamment sa confiance dans les autres nœuds. Notre système utilise un modèle spécial qui inclut les relations transitives ou les relations qu'un nœud a avec d'autres nœuds lors de l'attribution d'une évaluation globale. "Vous êtes aussi bon que votre entreprise." Le résultat final est une «distorsion» ou un gradient basé sur la confiance ou la réputation transitive sur tous les nœuds du $ DAG ou du canal normal. Cela peut être vu comme une brosse ou une râpe à fromage, qui efface sur le «plan de surface» et sélectionne les «carreaux triangulaires» à effacer et ceux à laisser. C'est ainsi que la logique du conflit supprime réellement les «tuiles triangulaires».
Un DAG avec une tuile en conflit passant à travers un espace "incurvé", qui est un gradient similaire à une râpe à fromage, et est sur le point de retirer ou "d'effacer" la tuile en conflit.
Mise à l'échelle des nœuds partielle / complète
Dans la théorie des réseaux, en règle générale, la distribution optimale est connue comme «sans mise à l'échelle», ce qui peut être décrit comme un arrangement hiérarchique avec de grands nœuds centraux qui contrôlent de nombreux nœuds périphériques plus petits. Cette diffusion est visible dans la nature et, surtout, sur Internet. Constellation utilise cette architecture pour «évoluer» ou augmenter le débit ou la largeur de notre graphique.
L'effet de la division hiérarchique. Nous pouvons ajouter plus de nœuds en augmentant la bande passante
Hylochain - Prise en charge des applications basées sur les canaux
Notre approche de l'assistance aux applications peut être considérée comme une «plate-forme décentralisée de contrats intelligents». Au lieu d'un réseau central qui exécute toute la logique et traite toutes les données de l'application, Constellation coordonne les données de l'application avec les «canaux standard», qui peuvent être considérés comme une station de télévision diffusant toutes les données du système standard. Chaque canal régulier peut implémenter sa propre logique de vérification, ce qui permet de résoudre le problème Oracle grâce à l'authentification de bout en bout des producteurs de données et à la vérification transitive des systèmes standard composites. Les réseaux de canaux fournissent un support d'application simultané, accélérant les délais d'adoption, qui sur les réseaux de contrats intelligents sont limités au consensus synchrone traditionnel.
Deux canaux à temps plein qui sont «compatibles» via le réseau $ DAG. Ils peuvent interagir ou être interprétés car ils sont tous deux «intégrés» à $ DAG en déployant des nœuds hybrides du canal $ DAG +.
La raison pour laquelle il est appelé Hylochain est que notre approche de la prise en charge des applications a utilisé le modèle de programmation fonctionnelle des schémas de récursivité pour créer l'interface MapReduce. En particulier, les schémas de récursion Hylomorphisme (méthomorphique) et métamorphisme (métamorphique) peuvent être intégrés pour créer des requêtes vérifiables et des connexions de flux via des canaux réguliers en vérifiant les types de données algébriques de la même manière que les codes op pour les contrats intelligents sont vérifiés. Le résultat final est une interface fonctionnelle MapReduce familière aux ingénieurs de données et compatible avec la technologie existante du Big Data.
Canaux réguliers hylomorphes et métamorphiques pour le contraste. Dans un état métamorphique, les données de deux canaux réguliers sont envoyées au bloc du méta-canal. Dans Gilo, nous prenons l'état précédent du canal et l'utilisons pour demander (poser une question spécifique) deux autres canaux, puis enregistrer le résultat de la demande dans un bloc.
Tokenomics et sa relation avec Hylochain
Lorsqu'un canal standard est créé, il peut être intégré au canal $ DAG, mais à l'aide de l'interface ACI ou Application Chain. Cette interface est simplement un objet JSON avec des informations de configuration et une clé publique associée au canal lui-même. La raison pour laquelle nous associons la clé publique au canal normal est de créer un mécanisme de courtage pour les données du canal normal. Lorsque le canal à temps plein est déployé, les développeurs configurent eux-mêmes la façon dont les paiements du réseau $ DAG sont répartis entre les nœuds et les opérateurs.
Stream pour acheter l'accès à l'information ou modifier l'information. La demande est envoyée à $ DAG, les fonds sont envoyés au compte de canal, le résultat est envoyé à l'acheteur et la somme de contrôle de la transaction est envoyée au réseau $ DAG, qui déverrouille ensuite les fonds pour le canal normal.