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

cointelegraphPublicado a 2026-07-29Actualizado a 2026-07-29

Resumen

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

Criptos en tendencia

Preguntas relacionadas

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.

Lecturas Relacionadas

Irán lanza un 'ataque sorpresa' contra base estadounidense en Jordania; el precio del petróleo sube casi un 4%, poniendo en riesgo el avance del Bitcoin

Irán lanzó un "ataque sorpresa" con misiles balísticos contra una base estadounidense cerca de la base aérea jordana de Muwaffaq Salti el 28 de julio. El CENTCOM informó que las defensas Patriot interceptaron todos los misiles, sin reportar víctimas. Irán asumió la responsabilidad, calificándolo como respuesta a acciones "ilegales y maliciosas" de Washington. Este ataque rompió una breve pausa en el conflicto que comenzó en febrero. Los mercados financieros reaccionaron rápidamente: el precio del petróleo WTI subió un 3,95% a 83,08 dólares por barril, y el Brent un 3,86% a 87,34 dólares. Los futuros de los índices bursátiles estadounidenses también registraron ganancias moderadas. Este repunte revirtió en parte una fuerte caída de los precios del crudo días antes, tras señales de una pausa en las hostilidades, mostrando la volatilidad vinculada al ciclo de tensiones en la región. El mercado de criptomonedas siguió este patrón. El bitcoin, que se había recuperado a alrededor de 65,200 dólares el 27 de julio, cayó tras el ataque, cotizando en el rango de 63,600 a 63,800 dólares. A lo largo del conflicto, el BTC ha mostrado una tendencia a recuperar las pérdidas tras cada escalada, para luego retroceder con la siguiente. Aunque en ocasiones ha mostrado cierta resistencia independiente frente a los activos de riesgo tradicionales durante la crisis, el ataque del 28 de julio representa un desafío directo a la narrativa de "tregua" que sustentaba la calma relativa de la semana anterior.

cryptonews.ruHace 23 min(s)

Irán lanza un 'ataque sorpresa' contra base estadounidense en Jordania; el precio del petróleo sube casi un 4%, poniendo en riesgo el avance del Bitcoin

cryptonews.ruHace 23 min(s)

Los volúmenes de negociación en el mercado de criptomonedas se acercan a mínimos de tres años

En julio de 2026, el volumen de operaciones spot en el mercado de criptomonedas podría caer a su nivel más bajo desde noviembre de 2023, según un informe de K33 Research. Los datos muestran que el volumen diario promedio en los últimos 30 días fue de 2.200 millones de dólares, y la actividad en derivados también es débil. Los analistas atribuyen esta ralentización a la típica baja estacional de julio, la presión sobre los ingresos de los exchanges —como el cierre anunciado de BitMEX— y la cautela de los inversores debido a la baja volatilidad y la falta de una tendencia clara. Expertos señalan que el bajo volumen refleja un sentimiento de precaución, agravado por el contexto macroeconómico, incluyendo el conflicto entre Estados Unidos e Irán, los precios elevados del petróleo y los riesgos inflacionarios persistentes. Esto reduce la liquidez hacia activos de riesgo como las criptomonedas. Los flujos de los ETF spot de bitcoin han sido débiles, confirmando la actitud pasiva de los inversores institucionales. Los principales catalizadores para un cambio en el mercado serán los eventos macroeconómicos, especialmente las decisiones sobre los tipos de interés de la Reserva Federal (Fed). La incertidumbre sobre la política monetaria mantiene a los grandes actores a la espera de señales más claras. En la última reunión, la Fed mantuvo los tipos en el rango del 3,5%–3,75%, y los operadores están divididos sobre su próximo movimiento.

cryptonews.ruHace 26 min(s)

Los volúmenes de negociación en el mercado de criptomonedas se acercan a mínimos de tres años

cryptonews.ruHace 26 min(s)

Trading

Spot

Artículos destacados

Qué es DOGE M

