Zcash afirma que la prueba de Ironwood descarta la existencia de errores de falsificación indetectables

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

Résumé

Los investigadores de Zcash han completado la verificación formal de Ironwood, publicando una prueba verificada por máquina que demuestra que la nueva 'piscina blindada' de la red no contiene errores indetectables de falsificación bajo sus supuestos criptográficos declarados. La prueba, escrita en el lenguaje de programación Lean, comprende más de 2.700 teoremas y requirió más de un mes de trabajo de tres equipos. Establece una propiedad de seguridad llamada integridad del saldo, diseñada para garantizar que la reserva blindada no pueda pagar más valor del que ha entrado públicamente en ella. La prueba cubre los componentes necesarios para esa propiedad, incluido el sistema de prueba de conocimiento cero de Ironwood. Ironwood se introdujo a través de la actualización NU6.3 en respuesta a una vulnerabilidad descubierta en su piscina blindada anterior, Orchard, que teóricamente podría haber permitido la falsificación indetectable de ZEC. Los fondos que migran desde Orchard deben pasar por un punto de control contable público, diseñado para evitar que cualquier exceso hipotético de monedas ingrese a Ironwood.

Los investigadores de Zcash han completado la verificación formal de Ironwood, publicando una prueba verificada por máquina de que el nuevo grupo protegido (shielded pool) de la red no contiene errores de falsificación indetectables bajo sus supuestos criptográficos establecidos.

El martes, el Proyecto Tachyon anunció que la prueba, escrita en el lenguaje de programación Lean, comprende más de 2.700 teoremas y llevó a tres equipos de investigadores y criptógrafos más de un mes completarla. El trabajo establece una propiedad de seguridad conocida como integridad del saldo, diseñada para garantizar que el grupo protegido no pueda pagar más valor del que ha entrado en él de manera pública.

Los investigadores dijeron que la prueba cubre los componentes necesarios para esa propiedad, incluidos el sistema de prueba de conocimiento cero de Ironwood, las reglas de circuito y la contabilidad a nivel de libro mayor. No cubre las garantías de privacidad separadas de Ironwood.

Ironwood se introdujo mediante la actualización NU6.3 de Zcash en respuesta a una vulnerabilidad descubierta en su grupo protegido Orchard que, en teoría, podría haber permitido la falsificación indetectable de ZEC. Los desarrolladores de Zcash afirmaron que no encontraron evidencia de que la falla hubiera sido explotada. El nuevo grupo fue diseñado para restaurar la confianza en la integridad del suministro de Zcash.

Los fondos que migren desde Orchard deben pasar por un punto de control de contabilidad pública conocido como torniquete (turnstile), diseñado para evitar que cualquier moneda hipotética en exceso ingrese a Ironwood. A medida que los fondos salen de Orchard, el proceso también podría proporcionar evidencia creciente sobre si el grupo antiguo fue explotado.

Relacionado: Por qué ZEC cayó un 40% incluso después de que Zcash parcheó un error en el grupo protegido

Cryptos en tendance

Questions liées

Q¿Qué lograron verificar formalmente los investigadores de Zcash con respecto a Ironwood?

ALos investigadores de Zcash completaron la verificación formal de Ironwood, publicando una prueba verificada por máquina de que el nuevo grupo protegido (shielded pool) de la red no contiene errores de falsificación indetectables bajo sus supuestos criptográficos establecidos.

Q¿Qué propiedad de seguridad establece el trabajo de prueba realizado en el lenguaje de programación Lean?

AEl trabajo de prueba establece una propiedad de seguridad conocida como integridad del balance (balance integrity), diseñada para garantizar que el grupo protegido no pueda pagar más valor del que ha entrado públicamente en él.

Q¿Por qué se introdujo Ironwood a través de la actualización NU6.3 de Zcash?

AIronwood se introdujo a través de la actualización NU6.3 de Zcash en respuesta a una vulnerabilidad descubierta en su grupo protegido Orchard que, teóricamente, podría haber permitido la falsificación indetectable de ZEC.

Q¿Qué es el 'turnstile' en el contexto de la migración de fondos desde Orchard a Ironwood?

AEl 'turnstile' (torniquete) es un punto de control de contabilidad pública por el que deben pasar los fondos que migran desde Orchard. Está diseñado para evitar que cualquier posible exceso hipotético de monedas entre en Ironwood.

