Archives des Article de source externe

Pourquoi Charles Hoskinson a construit Cardano. Une approche subjective.

12 juin 2023 par La Rédaction

🕝 11 min

Dans cet article, je propose une analyse de la philosophie et de l’inspiration derrière la blockchain Cardano, basée sur l’essai original publié le 28 juin 2017, écrit par Charles Hoskinson, son cofondateur. Document dans son format original : https://whitepaper.io/document/581/cardano-whitepaper Document normalisé par IOHK : https://why.cardano.org/ Le document contient 6 sections : Introduction, Science et ingénierie, … Lire la suite

Pourquoi avoir choisi la vérification formelle ?

10 février 2023 par Barbedouce

🕝 5 min

L’équipe d’IOG utilise des méthodes formelles dans le processus de développement de Cardano. Les méthodes formelles sont un ensemble de techniques mathématiques utilisées pour garantir l’exactitude et la fiabilité des logiciels. Elles sont basées sur la logique formelle et les preuves mathématiques et sont destinées à fournir un haut niveau de confiance dans le comportement … Lire la suite

Pourquoi IOG a choisi Haskell pour construire Cardano ?

28 janvier 2023 par Barbedouce

🕝 8 min

L’équipe d’IOG a soigneusement choisi le langage de programmation et les outils à utiliser pour le développement de Cardano. Au final, elle a choisi Haskell. L’équipe doit être en mesure de vérifier formellement que tout ce qui est écrit dans les livres blancs correspondra correctement au code source. Venez lire comment l’équipe transforme les preuves … Lire la suite

Paramètres de staking et optimisation du réseau – quelle est la prochaine étape pour k et les frais minimums ?

28 octobre 2022 par La Rédaction

🕝 11 min

Avantages et inconvénients des différentes approches pour ajuster le paramètre k et les frais minimums de mise en commun. Un ensemble de paramètres est utilisé pour définir le comportement du protocole Cardano. Certains paramètres sont stables et peuvent être laissés inchangés plus ou moins indéfiniment. D’autres sont liés à des activités plus dynamiques sur la … Lire la suite

Le problème des généraux byzantins

28 juillet 2022 par La Rédaction

🕝 8 min

Le problème des généraux byzantins, également appelé défaillance byzantine, est une condition des systèmes informatiques distribués, développée pour décrire une situation de cohérence et d’intégrité, dans laquelle, afin d’éviter une défaillance catastrophique du système, les acteurs doivent se mettre d’accord sur une stratégie concertée, mais en sachant que certains de ces acteurs pourraient ne pas … Lire la suite

Une analyse de la recherche à la base de l’évolutivité de Cardano (partie 4)

26 juillet 2022 par La Rédaction

🕝 7 min

Courbe de la recherche universitaire sur Cardano

Regardons de plus près la recherche d’IOG, partie 4. Comment les solutions de couche 1 et de couche 2 créent une blockchain plus rapide et plus résiliente. Les précédents articles de blog ont abordé la recherche fondamentale (1) qui a permis à Cardano de prendre en charge un grand livre multifonctionnel pour des contrats intelligents … Lire la suite

Preuve de travail (PoW) et Preuve d’enjeu (PoS)

24 juillet 202224 juillet 2022 par La Rédaction

🕝 40 min

La preuve de travail (PoW) et la preuve d’enjeu (PoS) sont deux concepts différents qui accomplissent la même tâche. Les deux approches ont leurs avantages et leurs inconvénients indéniables. Malheureusement, les arguments contre la PoS proviennent souvent d’une mauvaise compréhension ou d’une négligence des problèmes de la PoW. Dans cet article, nous allons plaider en … Lire la suite

Qu’est-ce que Cardano ?

24 juillet 202222 juillet 2022 par Barbedouce

🕝 29 min

L’univers Cardano s’étend avec l’arrivée d’un large éventail d’applications et d’échanges décentralisés. Des jeux à la finance décentralisée (DeFi), Cardano couvre toute la gamme des possibilités offertes par la blockchain. Plus Cardano grandit, plus sa portée, sa communauté, sa valeur et son adoption augmentent. Ce document reflète tout ce que Cardano est, ce qu’il représente … Lire la suite

Le marché des frais est-il une solution pour Cardano ?

20 juillet 2022 par La Rédaction

🕝 9 min

La scalabilité est l’une des trois composantes du trilemme de la blockchain, avec la sécurité et la décentralisation. Le trilemme dit que vous ne pouvez pas obtenir le maximum (théorique) possible des trois composants, et que vous devez réduire l’un d’entre eux, c’est-à-dire que si vous avez une grande évolutivité, vous ne pouvez pas également … Lire la suite