Zcash affirme que la preuve Ironwood exclut les bogues de contrefaçon indétectables

cointelegraphPublié le 2026-07-29Dernière mise à jour le 2026-07-29

Résumé

Les chercheurs de Zcash ont achevé la vérification formelle d'Ironwood, en publiant une preuve vérifiée par machine que le nouveau pool protégé du réseau ne contient pas de bogues de contrefaçon indétectables, sous ses hypothèses cryptographiques. Ce travail, écrit dans le langage de programmation Lean et comprenant plus de 2 700 théorèmes, a pris plus d'un mois à trois équipes. Il établit une propriété de sécurité appelée intégrité du solde, garantissant que le pool protégé ne peut pas distribuer plus de valeur qu'il n'en a reçu publiquement. La preuve couvre les composants nécessaires à cette propriété, comme le système de preuve à divulgation nulle de connaissance (ZKP) d'Ironwood, ses règles de circuit et sa comptabilité au niveau du registre. Elle ne couvre pas ses garanties de confidentialité séparées. Ironwood a été introduit via la mise à niveau NU6.3 de Zcash en réponse à une vulnérabilité découverte dans son ancien pool protégé Orchard, qui aurait pu théoriquement permettre une contrefaçon indétectable de ZEC. Les développeurs n'ont trouvé aucune preuve d'exploitation de cette faille. Le nouveau pool vise à restaurer la confiance dans l'intégrité de l'offre de Zcash. Les fonds migrant d'Orchard doivent passer par un point de contrôle public appelé "tourniquet", conçu pour empêcher toute entrée hypothétique de pièces excédentaires dans Ironwood. Ce processus pourrait également fournir des indices sur une éventuelle exploitation de l'ancien pool.

Les chercheurs de Zcash ont achevé la vérification formelle d'Ironwood, publiant une preuve vérifiée par machine que le nouveau pool protégé du réseau ne contient pas de bogues de contrefaçon indétectables sous ses hypothèses cryptographiques déclarées.

Mardi, le Project Tachyon a annoncé que cette preuve, écrite dans le langage de programmation Lean, comprend plus de 2 700 théorèmes et a nécessité plus d'un mois de travail à trois équipes de chercheurs et cryptographes. Ce travail établit une propriété de sécurité connue sous le nom d'intégrité du solde, conçue pour garantir que le pool protégé ne peut pas distribuer plus de valeur qu'il n'en a reçu publiquement.

Les chercheurs ont déclaré que la preuve couvre les composants nécessaires à cette propriété, notamment le système de preuve à divulgation nulle (zero-knowledge) d'Ironwood, ses règles de circuits et sa comptabilité au niveau du registre. Elle ne couvre pas les garanties de confidentialité distinctes d'Ironwood.

Ironwood a été introduit via la mise à niveau NU6.3 de Zcash en réponse à une vulnérabilité découverte dans son pool protégé Orchard, qui aurait théoriquement pu permettre une contrefaçon indétectable de ZEC. Les développeurs de Zcash ont indiqué n'avoir trouvé aucune preuve que cette faille ait été exploitée. Le nouveau pool a été conçu pour restaurer la confiance dans l'intégrité de l'offre de Zcash.

Les fonds migrant depuis Orchard doivent passer par un point de contrôle comptable public appelé "tourniquet" (turnstile), conçu pour empêcher toute hypothétique quantité excédentaire de pièces d'entrer dans Ironwood. Alors que les fonds quittent Orchard, ce processus pourrait également fournir des preuves de plus en plus nombreuses quant à l'éventuelle exploitation de l'ancien pool.

En relation : Pourquoi le ZEC a chuté de 40% même après que Zcash a corrigé un bug dans son pool protégé

Cryptos en tendance

Questions liées

QQu'est-ce que Zcash a accompli avec la vérification formelle d'Ironwood ?

ALes chercheurs de Zcash ont terminé la vérification formelle d'Ironwood, publiant une preuve vérifiée par machine que le nouveau pool protégé du réseau ne contient pas de bogues indétectables de contrefaçon, sous ses hypothèses cryptographiques énoncées.

QQuel était l'objectif principal de la propriété de sécurité prouvée, appelée 'intégrité du solde' ?