Doge Matrix ($doge m): La Nueva Raza de Criptomonedas Impulsadas por la Comunidad Introducción En el paisaje en constante evolución de las criptomonedas, nuevos proyectos emergen constantemente, cada uno con el objetivo de captar el interés de inversores y entusiastas por igual. Uno de los últimos en entrar en este dominio es Doge Matrix, representado por el símbolo de ticker $doge m. Este proyecto ha atraído atención gracias a sus raíces en la popular cultura de memes que rodea a Dogecoin, estableciendo su lugar dentro del espacio web3. Este artículo tiene como objetivo proporcionar un análisis completo de Doge Matrix, cubriendo su visión general, creador, inversores, funcionalidad, cronología y aspectos notables. ¿Qué es Doge Matrix ($doge m)? Doge Matrix es un proyecto de criptomoneda impulsado por la comunidad que aparentemente se basa en el atractivo generalizado de Dogecoin, una moneda digital conocida por su mascota Shiba Inu y sus orígenes en memes. Aunque los objetivos generales de Doge Matrix no están ampliamente definidos, se caracteriza por un compromiso de aprovechar la participación y el apoyo de la comunidad. A diferencia de las criptomonedas tradicionales que a menudo enfatizan la utilidad o el valor intrínseco a través de tecnologías subyacentes, Doge Matrix se posiciona dentro de un espacio que abraza el fenómeno cultural de las criptomonedas, apelando particularmente a aquellos que resuenan con la ética de los activos basados en memes. Basándose en las fortalezas de la comunidad de Dogecoin, Doge Matrix opera como parte de un ecosistema más amplio, invitando a la participación y el compromiso de usuarios que comparten un interés en la criptomoneda y el paisaje digital. ¿Quién es el Creador de Doge Matrix ($doge m)? La identidad del creador de Doge Matrix sigue siendo desconocida. Esta falta de transparencia no es un acontecimiento poco común en el espacio de las criptomonedas, donde algunos proyectos se lanzan sin revelar las identidades de sus fundadores. La ausencia de información sobre el equipo fundador puede generar preguntas entre los posibles inversores sobre la responsabilidad y dirección del proyecto. ¿Quiénes son los Inversores de Doge Matrix ($doge m)? En la actualidad, no hay información disponible públicamente que detalle los inversores o las fundaciones de inversión que respaldan a Doge Matrix. El proyecto parece depender principalmente del apoyo de la comunidad en lugar de inversiones institucionales. Este modelo se alinea con la naturaleza impulsada por la comunidad de la iniciativa, fomentando un entorno donde la dirección del proyecto es moldeada por sus participantes en lugar de ser dictada por unos pocos patrocinadores financieros seleccionados. ¿Cómo Funciona Doge Matrix ($doge m)? Los detalles sobre los mecanismos operativos de Doge Matrix son algo vagos, reflejando una tendencia más amplia de proyectos en el espacio de las monedas meme donde las funcionalidades innovadoras no siempre están claramente articuladas. No obstante, Doge Matrix parece estar diseñado para aprovechar el ecosistema de criptomonedas existente al fomentar la participación de los usuarios mientras se apoya en las referencias culturales familiares asociadas con Dogecoin. Sus características potencialmente únicas derivan de las interacciones comunitarias en lugar de avances tecnológicos, enfatizando experiencias compartidas y colaboración entre los poseedores de tokens. Aunque las innovaciones exactas no se han delineado explícitamente, el proyecto parece crear un espacio donde los miembros de la comunidad pueden participar, compartir ideas y impulsar el potencial del proyecto hacia adelante. Cronología de Doge Matrix ($doge m) Reflexionar sobre la cronología del proyecto revela eventos notables que han definido su trayectoria hasta ahora: 25 de noviembre de 2024: Doge Matrix alcanzó su valor máximo histórico, marcando un hito significativo en su historia temprana. 1 de enero de 2025: Por el contrario, Doge Matrix alcanzó su valor mínimo histórico, ilustrando la volatilidad a menudo asociada con las criptomonedas, especialmente en las primeras etapas del ciclo de vida de un proyecto. En curso: El proyecto continúa siendo negociado activamente y respaldado por su comunidad, aunque aún no se han divulgado hitos u objetivos futuros específicos. Puntos Clave Sobre Doge Matrix ($doge m) Enfoque Comunitario En el corazón de Doge Matrix hay un compromiso con la participación de la comunidad. El proyecto prospera sobre la premisa de colaboración y objetivos compartidos entre sus miembros, enfatizando la importancia del esfuerzo colectivo. A diferencia de los proyectos centralizados que a menudo tienen una estructura de liderazgo definida, Doge Matrix actualmente muestra un enfoque más fluido hacia la gobernanza, donde la voz de cada miembro de la comunidad importa. Volatilidad El mercado de criptomonedas es conocido por su volatilidad, y Doge Matrix no es una excepción. Su historial de precios refleja fluctuaciones significativas entre valores altos y bajos, lo cual es típico de muchas criptomonedas nuevas, pero subraya los riesgos asociados con la inversión en tokens emergentes. Falta de Información Detallada Una de las características más llamativas de Doge Matrix es la escasez de información detallada sobre sus fundamentos tecnológicos y mecanismos operativos. Esta ambigüedad requiere que los posibles inversores realicen una debida diligencia exhaustiva antes de involucrarse con el proyecto. Conclusión En resumen, Doge Matrix ($doge m) ilustra una nueva ola de proyectos de criptomonedas que se apoyan en gran medida en la participación de la comunidad y la relevancia cultural. Aunque carece de ciertos detalles, como un liderazgo claro, objetivos definidos y funcionalidad detallada, el proyecto ha logrado generar interés dentro de la comunidad cripto, aprovechando el atractivo establecido de la cultura de memes. Al igual que con cualquier inversión en el espacio de las criptomonedas, comprender los riesgos inherentes y realizar una investigación exhaustiva es esencial para los posibles participantes. Doge Matrix se erige como un recordatorio de la naturaleza dinámica y, a veces, impredecible de la industria cripto, marcada por una evolución constante y entusiasmo por iniciativas impulsadas por la comunidad.

