Zcash tuyên bố bằng chứng Ironwood loại trừ các lỗi làm giả không thể phát hiện

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

Resumen

Các nhà nghiên cứu Zcash đã hoàn tất xác minh chính thức cho Ironwood, công bố một bằng chứng được kiểm tra bằng máy tính chứng minh rằng shielded pool (bể chắn) mới của mạng lưới không chứa lỗi làm giả tiền không thể phát hiện dưới các giả định mật mã đã nêu. Bằng chứng, được viết bằng ngôn ngữ lập trình Lean, bao gồm hơn 2.700 định lý và cần hơn một tháng để ba nhóm nghiên cứu hoàn thành. Công trình này thiết lập một thuộc tính bảo mật gọi là tính toàn vẹn số dư, nhằm đảm bảo shielded pool không thể chi trả giá trị lớn hơn lượng đã được công khai đưa vào. Ironwood được giới thiệu qua bản nâng cấp NU6.3 của Zcash để đối phó với một lỗ hổng bảo mật tiềm tàng đã được phát hiện trong shielded pool Orchard trước đó, vốn trên lý thuyết có thể cho phép làm giả ZEC không thể phát hiện. Nhóm phát triển Zcash cho biết không có bằng chứng nào cho thấy lỗ hổng này bị khai thác. Bể chắn mới được thiết kế để khôi phục niềm tin vào tính toàn vẹn nguồn cung của Zcash.

Các nhà nghiên cứu Zcash đã hoàn tất xác minh chính thức cho Ironwood, công bố một bằng chứng được kiểm tra bằng máy rằng nhóm được bảo vệ mới của mạng lưới không chứa các lỗi làm giả không thể phát hiện dưới các giả định mật mã đã được nêu ra.

Vào thứ Ba, Dự án Tachyon cho biết rằng bằng chứng này, được viết bằng ngôn ngữ lập trình Lean, bao gồm hơn 2.700 định lý và đã mất hơn một tháng để ba nhóm nhà nghiên cứu và chuyên gia mật mã hoàn thành. Công trình này thiết lập một thuộc tính bảo mật được gọi là tính toàn vẹn số dư, được thiết kế để đảm bảo nhóm được bảo vệ không thể chi trả giá trị nhiều hơn giá trị đã được công khai đưa vào đó.

Các nhà nghiên cứu cho biết bằng chứng bao gồm các thành phần cần thiết cho thuộc tính đó, bao gồm hệ thống bằng chứng không tiết lộ thông tin (zero-knowledge proof) của Ironwood, các quy tắc mạch và kế toán ở cấp độ sổ cái. Nó không bao gồm các đảm bảo riêng tư riêng biệt của Ironwood.

Ironwood được giới thiệu thông qua bản nâng cấp NU6.3 của Zcash để đối phó với một lỗ hổng bảo mật được phát hiện trong nhóm được bảo vệ Orchard của nó, về lý thuyết có thể cho phép làm giả ZEC không thể phát hiện. Các nhà phát triển Zcash cho biết họ không tìm thấy bằng chứng nào cho thấy lỗi này đã bị khai thác. Nhóm mới được thiết kế để khôi phục niềm tin vào tính toàn vẹn nguồn cung của Zcash.

Các quỹ di chuyển từ Orchard phải đi qua một điểm kiểm tra kế toán công khai được gọi là cửa quay, được thiết kế để ngăn chặn bất kỳ đồng coin dư thừa giả định nào xâm nhập vào Ironwood. Khi các quỹ rời khỏi Orchard, quá trình này cũng có thể cung cấp bằng chứng ngày càng tăng về việc liệu nhóm cũ có bị khai thác hay không.

Liên quan: Tại sao ZEC giảm 40% ngay cả sau khi Zcash vá lỗi nhóm được bảo vệ

Criptos en tendencia

Preguntas relacionadas

QCác nhà nghiên cứu Zcash đã hoàn thành điều gì đối với Ironwood?

AHọ đã hoàn thành việc xác minh hình thức (formal verification) cho Ironwood, xuất bản một chứng minh được kiểm tra bằng máy chứng minh rằng pool được bảo vệ mới của mạng lưới không chứa lỗi làm giả không thể phát hiện dưới các giả định mật mã đã nêu.

QThuộc tính bảo mật 'balance integrity' nhằm đảm bảo điều gì?

