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

¿Una transformación trascendental en la Fed? Informe: Warsh evalúa reducir la frecuencia de reuniones sobre tasas, rompiendo una práctica de 40 años

La presidenta de la Reserva Federal, Michelle Warsh, está considerando reducir la frecuencia de las reuniones periódicas del Comité Federal de Mercado Abierto (FOMC). Este cambio potencial, que rompería la práctica de "ocho reuniones al año, aproximadamente cada seis semanas" vigente desde 1981, representaría una de las transformaciones más significativas en las operaciones del banco central en décadas. Según el New York Times, la propuesta se discutió en una reunión esta semana, y un nuevo calendario podría acordarse antes de la próxima reunión de mediados de septiembre. La Ley Bancaria de 1935 exige al menos cuatro reuniones anuales del FOMC. El presidente Warsh ha solicitado comentarios a los funcionarios sobre la idea. La reducción del número de reuniones disminuiría las oportunidades de votar sobre las tasas de interés y podría afectar la capacidad de respuesta de la Fed a los cambios económicos, al tiempo que reduciría la transparencia al limitar las señales de política disponibles para el mercado. Esta iniciativa se enmarca en los esfuerzos de "reforma institucional" de Warsh, que ya han incluido declaraciones de política más breves y menos comentarios públicos sobre la economía. Históricamente, la frecuencia de las reuniones ha variado; en 1956 hubo 19 reuniones. Una evaluación interna de 1988 consideró que el esquema de ocho reuniones seguía siendo apropiado. La implementación de este cambio tendría un impacto profundo en los flujos de información del mercado, la flexibilidad de la política y la comunicación del banco central.

marsbitHace 58 min(s)

¿Una transformación trascendental en la Fed? Informe: Warsh evalúa reducir la frecuencia de reuniones sobre tasas, rompiendo una práctica de 40 años

marsbitHace 58 min(s)

Selecciones semanales del editor (Weekly Editor's Picks) (25-31 de julio)

**Resumen de la Selección del Editor Semanal (25-31 de julio)** La edición de esta semana destaca análisis profundos sobre incertidumbre financiera, tendencias tecnológicas y desarrollo regulatorio. La reunión de la Reserva Federal se perfila como una de las más inciertas en años, con el mercado dividido entre señales de desaceleración inflacionaria y posturas aún firmes contra la inflación persistente. En inversión y emprendimiento, se analiza la naturaleza de largo plazo del valor en criptomonedas, donde la persistencia supera al oportunismo. Se discute cómo los mercados globales de acciones, especialmente en tecnología, adoptan dinámicas similares a las de las criptomonedas, con narrativas y apalancamiento impulsando la volatilidad. Plataformas líderes como Hyperliquid y Polymarket enfrentan desafíos al expandirse más allá de sus mercados centrales, subrayando la importancia de la liquidez y los hábitos de usuario consolidados. En el ámbito de IA y almacenamiento, se examinan las crecientes preocupaciones sobre la deuda ligada a la expansión de infraestructura en la nube para IA y la reacción del mercado ante posibles excesos de oferta futuros en chips de memoria. El extraordinario rendimiento trimestral de SK Hynix no logró satisfacer las elevadas expectativas del mercado, reflejando la presión sobre los líderes del sector. Políticamente, la aprobación de la Ley CLARITY en EE.UU. se encuentra en una etapa crucial y políticamente compleja, con su destino aún incierto a pocos meses de las elecciones. Su posible fracaso podría tener un impacto limitado inmediato en el mercado pero complicaría futuros esfuerzos legislativos. Finalmente, en Ethereum, se anticipa un cambio estructural en el staking tras la actualización Pectra, que permitirá una gestión de capital más eficiente, aunque persiste una desconexión entre los fundamentos de la red y el precio de ETH. La semana también registró eventos de seguridad, como la compensación por liquidaciones anómalas en Trade.xyz, recordando los riesgos en la custodia de activos.

marsbitHace 1 hora(s)

Selecciones semanales del editor (Weekly Editor's Picks) (25-31 de julio)

marsbitHace 1 hora(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.

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

114 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.4k 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).

活动图片