581 Vistas totalesPublicado en 2025.02.03Actualizado en 2025.02.03

Qué es DOGE M

Qué es $M

Entendiendo Mantis ($M): Una Nueva Era en la Interoperabilidad entre Cadenas En el paisaje en constante evolución de Web3 y las criptomonedas, nuevos proyectos se esfuerzan por ofrecer soluciones innovadoras destinadas a mejorar la experiencia del usuario y expandir las posibilidades funcionales dentro del ecosistema financiero descentralizado. Uno de estos proyectos que está ganando atención es Mantis ($M), un protocolo pionero fundado en los principios de interoperabilidad entre cadenas y liquidaciones basadas en intenciones. Este artículo profundiza en los aspectos esenciales de Mantis, incluyendo su funcionalidad principal, creadores, respaldo de inversión, características innovadoras y hitos críticos. ¿Qué es Mantis ($M)? Mantis se describe como un protocolo de liquidación de intenciones multi-dominio que simplifica las interacciones entre cadenas, permitiendo a los usuarios ejecutar transacciones financieras complejas a través de diversas plataformas de blockchain sin problemas. El protocolo opera a través de tres capas principales: Expresión de Intenciones: Los usuarios pueden articular sus objetivos de transacción utilizando lenguaje natural facilitado por el DISE LLM, un avanzado modelo de lenguaje de IA. Por ejemplo, un usuario podría expresar el deseo de intercambiar Ethereum (ETH) por Solana (SOL) con una tolerancia de deslizamiento específica del 1%. Ejecución: Esta capa emplea una red de solucionadores que compiten para cumplir con las intenciones de los usuarios. Las transacciones se ejecutan utilizando mecanismos como Coincidencia de Deseos (CoWs) y Subastas de Flujo de Órdenes (OFAs), que aseguran que las demandas de los usuarios se satisfagan de manera óptima. Liquidación: Aprovechando el protocolo de Comunicación Inter-Blockchain (IBC), Mantis permite transacciones atómicas entre cadenas, permitiendo a los usuarios operar a través de varias cadenas soportadas, incluyendo Ethereum, Solana y Cosmos. Mantis está diseñado para introducir generación de rendimiento nativa para activos inactivos, empleando pruebas criptográficas para mantener la integridad de las transacciones a lo largo de todo el proceso. Creadores y Equipo de Desarrollo Mantis fue concebido por la Composable Foundation, una organización impulsada por la investigación notable por su énfasis en soluciones de interoperabilidad de blockchain. Esta fundación colabora con instituciones académicas de renombre, incluyendo la Universidad de Harvard y la Universidad de Lisboa, contribuyendo a extensos esfuerzos de investigación y desarrollo que informan la arquitectura y funcionalidad de Mantis. El compromiso de la Composable Foundation de fomentar la innovación en el espacio de blockchain posiciona a Mantis como una solución robusta para la creciente demanda de interoperabilidad entre múltiples redes de blockchain. Inversores y Respaldo Si bien los detalles específicos sobre inversores individuales no se han divulgado públicamente, Mantis disfruta de un respaldo sustancial de varias entidades, incluyendo: Subvenciones del ecosistema de cadenas habilitadas por IBC, que apoyan el crecimiento del protocolo y su integración dentro de los ecosistemas de finanzas descentralizadas. Asociaciones estratégicas con proveedores de infraestructura que mejoran las capacidades de red y las estrategias de implementación de Mantis. Financiación a través del tesoro de la Composable Foundation, asegurando un apoyo financiero sostenido para el desarrollo continuo y los costos operativos. Estos esfuerzos colaborativos reflejan un consenso entre las partes interesadas sobre la importancia de mejorar la funcionalidad entre cadenas y la utilidad potencial de las innovaciones infraestructurales de Mantis. Innovaciones Clave Mantis se distingue por varias innovaciones pioneras que mejoran su funcionalidad y utilidad: Intenciones Agnósticas a la Cadena: Los usuarios pueden iniciar transacciones desde cualquier cadena soportada mientras liquidan en otra. Esta flexibilidad empodera a los usuarios, impulsando una mayor interacción entre diferentes plataformas. Interfaz Potenciada por IA: La integración del DISE LLM permite a los usuarios realizar operaciones complejas de DeFi utilizando lenguaje natural, simplificando así las interacciones y haciendo que la tecnología blockchain sea accesible a un público más amplio. Captura de MEV Inter-Dominio: Mantis crea un mercado interno para el valor extraíble máximo (MEV) a través de competiciones entre solucionadores. Este enfoque innovador permite una mayor eficiencia y extracción de valor en transacciones complejas. Capa de Liquidación Modular: El protocolo soporta varios métodos de verificación, incluyendo pruebas de conocimiento cero y rollups optimistas, proporcionando un marco versátil que puede adaptarse a las tecnologías de blockchain emergentes. Línea de Tiempo Histórica El desarrollo de Mantis está marcado por varios hitos críticos que trazan su trayectoria y crecimiento: | Año | Hito | |————|———————————————————————–| | 2022 | Desarrollo del concepto inicial dentro de la división de investigación de la Composable Foundation. | | Q3 2024 | Lanzamiento de la testnet con capacidades de puenteo entre Solana y Ethereum. | | Q1 2025 | Evento anticipado de Generación de Tokens (TGE) junto con el lanzamiento de la mainnet. | | Q2 2025 | Integración esperada del DISE LLM y expansión de las capacidades entre cadenas. | | H2 2025 | Soporte planeado para más de 15 cadenas a través de futuras actualizaciones de IBC. | Esta línea de tiempo describe la evolución de Mantis, desde discusiones conceptuales hasta la implementación activa y las fases de crecimiento futuro. Estrategia de Crecimiento del Ecosistema La estrategia de Mantis para el crecimiento del ecosistema incluye varias iniciativas diseñadas para fomentar la participación de los usuarios y el compromiso de los desarrolladores: Sistema de Créditos: Los usuarios pueden ganar créditos del protocolo al proporcionar liquidez y participar en programas de referencia. Estos créditos son canjeables por incentivos en el futuro, fomentando una comunidad de usuarios robusta. Kit de Desarrollo de Software Modular (SDK): Este conjunto de herramientas empodera a los desarrolladores para crear aplicaciones basadas en modelos impulsados por intenciones utilizando la infraestructura de Mantis, promoviendo así la innovación dentro de su ecosistema. Modelo de Gobernanza: A medida que el protocolo madura, los titulares de tokens $M tendrán voz en la gobernanza del protocolo, permitiéndoles votar sobre actualizaciones y cambios propuestos, mejorando así el compromiso de la comunidad y la descentralización. Mantis representa un avance significativo en el ámbito de la arquitectura entre cadenas. Al integrar sin problemas algoritmos avanzados de IA con un marco de liquidación robusto, Mantis busca abordar los problemas de fragmentación dentro de los ecosistemas multi-cadena. Su enfoque innovador prioriza la mejora de las experiencias de los usuarios mientras se adhiere a los principios fundamentales de descentralización y seguridad, estableciendo un nuevo estándar para la futura interoperabilidad de las tecnologías blockchain. A medida que Mantis continúa su viaje de crecimiento e implementación, promete ser un proyecto a seguir de cerca en el competitivo panorama de Web3 y las finanzas descentralizadas. Con su enfoque en cruzar fronteras y elevar el compromiso de los usuarios, Mantis está preparado para ser una parte integral de los futuros desarrollos en el espacio de las criptomonedas.