AThuộc tính 'balance integrity' được thiết kế để đảm bảo rằng pool được bảo vệ (shielded pool) không thể chi trả giá trị lớn hơn giá trị đã được công khai đưa vào nó, tức là ngăn chặn việc tạo ra tiền giả.

QBản nâng cấp NU6.3 của Zcash giới thiệu Ironwood để đối phó với vấn đề gì?

ANU6.3 giới thiệu Ironwood để đối phó với một lỗ hổng bảo mật được phát hiện trong pool được bảo vệ Orchard trước đó, về lý thuyết có thể cho phép làm giả ZEC không thể phát hiện.

QQuá trình di chuyển tiền từ Orchard sang Ironwood phải tuân theo cơ chế nào để đảm bảo an toàn?

ATiền di chuyển từ Orchard phải đi qua một điểm kiểm tra kế toán công khai được gọi là 'turnstile', được thiết kế để ngăn chặn bất kỳ đồng tiền vượt quá giả định nào đi vào Ironwood.

QChứng minh về Ironwood không bao gồm khía cạnh nào?

AChứng minh không bao gồm các đảm bảo riêng tư (privacy guarantees) riêng biệt của Ironwood.

Lecturas Relacionadas

Stocks Fell Even More Violently Than Crypto, Where Did the Money Go?

From June to late July 2026, global stock markets, particularly technology and semiconductor stocks, experienced severe declines, with South Korea's KOSPI index facing historic circuit breakers and shedding 40% from its June peak. Key catalysts included SK Hynix's earnings miss despite record profits and competitive pressures from China's CXMT IPO. A global forced deleveraging event unfolded, devastating highly leveraged instruments like the 2x leveraged SK Hynix ETF, which lost over 80% of its value. Surprisingly, Bitcoin showed relative stability during this period, rising roughly 15% from its July low. The article clarifies this wasn't due to an inflow of equity flight capital but because Bitcoin had already undergone a significant correction in May and June, with U.S. spot Bitcoin ETFs seeing record outflows. True safe-haven flows went to gold, severing Bitcoin's short-term "digital gold" narrative. The sell-off is characterized not as an AI story collapse but a liquidity-driven清算 of crowded leveraged positions, potentially halfway through according to some analysts. For substantial capital to return to Bitcoin, the article cites necessary conditions: eased global liquidity pressure, a soft-landing Fed rate cut, and regulatory clarity from the stalled U.S. CLARITY Act. The conclusion is that Bitcoin is not a current safe haven but a pre-cleared asset. Its decoupling from tech stocks highlights its potential future role as a non-correlated asset for institutional portfolios, positioning it favorably for when global capital reallocates post-crisis.

marsbitHace 1 hora(s)

Stocks Fell Even More Violently Than Crypto, Where Did the Money Go?

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 integral 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. Si bien los objetivos generales de Doge Matrix no están ampliamente definidos, se caracteriza por un compromiso con 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. Aprovechando 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)? Hasta el momento, no hay información disponible públicamente que detalle los inversores o 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 existente de criptomonedas alentar la participación de los usuarios mientras se conecta con las referencias culturales familiares asociadas a 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. Si bien las innovaciones exactas no se han delineado explícitamente, el proyecto parece crear un espacio donde los miembros de la comunidad pueden interactuar, compartir ideas y propulsar 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 activamente negociado 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 notorio 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 nuevas criptomonedas, 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 diligencia debida 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. Si bien carece de ciertos detalles, como 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 participantes potenciales. 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.

458 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 central, 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 varias 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 un lenguaje natural facilitado por el DISE LLM, un modelo de lenguaje de IA avanzado. 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, utilizando 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 ecosistemas de finanzas descentralizadas. Asociaciones estratégicas con proveedores de infraestructura que mejoran las capacidades de la red de Mantis y sus estrategias de implementación. Financiamiento 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 máximo extraíble (MEV) a través de competencias 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 de Generación de Token (TGE) anticipado junto con el lanzamiento de la mainnet. | | Q2 2025 | Integración esperada del DISE LLM y expansión de las capacidades entre cadenas. | | 2025 H2 | 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 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 referidos. 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 poseedores 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 la experiencia del usuario 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 camino de crecimiento e implementación, promete ser un proyecto a seguir de cerca en el competitivo paisaje de Web3 y las finanzas descentralizadas. Con su enfoque en cruzar fronteras y elevar la participación del usuario, Mantis está preparado para ser una parte integral de los futuros desarrollos en el espacio de las criptomonedas.

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

875 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).

活动图片