AL'objectif principal de la propriété de sécurité 'intégrité du solde' est de garantir que le pool protégé ne peut pas distribuer plus de valeur que ce qui y est entré publiquement, empêchant ainsi la création indétectable de ZEC.

QPourquoi Ironwood a-t-il été introduit par Zcash via la mise à niveau NU6.3 ?

AIronwood a été introduit via la mise à niveau NU6.3 de Zcash en réponse à une vulnérabilité découverte dans son pool protégé Orchard qui, théoriquement, aurait pu permettre une contrefaçon indétectable de ZEC. Il a été conçu pour rétablir la confiance dans l'intégrité de l'offre de Zcash.

QQuel rôle joue le 'tourniquet' (turnstile) dans la migration des fonds d'Orchard vers Ironwood ?

ALe 'tourniquet' est un point de contrôle comptable public par lequel tous les fonds migrant d'Orchard vers Ironwood doivent passer. Il est conçu pour empêcher que toute pièce excédentaire hypothétique n'entre dans Ironwood.

QLa preuve formelle d'Ironwood couvre-t-elle ses garanties de confidentialité ?

ANon, la preuve formelle d'Ironwood ne couvre pas ses garanties de confidentialité distinctes. Elle couvre les composants nécessaires à la propriété d'intégrité du solde, comme le système de preuve à divulgation nulle de connaissance (zero-knowledge proof), les règles du circuit et la comptabilité au niveau du grand livre.

Lectures associées

Une entreprise japonaise spécialisée dans l'IA annonce l'acquisition de cet altcoin ! Voici les détails

La société japonaise eole, spécialisée dans les centres de données utilisant l'intelligence artificielle et cotée en bourse, a annoncé un élargissement de sa stratégie d'investissement dans les cryptomonnaies. Elle a investi initialement 10 millions de yens (environ 67 000 USD) dans $HYPE, le jeton natif de l'écosystème Hyperliquid, avec un plan pour porter ce montant à 100 millions de yens (environ 670 000 USD) d'ici fin août. Selon eole, il s'agit du premier investissement dans $HYPE par une entreprise japonaise cotée en bourse. La société insiste sur le fait que cette acquisition ne vise pas une spéculation à court terme, mais s'inscrit dans une stratégie d'entreprise à long terme. Elle fait partie de sa vision de "néo-cryptobanque", visant à développer une infrastructure financière de nouvelle génération, et $HYPE a été ajouté à ses actifs de réserve stratégiques aux côtés du Bitcoin. eole met en avant les caractéristiques techniques de la blockchain Hyperliquid, construite sur une architecture de layer 1. Elle estime que cette infrastructure est particulièrement adaptée aux transactions financières effectuées par des agents autonomes d'intelligence artificielle. La société anticipe un rôle croissant des applications basées sur l'IA dans le trading d'actifs numériques, la gestion de la liquidité et la prise de décision financière automatisée.

cryptonews.ruIl y a 11 mins

Une entreprise japonaise spécialisée dans l'IA annonce l'acquisition de cet altcoin ! Voici les détails

cryptonews.ruIl y a 11 mins

Un trader a gagné plus de 1,2 million de dollars en sept heures sur le memecoin PIPEDOG

Un trader de crypto-monnaie inconnu a réalisé un profit non réalisé de plus de 1,2 million de dollars en moins de sept heures grâce à un investissement dans le memecoin PIPEDOG, selon les analystes de Lookonchain. L'investisseur a acheté 293,75 millions de PIPEDOG pour 8,39 ETH (environ 16 000 $). Il a ensuite vendu 34,55 millions de jetons pour 32,67 ETH (environ 62 000 $), réalisant ainsi une partie des gains. Il détient toujours 259,2 millions de PIPEDOG, dont la valeur de marché était estimée à environ 1,18 million de dollars au moment de l'analyse, avant de chuter sous les 900 000 $. Le profit total, incluant la partie réalisée, dépasse 1,2 million de dollars, ce qui représente un rendement d'environ 77 fois l'investissement initial. Cette transaction a suscité des discussions animées sur les réseaux sociaux. Certains utilisateurs spéculent que le trader a pu utiliser un "sniper bot" pour acheter le jeton immédiatement après son lancement. D'autres soulignent la difficulté d'identifier les jetons prometteurs avant leur envolée. Un commentateur, That Martini Guy, a rappelé de ne pas se concentrer uniquement sur les succès, notant que pour chaque histoire de réussite, de nombreux autres jetons tombent à zéro. L'article mentionne également un cas antérieur où un trader a multiplié par 1253 un investissement de 838 $ dans le jeton CASHCAT, atteignant environ 1,05 million de dollars en 20 jours.