Q¿Qué no cubre la prueba formal realizada sobre Ironwood?

ALa prueba formal no cubre las garantías de privacidad separadas de Ironwood. Solo cubre los componentes necesarios para la propiedad de integridad del balance, incluyendo su sistema de pruebas de conocimiento cero, las reglas del circuito y la contabilidad a nivel de ledger.

Lectures associées

« Chaque jour sans règles est une perte de capital » : Grayscale s'adresse au Sénat au sujet du CLARITY Act

La société d'investissement Grayscale a exhorté les dirigeants du Sénat américain à voter le projet de loi CLARITY Act avant la pause parlementaire d'août. Dans une lettre ouverte, l'entreprise souligne que le secteur des actifs numériques aux États-Unis évolue depuis des années sans cadre législatif clair, fonctionnant sous un régime imprévisible de "régulation par les poursuites". Grayscale affirme que cette incertitude nuit à la compétitivité du pays, entraînant une fuite des talents, de l'innovation et des capitaux vers des juridictions comme Singapour ou Abou Dhabi. Le CLARITY Act, issu d'un travail bipartite, vise à établir des règles précises pour le marché, à clarifier les juridictions de la CFTC et de la SEC, et à favoriser le développement d'ETF et autres produits régulés. Le texte a déjà passé l'étape de la commission bancaire. Grayscale reconnaît un calendrier législatif chargé mais insiste sur l'urgence d'un vote. Le projet suscite des débats politiques. Des républicains ont publié son texte intégral, mais son examen a été retardé par d'autres priorités. Un obstacle majeur, un ensemble d'amendements éthiques incluant une interdiction pour les fonctionnaires d'émettre des cryptomonnaies, aurait reçu l'aval de l'ancien président Trump. Cependant, le texte est critiqué par certaines figures, comme la procureure générale de New York Letitia James, qui craint qu'il n'affaiblisse la lutte contre les fraudes, et par des banques demandant l'interdiction des récompenses sur les stablecoins pour éviter un exode des dépôts.

cryptonews.ruIl y a 52 mins

« Chaque jour sans règles est une perte de capital » : Grayscale s'adresse au Sénat au sujet du CLARITY Act

cryptonews.ruIl y a 52 mins

Grayscale estime que l'émergence de 3 000 coffres-forts blockchain contenant des actifs d'une valeur supérieure à 7 milliards de dollars sera la prochaine avancée majeure dans le secteur des cryptomonnaies

Les stablecoins et les actifs tokenisés commencent déjà à transformer le système financier traditionnel. Grayscale estime que les « vaults » (coffres) sur blockchain pourraient être la prochaine innovation cryptographique à entrer dans le courant dominant. Ces vaults regroupent les capitaux des investisseurs dans des stratégies génératrices de rendement, gérées par des curateurs professionnels, et ressemblent aux obligations de crédit garanties (CLO) traditionnelles. La principale différence réside dans leur infrastructure : alors que les CLO s'appuient sur des intermédiaires, les vaults utilisent des contrats intelligents sur des blockchains comme Ethereum, Base et Solana. Cette approche offre transparence en temps réel, réduit les coûts administratifs et améliore la liquidité. Actuellement, le marché reste modeste avec plus de 3 000 vaults détenant environ 7 milliards de dollars d'actifs, principalement dans des stratégies liées aux stablecoins (79%). En comparaison, le marché mondial des CLO représente environ 1 500 milliards de dollars. Le principal défi à une adoption plus large est réglementaire. Les autorités américaines pourraient considérer ces vaults comme des titres si les curateurs exercent un pouvoir discrétionnaire important, créant une incertitude pour les investisseurs institutionnels qui nécessitent des cadres clairs. Malgré cela, Grayscale voit un potentiel significatif : le succès des vaults dépendra de leur capacité à allier l'efficacité des contrats intelligents avec le respect des normes juridiques et opérationnelles de la finance traditionnelle.

cryptonews.ruIl y a 53 mins

Grayscale estime que l'émergence de 3 000 coffres-forts blockchain contenant des actifs d'une valeur supérieure à 7 milliards de dollars sera la prochaine avancée majeure dans le secteur des cryptomonnaies

cryptonews.ruIl y a 53 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é.

472 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.

92 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.

914 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.

活动图片