107 Vistas totalesPublicado en 2025.03.18Actualizado en 2025.03.18

Qué es $M

Cómo comprar M

¡Bienvenido a HTX.com! Hemos hecho que comprar MemeCore (M) sea simple y conveniente. Sigue nuestra guía paso a paso para iniciar tu viaje de criptos.Paso 1: crea tu cuenta HTXUtiliza tu correo electrónico o número de teléfono para registrarte y obtener una cuenta gratuita en HTX. Experimenta un proceso de registro sin complicaciones y desbloquea todas las funciones.Obtener mi cuentaPaso 2: ve a Comprar cripto y elige tu método de pagoTarjeta de crédito/débito: usa tu Visa o Mastercard para comprar MemeCore (M) al instante.Saldo: utiliza fondos del saldo de tu cuenta HTX para tradear sin problemas.Terceros: hemos agregado métodos de pago populares como Google Pay y Apple Pay para mejorar la comodidad.P2P: tradear directamente con otros usuarios en HTX.Over-the-Counter (OTC): ofrecemos servicios personalizados y tipos de cambio competitivos para los traders.Paso 3: guarda tu MemeCore (M)Después de comprar tu MemeCore (M), guárdalo en tu cuenta HTX. Alternativamente, puedes enviarlo a otro lugar mediante transferencia blockchain o utilizarlo para tradear otras criptomonedas.Paso 4: tradear MemeCore (M)Tradear fácilmente con MemeCore (M) en HTX's mercado spot. Simplemente accede a tu cuenta, selecciona tu par de trading, ejecuta tus trades y monitorea en tiempo real. Ofrecemos una experiencia fácil de usar tanto para principiantes como para traders experimentados.

1.3k Vistas totalesPublicado en 2025.07.02Actualizado en 2026.06.02

Cómo comprar M

Discusiones

Bienvenido a la comunidad de HTX. Aquí puedes mantenerte informado sobre los últimos desarrollos de la plataforma y acceder a análisis profesionales del mercado. A continuación se presentan las opiniones de los usuarios sobre el precio de M (M).

活动图片