Zcash 称 Ironwood 的证明排除了不可检测的伪造漏洞

cointelegraphPublicado em 2026-07-29Última atualização em 2026-07-29

Resumo

Zcash研究人员已完成对Ironwood的形式化验证,发布了一份机器可验证证明,确认该网络的新匿名资产池在其声明的密码学假设下不存在不可检测的伪造漏洞。 该项目周二宣布,该证明使用Lean编程语言编写,包含超过2700条定理,由三组研究人员和密码学家耗时一个多月完成。这项工作确立了一项名为"余额完整性"的安全特性,旨在确保匿名池支付的总价值不会超过公开转入的价值。 证明涵盖了实现该特性所需的组件,包括Ironwood的零知识证明系统、电路规则和账本级会计处理,但未涉及Ironwood独立的隐私保障功能。 Ironwood通过Zcash的NU6.3升级引入,旨在修复其Orchard匿名池中发现的一个理论上可能允许不可检测地伪造ZEC的漏洞。开发者表示未发现该漏洞被利用的证据。新池的设计旨在恢复对Zcash供应完整性的信心。 从Orchard迁移的资金必须经过一个称为"转闸"的公共会计检查点,该机制旨在防止任何假设中多出的代币进入Ironwood。随着资金离开Orchard,此过程也可能为旧池是否曾被利用提供越来越多的证据。

Zcash 研究人员已经完成了对 Ironwood 的形式化验证,发布了一份机器可检查的证明,表明该网络的新匿名池在其声明的密码学假设下不包含不可检测的伪造漏洞。

周二,Tachyon 项目表示,这份用 Lean 编程语言编写的证明包含了超过 2,700 个定理,由三组研究人员和密码学家花费了一个多月时间完成。这项工作建立了一个名为 "余额完整性" 的安全属性,旨在确保匿名池不能支付超出公开存入总值的资产。

研究人员表示,该证明涵盖了实现该属性所需的组件,包括 Ironwood 的零知识证明系统、电路规则和账本级会计处理。它不涵盖 Ironwood 独立的隐私保证。

Ironwood 是通过 Zcash 的 NU6.3 升级引入的,旨在应对在其 Orchard 匿名池中发现的一个漏洞,该漏洞理论上可能实现不可检测的 ZEC 伪造。Zcash 开发人员表示,没有发现该漏洞曾被利用的证据。新匿名池旨在恢复人们对 Zcash 供应完整性的信心。

从 Orchard 迁移的资金必须通过一个被称为 "旋转门" 的公共会计检查点,该检查点旨在防止任何假想的超额币进入 Ironwood。随着资金离开 Orchard,该过程也可能提供越来越多的证据,以表明旧的匿名池是否曾被利用。

相关:为何 ZEC 在 Zcash 修复匿名池漏洞后仍下跌 40%

Criptomoedas em alta

Perguntas relacionadas

QZcash 的 Ironwood 项目正式验证了什么?

AZcash 的研究人员完成了对 Ironwood 的形式化验证,发布了一份机器检查证明,确认在其声明的密码学假设下,这个新的屏蔽资金池不存在无法被检测的伪造漏洞。

Q关于 Ironwood 的安全性证明涉及哪些方面,又排除了什么?

A该证明涵盖了确保该安全属性所需的组件,包括 Ironwood 的零知识证明系统、电路规则和账本级核算。但它并未覆盖 Ironwood 独立的隐私保证。

QIronwood 是为了应对什么漏洞而推出的?

AIronwood 是通过 Zcash 的 NU6.3 升级引入的,旨在应对其 Orchard 屏蔽资金池中发现的一个漏洞,该漏洞理论上可能实现无法被检测的 ZEC 伪造。Zcash 开发者表示没有发现该漏洞被利用的证据。

QIronwood 如何确保资金不会携带超额价值进入?

A从 Orchard 迁移的资金必须通过一个被称为“旋转门”的公共核算检查点,这个设计旨在防止任何假想中的超额代币进入 Ironwood。