cryptonews.ruIl y a 21 mins

Un trader a gagné plus de 1,2 million de dollars en sept heures sur le memecoin PIPEDOG

cryptonews.ruIl y a 21 mins

Trading

Spot

Articles tendance

Qu'est ce que DOGE M

Doge Matrix ($doge m) : La Nouvelle Génération de Cryptomonnaie Axée sur la Communauté Introduction Dans le paysage en constante évolution des cryptomonnaies, de nouveaux projets émergent constamment, chacun visant à capturer l'intérêt des investisseurs et des passionnés. L'un des derniers entrants dans ce domaine est Doge Matrix, représenté par le symbole boursier $doge m. Ce projet a attiré l'attention grâce à ses racines dans la culture des mèmes populaire entourant Dogecoin, établissant sa place dans l'espace web3. Cet article vise à fournir une analyse complète de Doge Matrix, couvrant son aperçu, son créateur, ses investisseurs, sa fonctionnalité, sa chronologie et ses aspects notables. Qu'est-ce que Doge Matrix ($doge m) ? Doge Matrix est un projet de cryptomonnaie axé sur la communauté qui semble s'appuyer sur l'attrait généralisé de Dogecoin, une monnaie numérique connue pour sa mascotte Shiba Inu et ses origines de mème. Bien que les objectifs globaux de Doge Matrix ne soient pas largement définis, il se caractérise par un engagement à exploiter l'implication et le soutien de la communauté. Contrairement aux cryptomonnaies traditionnelles qui mettent souvent l'accent sur l'utilité ou la valeur intrinsèque à travers des technologies sous-jacentes, Doge Matrix se positionne dans un espace qui embrasse le phénomène culturel des cryptomonnaies, attirant particulièrement ceux qui résonnent avec l'éthique des actifs basés sur des mèmes. S'appuyant sur les forces de la communauté Dogecoin, Doge Matrix opère comme partie d'un écosystème plus large, invitant à la participation et à l'engagement des utilisateurs qui partagent un intérêt pour la cryptomonnaie et le paysage numérique. Qui est le Créateur de Doge Matrix ($doge m) ? L'identité du créateur de Doge Matrix reste inconnue. Ce manque de transparence n'est pas un phénomène rare dans l'espace des cryptomonnaies, où certains projets sont lancés sans révéler l'identité de leurs fondateurs. L'absence d'informations concernant l'équipe fondatrice peut soulever des questions parmi les investisseurs potentiels sur la responsabilité et la direction du projet. Qui sont les Investisseurs de Doge Matrix ($doge m) ? À l'heure actuelle, il n'existe pas d'informations publiques détaillant les investisseurs ou les fondations d'investissement qui soutiennent Doge Matrix. Le projet semble s'appuyer principalement sur le soutien de la communauté plutôt que sur des investissements institutionnels. Ce modèle s'aligne avec la nature axée sur la communauté de l'initiative, favorisant un environnement où la direction du projet est façonnée par ses participants plutôt que dictée par quelques investisseurs financiers. Comment Fonctionne Doge Matrix ($doge m) ? Les spécificités concernant les mécanismes opérationnels de Doge Matrix sont quelque peu vagues, reflétant une tendance plus large des projets dans l'espace des mèmes où les fonctionnalités innovantes ne sont pas toujours clairement articulées. Néanmoins, Doge Matrix semble conçu pour s'intégrer dans l'écosystème de cryptomonnaie existant en encourageant la participation des utilisateurs tout en s'appuyant sur les références culturelles familières associées à Dogecoin. Ses caractéristiques potentiellement uniques dérivent des interactions communautaires plutôt que des avancées technologiques, mettant l'accent sur les expériences partagées et la collaboration entre les détenteurs de jetons. Bien que les innovations exactes n'aient pas été explicitement décrites, le projet semble créer un espace où les membres de la communauté peuvent s'engager, partager des idées et propulser le potentiel du projet en avant. Chronologie de Doge Matrix ($doge m) Réfléchir à la chronologie du projet révèle des événements notables qui ont défini son parcours jusqu'à présent : 25 novembre 2024 : Doge Matrix a atteint sa valeur la plus élevée de tous les temps, marquant une étape significative dans son histoire précoce. 1er janvier 2025 : À l'inverse, Doge Matrix a atteint sa valeur la plus basse de tous les temps, illustrant la volatilité souvent associée aux cryptomonnaies, en particulier dans les premières étapes du cycle de vie d'un projet. En cours : Le projet continue d'être activement échangé et soutenu par sa communauté, bien que des jalons ou objectifs futurs spécifiques n'aient pas encore été divulgués. Points Clés sur Doge Matrix ($doge m) Focalisation sur la Communauté Au cœur de Doge Matrix se trouve un engagement envers l'engagement communautaire. Le projet prospère sur le principe de collaboration et d'objectifs partagés parmi ses membres, soulignant l'importance de l'effort collectif. Contrairement aux projets centralisés qui ont souvent une structure de leadership définie, Doge Matrix présente actuellement une approche plus fluide de la gouvernance, où la voix de chaque membre de la communauté compte. Volatilité Le marché des cryptomonnaies est notoire pour sa volatilité, et Doge Matrix ne fait pas exception. Son historique de prix reflète des fluctuations significatives entre des valeurs élevées et basses, ce qui est typique de nombreuses nouvelles cryptomonnaies mais souligne les risques associés à l'investissement dans des jetons émergents. Manque d'Informations Détailées L'une des caractéristiques les plus frappantes de Doge Matrix est la rareté d'informations détaillées concernant ses fondements technologiques et ses mécanismes opérationnels. Cette ambiguïté nécessite que les investisseurs potentiels effectuent une diligence raisonnable approfondie avant de s'engager avec le projet. Conclusion En résumé, Doge Matrix ($doge m) illustre une nouvelle vague de projets de cryptomonnaie qui s'appuient fortement sur l'engagement communautaire et la pertinence culturelle. Bien qu'il manque certains détails—tels qu'un leadership clair, des objectifs définis et une fonctionnalité détaillée—le projet a réussi à susciter l'intérêt au sein de la communauté crypto, tirant parti de l'attrait établi de la culture des mèmes. Comme pour tout investissement dans l'espace des cryptomonnaies, comprendre les risques inhérents et mener des recherches approfondies est essentiel pour les participants potentiels. Doge Matrix se dresse comme un rappel de la nature dynamique, parfois imprévisible de l'industrie crypto, marquée par une évolution constante et un enthousiasme pour les initiatives axées sur la communauté.

