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

Las acciones caen más fuerte que las criptomonedas, ¿a dónde fue el dinero?

En julio, la bolsa surcoreana Kospi registró caídas históricas, llegando a activar dos días consecutivos el mecanismo de fusión, con valores líderes como SK Hynix perdiendo cerca del 23% en dos jornadas. La situación reflejó un desapalancamiento forzoso global, golpeando duramente a las transacciones más concentradas, como los ETF apalancados sobre acciones individuales. Sorprendentemente, Bitcoin, conocido por su volatilidad, mostró una relativa estabilidad durante este período, incluso con cierta recuperación, mientras que los valores tecnológicos se desplomaban. El catalizador fue una combinación de ganancias que no cumplieron expectativas (como las de SK Hynix), la expansión competitiva de fabricantes como CXMT, y la presión por el desmantelamiento de operaciones de carry trade con yenes. Expertos como Dan Niles ven esto como una liquidación forzada a corto plazo, no como el fin del ciclo de la IA. Los fondos que salieron del mercado bursátil no se trasladaron a Bitcoin, que ya había sufrido sus propias salidas masivas de ETF en mayo y junio. En cambio, el flujo principal de capital buscó refugio en el oro. Para que llegue una entrada sustancial de capital a Bitcoin, se necesitan condiciones como un alivio en la presión de liquidez global, recortes de tasas de la Fed sin recesión, y la aprobación de regulaciones claras como la Ley CLARITY. Actualmente, Bitcoin no actúa como refugio, sino como un activo que ya ha sufrido su propia corrección. Sin embargo, su baja correlación con los mercados tradicionales lo posiciona favorablemente para una futura reasignación de capital cuando mejoren las condiciones macroeconómicas.

marsbitHace 2 hora(s)

Las acciones caen más fuerte que las criptomonedas, ¿a dónde fue el dinero?

marsbitHace 2 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.

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

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

活动图片