QOrchard 资金池资金流出的过程有何作用?

A随着资金离开 Orchard,这一过程也可能提供越来越多的证据,来表明旧的资金池是否曾被利用过。

Leituras Relacionadas

Trading

Spot

Artigos em Destaque

O que é DOGE M

Doge Matrix ($doge m): A Nova Raça de Criptomoeda Orientada pela Comunidade Introdução No panorama em constante evolução das criptomoedas, novos projetos surgem constantemente, cada um visando captar o interesse de investidores e entusiastas. Um dos mais recentes entrantes neste domínio é o Doge Matrix, representado pelo símbolo de ticker $doge m. Este projeto atraiu atenção graças às suas raízes na popular cultura de memes em torno do Dogecoin, estabelecendo o seu lugar dentro do espaço web3. Este artigo visa fornecer uma análise abrangente do Doge Matrix, cobrindo a sua visão geral, criador, investidores, funcionalidade, cronologia e aspetos notáveis. O que é o Doge Matrix ($doge m)? O Doge Matrix é um projeto de criptomoeda orientado pela comunidade que aparentemente se baseia no apelo generalizado do Dogecoin, uma moeda digital conhecida pelo seu mascote Shiba Inu e pelas suas origens em memes. Embora os objetivos gerais do Doge Matrix não estejam extensivamente definidos, caracteriza-se por um compromisso em aproveitar o envolvimento e o apoio da comunidade. Ao contrário das criptomoedas tradicionais que muitas vezes enfatizam a utilidade ou o valor intrínseco através de tecnologias subjacentes, o Doge Matrix posiciona-se dentro de um espaço que abraça o fenómeno cultural das criptomoedas, apelando particularmente àqueles que se identificam com a ética dos ativos baseados em memes. Aproveitando as forças da comunidade Dogecoin, o Doge Matrix opera como parte de um ecossistema mais amplo, convidando à participação e ao envolvimento de utilizadores que partilham um interesse pela criptomoeda e pelo espaço digital. Quem é o Criador do Doge Matrix ($doge m)? A identidade do criador do Doge Matrix permanece desconhecida. Esta falta de transparência não é uma ocorrência incomum no espaço das criptomoedas, onde alguns projetos são lançados sem revelar as identidades dos seus fundadores. A ausência de informação sobre a equipa fundadora pode levantar questões entre potenciais investidores sobre a responsabilidade e a direção do projeto. Quem são os Investidores do Doge Matrix ($doge m)? Atualmente, não há informações disponíveis publicamente que detalhem os investidores ou as fundações de investimento que apoiam o Doge Matrix. O projeto parece depender principalmente do apoio da comunidade em vez de investimento institucional. Este modelo alinha-se com a natureza orientada pela comunidade da iniciativa, promovendo um ambiente onde a direção do projeto é moldada pelos seus participantes em vez de ser ditada por um pequeno grupo de financiadores. Como Funciona o Doge Matrix ($doge m)? Os detalhes sobre os mecanismos operacionais do Doge Matrix são um tanto vagos, refletindo uma tendência mais ampla de projetos no espaço das moedas meme, onde funcionalidades inovadoras nem sempre são claramente articuladas. No entanto, o Doge Matrix parece ser projetado para aproveitar o ecossistema existente de criptomoedas, incentivando a participação dos utilizadores enquanto se liga às referências culturais familiares associadas ao Dogecoin. As suas características potencialmente únicas derivam das interações da comunidade em vez de avanços tecnológicos, enfatizando experiências partilhadas e colaboração entre os detentores de tokens. Embora as inovações exatas não tenham sido explicitamente delineadas, o projeto parece criar um espaço onde os membros da comunidade podem interagir, partilhar ideias e impulsionar o potencial do projeto para a frente. Cronologia do Doge Matrix ($doge m) Refletir sobre a cronologia do projeto revela eventos notáveis que definiram a sua jornada até agora: 25 de Novembro de 2024: O Doge Matrix alcançou o seu valor máximo histórico, marcando um marco significativo na sua história inicial. 1 de Janeiro de 2025: Por outro lado, o Doge Matrix atingiu o seu valor mínimo histórico, ilustrando a volatilidade frequentemente associada às criptomoedas, especialmente nas fases iniciais do ciclo de vida de um projeto. Em Curso: O projeto continua a ser ativamente negociado e apoiado pela sua comunidade, embora marcos ou objetivos futuros específicos ainda não tenham sido divulgados. Pontos Chave Sobre o Doge Matrix ($doge m) Foco na Comunidade No coração do Doge Matrix está um compromisso com o envolvimento da comunidade. O projeto prospera na premissa de colaboração e objetivos partilhados entre os seus membros, enfatizando a importância do esforço coletivo. Ao contrário de projetos centralizados que muitas vezes têm uma estrutura de liderança definida, o Doge Matrix apresenta atualmente uma abordagem mais fluida à governança, onde a voz de cada membro da comunidade importa. Volatilidade O mercado de criptomoedas é notório pela sua volatilidade, e o Doge Matrix não é exceção. A sua história de preços reflete flutuações significativas entre valores altos e baixos, o que é típico de muitas novas criptomoedas, mas sublinha os riscos associados ao investimento em tokens emergentes. Falta de Informação Detalhada Uma das características mais marcantes do Doge Matrix é a escassez de informação detalhada sobre os seus fundamentos tecnológicos e mecanismos operacionais. Esta ambiguidade exige que potenciais investidores realizem uma diligência prévia minuciosa antes de se envolverem com o projeto. Conclusão Em resumo, o Doge Matrix ($doge m) ilustra uma nova onda de projetos de criptomoeda que dependem fortemente do envolvimento da comunidade e da relevância cultural. Embora falte em certos pormenores—como liderança clara, objetivos definidos e funcionalidade detalhada—o projeto conseguiu gerar interesse dentro da comunidade cripto, aproveitando o apelo estabelecido da cultura de memes. Como em qualquer investimento no espaço das criptomoedas, compreender os riscos inerentes e realizar uma pesquisa abrangente é essencial para potenciais participantes. O Doge Matrix serve como um lembrete da natureza dinâmica, por vezes imprevisível, da indústria cripto, marcada por uma evolução constante e entusiasmo por iniciativas orientadas pela comunidade.