443 vues totalesPublié le 2025.02.03Mis à jour le 2025.02.03

Qu'est ce que DOGE M

Qu'est ce que $M

Comprendre Mantis ($M) : Une nouvelle ère dans l'interopérabilité inter-chaînes Dans le paysage en constante évolution du Web3 et des cryptomonnaies, de nouveaux projets s'efforcent d'offrir des solutions innovantes visant à améliorer l'expérience utilisateur et à élargir les possibilités fonctionnelles au sein de l'écosystème financier décentralisé. Un tel projet qui attire l'attention est Mantis ($M), un protocole pionnier fondé sur les principes de l'interopérabilité inter-chaînes et des règlements basés sur l'intention. Cet article explore les aspects essentiels de Mantis, y compris sa fonctionnalité de base, ses créateurs, son soutien à l'investissement, ses caractéristiques innovantes et ses jalons critiques. Qu'est-ce que Mantis ($M) ? Mantis est décrit comme un protocole de règlement d'intention multi-domaines qui simplifie les interactions inter-chaînes, permettant aux utilisateurs d'exécuter des transactions financières complexes sur diverses plateformes blockchain de manière transparente. Le protocole fonctionne à travers trois couches principales : Expression de l'intention : Les utilisateurs peuvent exprimer leurs objectifs de transaction en utilisant un langage naturel facilité par le DISE LLM, un modèle de langage AI avancé. Par exemple, un utilisateur pourrait exprimer le souhait d'échanger de l'Ethereum (ETH) contre du Solana (SOL) avec une tolérance de glissement spécifique de 1 %. Exécution : Cette couche utilise un réseau de solveurs qui rivalisent pour satisfaire les intentions des utilisateurs. Les transactions sont exécutées à l'aide de mécanismes tels que la Coïncidence des Désirs (CoWs) et les Enchères de Flux de Commandes (OFAs), qui garantissent que les demandes des utilisateurs sont satisfaites de manière optimale. Règlement : Tirant parti du protocole de Communication Inter-Blockchain (IBC), Mantis permet des transactions inter-chaînes atomiques, permettant aux utilisateurs d'opérer sur diverses chaînes prises en charge, y compris Ethereum, Solana et Cosmos. Mantis est conçu pour introduire une génération de rendement native pour les actifs inactifs, utilisant des preuves cryptographiques pour maintenir l'intégrité des transactions tout au long du processus. Créateurs et Équipe de Développement Mantis a été conçu par la Composable Foundation, une organisation axée sur la recherche, reconnue pour son accent sur les solutions d'interopérabilité blockchain. Cette fondation collabore avec des institutions académiques de renom, y compris l'Université de Harvard et l'Université de Lisbonne, contribuant à des efforts de recherche et développement approfondis qui informent l'architecture et la fonctionnalité de Mantis. L'engagement de la Composable Foundation à favoriser l'innovation dans l'espace blockchain positionne Mantis comme une solution robuste pour la demande croissante d'interopérabilité entre plusieurs réseaux blockchain. Investisseurs et Soutien Bien que les détails spécifiques concernant les investisseurs individuels n'aient pas été divulgués publiquement, Mantis bénéficie d'un soutien substantiel de diverses entités, y compris : Subventions écosystémiques des chaînes activées par l'IBC, qui soutiennent la croissance et l'intégration du protocole au sein des écosystèmes de finance décentralisée. Partenariats stratégiques avec des fournisseurs d'infrastructure qui améliorent les capacités réseau de Mantis et ses stratégies de déploiement. Financement via le trésor de la Composable Foundation, garantissant un soutien financier durable pour le développement continu et les coûts opérationnels. Ces efforts collaboratifs reflètent un consensus parmi les parties prenantes sur l'importance d'améliorer la fonctionnalité inter-chaînes et le potentiel d'utilité des innovations infrastructurelles de Mantis. Innovations Clés Mantis se distingue par plusieurs innovations pionnières qui améliorent sa fonctionnalité et son utilité : Intentions Agnostiques aux Chaînes : Les utilisateurs peuvent initier des transactions depuis n'importe quelle chaîne prise en charge tout en se réglant sur une autre. Cette flexibilité donne du pouvoir aux utilisateurs, favorisant une interaction accrue entre différentes plateformes. Interface Alimentée par l'IA : L'intégration du DISE LLM permet aux utilisateurs de réaliser des opérations DeFi complexes en utilisant un langage naturel, simplifiant ainsi les interactions et rendant la technologie blockchain accessible à un public plus large. Capture de MEV Inter-Domaines : Mantis crée un marché interne pour la valeur extractible maximale (MEV) à travers des compétitions entre solveurs. Cette approche innovante permet une plus grande efficacité et extraction de valeur dans des transactions complexes. Couche de Règlement Modulaire : Le protocole prend en charge diverses méthodes de vérification, y compris les preuves à connaissance nulle et les rollups optimistes, fournissant un cadre polyvalent qui peut s'adapter aux technologies blockchain émergentes. Chronologie Historique Le développement de Mantis est marqué par plusieurs jalons critiques qui tracent sa trajectoire et sa croissance : | Année | Jalons | |————|————————————————————————-| | 2022 | Développement du concept initial au sein de la division de recherche de la Composable Foundation. | | T3 2024 | Lancement du testnet avec des capacités de pontage entre Solana et Ethereum. | | T1 2025 | Événement de Génération de Token (TGE) anticipé en parallèle du lancement du mainnet. | | T2 2025 | Intégration attendue du DISE LLM et expansion des capacités inter-chaînes. | | H2 2025 | Soutien prévu pour plus de 15 chaînes grâce à de nouvelles mises à niveau de l'IBC. | Cette chronologie décrit l'évolution de Mantis, des discussions conceptuelles à la mise en œuvre active et aux phases de croissance futures. Stratégie de Croissance de l'Écosystème La stratégie de Mantis pour la croissance de l'écosystème comprend plusieurs initiatives conçues pour encourager la participation des utilisateurs et l'engagement des développeurs : Système de Crédits : Les utilisateurs peuvent gagner des crédits de protocole en fournissant de la liquidité et en participant à des programmes de parrainage. Ces crédits sont échangeables contre des incitations à l'avenir, favorisant une communauté d'utilisateurs robuste. Kit de Développement Logiciel Modulaire (SDK) : Cet ensemble d'outils permet aux développeurs de créer des applications basées sur des modèles axés sur l'intention utilisant l'infrastructure de Mantis, promouvant ainsi l'innovation au sein de son écosystème. Modèle de Gouvernance : À mesure que le protocole mûrit, les détenteurs de tokens $M auront une voix dans la gouvernance du protocole, leur permettant de voter sur les mises à niveau et les changements proposés, renforçant ainsi l'engagement communautaire et la décentralisation. Mantis représente une avancée significative dans le domaine de l'architecture inter-chaînes. En intégrant de manière transparente des algorithmes AI avancés avec un cadre de règlement robuste, Mantis cherche à s'attaquer aux problèmes de fragmentation au sein des écosystèmes multi-chaînes. Son approche innovante privilégie l'amélioration des expériences utilisateur tout en respectant les principes fondamentaux de décentralisation et de sécurité, établissant une nouvelle norme pour l'interopérabilité future des technologies blockchain. Alors que Mantis continue son parcours de croissance et de mise en œuvre, il promet d'être un projet à surveiller de près dans le paysage compétitif du Web3 et de la finance décentralisée. Avec son accent sur le franchissement des frontières et l'élévation de l'engagement des utilisateurs, Mantis est prêt à devenir une partie intégrante des développements futurs dans l'espace des cryptomonnaies.

89 vues totalesPublié le 2025.03.18Mis à jour le 2025.03.18

Qu'est ce que $M

Comment acheter M

Bienvenue sur HTX.com ! Nous vous permettons d'acheter MemeCore (M) de manière simple et pratique. Suivez notre guide étape par étape pour commencer votre parcours crypto.Étape 1 : Création de votre compte HTXUtilisez votre adresse e-mail ou votre numéro de téléphone pour ouvrir un compte sur HTX gratuitement. L'inscription se fait en toute simplicité et débloque toutes les fonctionnalités.Créer mon compteÉtape 2 : Choix du mode de paiement (rubrique Acheter des cryptosCarte de crédit/débit : utilisez votre carte Visa ou Mastercard pour acheter instantanément MemeCore (M).Solde :utilisez les fonds du solde de votre compte HTX pour trader en toute simplicité.Prestataire tiers :pour accroître la commodité d'utilisation, nous avons ajouté des modes de paiement populaires tels que Google Pay et Apple Pay.P2P :tradez directement avec d'autres utilisateurs sur HTX.OTC (de gré à gré) : nous offrons des services personnalisés et des taux de change compétitifs aux traders.Étape 3 : stockage de vos MemeCore (M)Après avoir acheté vos MemeCore (M), stockez-les sur votre compte HTX. Vous pouvez également les envoyer ailleurs via un transfert sur la blockchain ou les utiliser pour trader d'autres cryptos.Étape 4 : tradez des MemeCore (M)Tradez facilement MemeCore (M) sur le marché Spot de HTX. Il vous suffit d'accéder à votre compte, de sélectionner la paire de trading, d'exécuter vos trades et de les suivre en temps réel. Nous offrons une expérience conviviale aux débutants comme aux traders chevronnés.

889 vues totalesPublié le 2025.07.02Mis à jour le 2026.06.02

Comment acheter M

Discussions

Bienvenue dans la Communauté HTX. Ici, vous pouvez vous tenir informé(e) des derniers développements de la plateforme et accéder à des analyses de marché professionnelles. Les opinions des utilisateurs sur le prix de M (M) sont présentées ci-dessous.

活动图片