545 Visualizações TotaisPublicado em {updateTime}Atualizado em 2025.02.03

O que é DOGE M

O que é $M

Compreender o Mantis ($M): Uma Nova Era na Interoperabilidade entre Cadeias No panorama em constante evolução do Web3 e das criptomoedas, novos projetos esforçam-se por oferecer soluções inovadoras destinadas a melhorar a experiência do utilizador e expandir as possibilidades funcionais dentro do ecossistema financeiro descentralizado. Um desses projetos que está a ganhar atenção é o Mantis ($M), um protocolo pioneiro fundado nos princípios da interoperabilidade entre cadeias e liquidações baseadas em intenções. Este artigo explora os aspetos essenciais do Mantis, incluindo a sua funcionalidade central, criadores, apoio ao investimento, características inovadoras e marcos críticos. O que é o Mantis ($M)? O Mantis é descrito como um protocolo de liquidação de intenções multi-domínio que simplifica as interações entre cadeias, permitindo que os utilizadores executem transações financeiras complexas em várias plataformas de blockchain de forma contínua. O protocolo opera através de três camadas principais: Expressão de Intenção: Os utilizadores podem articular os seus objetivos de transação utilizando linguagem natural facilitada pelo DISE LLM, um modelo avançado de linguagem de IA. Por exemplo, um utilizador pode expressar o desejo de trocar Ethereum (ETH) por Solana (SOL) com uma tolerância de slippage específica de 1%. Execução: Esta camada utiliza uma rede de solucionadores que competem para satisfazer as intenções dos utilizadores. As transações são executadas utilizando mecanismos como Coincidência de Vontades (CoWs) e Leilões de Fluxo de Ordens (OFAs), que garantem que as exigências dos utilizadores sejam atendidas de forma otimizada. Liquidação: Aproveitando o protocolo de Comunicação Inter-Blockchain (IBC), o Mantis permite transações atómicas entre cadeias, permitindo que os utilizadores operem em várias cadeias suportadas, incluindo Ethereum, Solana e Cosmos. O Mantis é projetado para introduzir geração de rendimento nativa para ativos inativos, utilizando provas criptográficas para manter a integridade das transações ao longo de todo o processo. Criadores e Equipa de Desenvolvimento O Mantis foi concebido pela Composable Foundation, uma organização orientada para a pesquisa notável pela sua ênfase em soluções de interoperabilidade de blockchain. Esta fundação colabora com instituições académicas de prestígio, incluindo a Universidade de Harvard e a Universidade de Lisboa, contribuindo para extensos esforços de pesquisa e desenvolvimento que informam a arquitetura e funcionalidade do Mantis. O compromisso da Composable Foundation em fomentar a inovação no espaço da blockchain posiciona o Mantis como uma solução robusta para a crescente demanda por interoperabilidade entre várias redes de blockchain. Investidores e Apoio Embora detalhes específicos sobre investidores individuais não tenham sido divulgados publicamente, o Mantis conta com um apoio substancial de várias entidades, incluindo: Subsídios de ecossistemas de cadeias habilitadas para IBC, que apoiam o crescimento e integração do protocolo dentro dos ecossistemas de finanças descentralizadas. Parcerias estratégicas com fornecedores de infraestrutura que melhoram as capacidades de rede do Mantis e as estratégias de implementação. Financiamento através do tesouro da Composable Foundation, garantindo apoio financeiro sustentado para o desenvolvimento contínuo e custos operacionais. Esses esforços colaborativos refletem um consenso entre as partes interessadas sobre a importância de melhorar a funcionalidade entre cadeias e o potencial utilitário das inovações infraestruturais do Mantis. Inovações Chave O Mantis distingue-se através de várias inovações pioneiras que melhoram a sua funcionalidade e utilidade: Intenções Agnósticas em Relação à Cadeia: Os utilizadores podem iniciar transações a partir de qualquer cadeia suportada enquanto liquidam em outra. Esta flexibilidade empodera os utilizadores, promovendo uma maior interação entre diferentes plataformas. Interface Potenciada por IA: A integração do DISE LLM permite que os utilizadores realizem operações DeFi complexas utilizando linguagem natural, simplificando assim as interações e tornando a tecnologia blockchain acessível a um público mais amplo. Captura de MEV Inter-Domínio: O Mantis cria um mercado interno para valor máximo extraível (MEV) através de competições entre solucionadores. Esta abordagem inovadora permite uma maior eficiência e extração de valor em transações complexas. Camada de Liquidação Modular: O protocolo suporta vários métodos de verificação, incluindo provas de conhecimento nulo e rollups otimistas, proporcionando uma estrutura versátil que pode adaptar-se a tecnologias de blockchain emergentes. Cronologia Histórica O desenvolvimento do Mantis é marcado por vários marcos críticos que traçam a sua trajetória e crescimento: | Ano | Marco | |————|————————————————————————| | 2022 | Desenvolvimento do conceito inicial dentro da divisão de pesquisa da Composable Foundation. | | Q3 2024 | Lançamento da testnet com capacidades de ponte entre Solana e Ethereum. | | Q1 2025 | Evento de Geração de Token (TGE) antecipado juntamente com o lançamento da mainnet. | | Q2 2025 | Integração esperada do DISE LLM e expansão das capacidades entre cadeias. | | 2025 H2 | Apoio planeado para mais de 15 cadeias através de mais atualizações do IBC. | Esta cronologia delineia a evolução do Mantis, desde discussões conceituais até à implementação ativa e fases de crescimento futuro. Estratégia de Crescimento do Ecossistema A estratégia do Mantis para o crescimento do ecossistema inclui várias iniciativas destinadas a incentivar a participação dos utilizadores e o envolvimento dos desenvolvedores: Sistema de Créditos: Os utilizadores podem ganhar créditos do protocolo ao fornecer liquidez e participar em programas de referência. Esses créditos são resgatáveis por incentivos no futuro, promovendo uma comunidade de utilizadores robusta. Kit de Desenvolvimento de Software Modular (SDK): Este kit de ferramentas capacita os desenvolvedores a criar aplicações baseadas em modelos orientados por intenções utilizando a infraestrutura do Mantis, promovendo assim a inovação dentro do seu ecossistema. Modelo de Governança: À medida que o protocolo amadurece, os detentores de tokens $M terão voz na governança do protocolo, permitindo-lhes votar em atualizações e alterações propostas, aumentando assim o envolvimento da comunidade e a descentralização. O Mantis representa um avanço significativo no domínio da arquitetura entre cadeias. Ao integrar de forma contínua algoritmos avançados de IA com uma estrutura de liquidação robusta, o Mantis procura abordar os problemas de fragmentação dentro de ecossistemas multi-cadeia. A sua abordagem inovadora prioriza a melhoria das experiências dos utilizadores, enquanto adere aos princípios fundamentais de descentralização e segurança, estabelecendo um novo padrão para a futura interoperabilidade das tecnologias blockchain. À medida que o Mantis continua a sua jornada de crescimento e implementação, promete ser um projeto a observar de perto no competitivo panorama do Web3 e das finanças descentralizadas. Com o seu foco em ultrapassar fronteiras e elevar o envolvimento dos utilizadores, o Mantis está posicionado para ser uma parte integral dos desenvolvimentos futuros no espaço das criptomoedas.

121 Visualizações TotaisPublicado em {updateTime}Atualizado em 2025.03.18

O que é $M

Como comprar M

Bem-vindo à HTX.com!Tornámos a compra de MemeCore (M) simples e conveniente.Segue o nosso guia passo a passo para iniciar a tua jornada no mundo das criptos.Passo 1: cria a tua conta HTXUtiliza o teu e-mail ou número de telefone para te inscreveres numa conta gratuita na HTX.Desfruta de um processo de inscrição sem complicações e desbloqueia todas as funcionalidades.Obter a minha contaPasso 2: vai para Comprar Cripto e escolhe o teu método de pagamentoCartão de crédito/débito: usa o teu visa ou mastercard para comprar MemeCore (M) instantaneamente.Saldo: usa os fundos da tua conta HTX para transacionar sem problemas.Terceiros: adicionamos métodos de pagamento populares, como Google Pay e Apple Pay, para aumentar a conveniência.P2P: transaciona diretamente com outros utilizadores na HTX.Mercado de balcão (OTC): oferecemos serviços personalizados e taxas de câmbio competitivas para os traders.Passo 3: armazena teu MemeCore (M)Depois de comprar o teu MemeCore (M), armazena-o na tua conta HTX.Alternativamente, podes enviá-lo para outro lugar através de transferência blockchain ou usá-lo para transacionar outras criptomoedas.Passo 4: transaciona MemeCore (M)Transaciona facilmente MemeCore (M) no mercado à vista da HTX.Acede simplesmente à tua conta, seleciona o teu par de trading, executa as tuas transações e monitoriza em tempo real.Oferecemos uma experiência de fácil utilização tanto para principiantes como para traders experientes.

650 Visualizações TotaisPublicado em {updateTime}Atualizado em 2026.06.02

Como comprar M

Discussões

Bem-vindo à Comunidade HTX. Aqui, pode manter-se informado sobre os mais recentes desenvolvimentos da plataforma e obter acesso a análises profissionais de mercado. As opiniões dos utilizadores sobre o preço de M (M) são apresentadas abaixo.

活动图片