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

cointelegraphPubblicato 2026-07-29Pubblicato ultima volta 2026-07-29

Introduzione

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%

Crypto di tendenza

Domande pertinenti

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

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

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

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

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

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

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

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

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

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

Letture associate

Coldcard Hardware Wallet Hacked: 594 Bitcoin Withdrawn in 25 Minutes

The Coldcard hardware wallet has been compromised, with hackers stealing approximately 594.5 Bitcoin (~$40 million) from 500 addresses in just 25 minutes. The root cause was a critical software bug, undetected for five years, which disabled the device's secure chip for generating true random numbers. This led to the creation of private keys based on predictable data like the processor's serial number, drastically reducing cryptographic security. The attackers exploited this offline by brute-forcing possible seed phrases, finding active addresses on the public ledger, and signing transactions. Initially, Coinkite (Coldcard's maker) claimed only older models were at risk but later admitted all devices running the compromised firmware were vulnerable. CEO Rodolphe Novak (NVK) apologized but ruled out financial compensation for affected users. To secure funds, owners must urgently update their firmware to specific safe versions, generate a completely new seed phrase on the updated device, and transfer all assets to new addresses created with that new seed. While a BIP-39 passphrase can help, it does not replace this migration process. Other Coinkite products like TAPSIGNER were not affected. This incident underscores that even specialized hardware requires rigorous, independent code audits, especially for cryptographic functions. It parallels past failures, like a 2006 OpenSSL bug in Debian, and raises questions about whether automated code analysis can ever fully replace human scrutiny in critical security areas.

cryptonews.ru1 h fa

Coldcard Hardware Wallet Hacked: 594 Bitcoin Withdrawn in 25 Minutes

cryptonews.ru1 h fa

Trading

Spot

Articoli Popolari

Cosa è DOGE M

Doge Matrix ($doge m): La Nuova Razza di Criptovaluta Guidata dalla Comunità Introduzione Nel panorama in continua evoluzione delle criptovalute, nuovi progetti emergono costantemente, ciascuno con l'obiettivo di catturare l'interesse di investitori ed appassionati. Uno degli ultimi ingressi in questo dominio è Doge Matrix, rappresentato dal simbolo ticker $doge m. Questo progetto ha attirato attenzione grazie alle sue radici nella popolare cultura dei meme che circonda Dogecoin, stabilendo il suo posto all'interno dello spazio web3. Questo articolo mira a fornire un'analisi completa di Doge Matrix, coprendo la sua panoramica, il creatore, gli investitori, la funzionalità, la cronologia e gli aspetti notevoli. Cos'è Doge Matrix ($doge m)? Doge Matrix è un progetto di criptovaluta guidato dalla comunità che apparentemente si basa sull'ampio appeal di Dogecoin, una valuta digitale nota per il suo mascotte Shiba Inu e le sue origini nei meme. Sebbene gli obiettivi generali di Doge Matrix non siano ampiamente definiti, è caratterizzato da un impegno a sfruttare il coinvolgimento e il supporto della comunità. A differenza delle criptovalute tradizionali che spesso enfatizzano l'utilità o il valore intrinseco attraverso tecnologie sottostanti, Doge Matrix si posiziona all'interno di uno spazio che abbraccia il fenomeno culturale delle criptovalute, particolarmente attraente per coloro che risuonano con l'etica degli asset basati sui meme. Attraendo i punti di forza della comunità di Dogecoin, Doge Matrix opera come parte di un ecosistema più ampio, invitando alla partecipazione e all'impegno degli utenti che condividono un interesse per le criptovalute e il panorama digitale. Chi è il Creatore di Doge Matrix ($doge m)? L'identità del creatore di Doge Matrix rimane sconosciuta. Questa mancanza di trasparenza non è un evento raro nello spazio delle criptovalute, dove alcuni progetti vengono lanciati senza rivelare le identità dei loro fondatori. L'assenza di informazioni riguardanti il team fondatore può sollevare domande tra i potenziali investitori sulla responsabilità e la direzione del progetto. Chi sono gli Investitori di Doge Matrix ($doge m)? Al momento, non ci sono informazioni pubblicamente disponibili che dettagliano gli investitori o le fondazioni di investimento che supportano Doge Matrix. Il progetto sembra fare affidamento principalmente sul supporto della comunità piuttosto che su investimenti istituzionali. Questo modello si allinea con la natura guidata dalla comunità dell'iniziativa, favorendo un ambiente in cui la direzione del progetto è plasmata dai suoi partecipanti piuttosto che essere dettata da un selezionato gruppo di finanziatori. Come Funziona Doge Matrix ($doge m)? I dettagli riguardanti i meccanismi operativi di Doge Matrix sono piuttosto vaghi, riflettendo una tendenza più ampia di progetti nello spazio delle meme coin in cui le funzionalità innovative non sono sempre chiaramente articolate. Tuttavia, Doge Matrix sembra essere progettato per sfruttare l'ecosistema esistente delle criptovalute incoraggiando la partecipazione degli utenti mentre attinge ai riferimenti culturali familiari associati a Dogecoin. Le sue potenzialmente uniche caratteristiche derivano dalle interazioni della comunità piuttosto che dai progressi tecnologici, enfatizzando esperienze condivise e collaborazione tra i detentori di token. Sebbene le esatte innovazioni non siano state esplicitamente delineate, il progetto sembra creare uno spazio in cui i membri della comunità possono impegnarsi, condividere idee e promuovere il potenziale del progetto. Cronologia di Doge Matrix ($doge m) Riflettendo sulla cronologia del progetto, emergono eventi notevoli che hanno definito il suo percorso fino ad ora: 25 Novembre 2024: Doge Matrix ha raggiunto il suo valore massimo storico, segnando un traguardo significativo nella sua storia iniziale. 1 Gennaio 2025: Al contrario, Doge Matrix ha toccato il suo valore minimo storico, illustrando la volatilità spesso associata alle criptovalute, specialmente nelle prime fasi del ciclo di vita di un progetto. In Corso: Il progetto continua ad essere attivamente scambiato e supportato dalla sua comunità, sebbene specifici traguardi o obiettivi futuri debbano ancora essere divulgati. Punti Chiave su Doge Matrix ($doge m) Focus sulla Comunità Al centro di Doge Matrix c'è un impegno per il coinvolgimento della comunità. Il progetto prospera sulla premessa della collaborazione e degli obiettivi condivisi tra i suoi membri, enfatizzando l'importanza dello sforzo collettivo. A differenza dei progetti centralizzati che spesso hanno una struttura di leadership definita, Doge Matrix attualmente mostra un approccio più fluido alla governance, dove la voce di ogni membro della comunità conta. Volatilità Il mercato delle criptovalute è noto per la sua volatilità, e Doge Matrix non fa eccezione. La sua storia dei prezzi riflette fluttuazioni significative tra valori alti e bassi, il che è tipico di molte nuove criptovalute ma sottolinea i rischi associati all'investimento in token emergenti. Mancanza di Informazioni Dettagliate Una delle caratteristiche più sorprendenti di Doge Matrix è la scarsità di informazioni dettagliate riguardanti le sue fondamenta tecnologiche e i meccanismi operativi. Questa ambiguità richiede che i potenziali investitori conducano un'accurata due diligence prima di impegnarsi con il progetto. Conclusione In sintesi, Doge Matrix ($doge m) illustra una nuova ondata di progetti di criptovaluta che si basano fortemente sul coinvolgimento della comunità e sulla rilevanza culturale. Sebbene manchi di alcuni dettagli—come una leadership chiara, obiettivi definiti e funzionalità dettagliate—il progetto è riuscito a generare interesse all'interno della comunità crypto, sfruttando l'appello consolidato della cultura dei meme. Come per qualsiasi investimento nello spazio delle criptovalute, comprendere i rischi intrinseci e condurre una ricerca approfondita è essenziale per i potenziali partecipanti. Doge Matrix si erge come un promemoria della natura dinamica, a volte imprevedibile, dell'industria crypto, caratterizzata da un'evoluzione costante e dall'entusiasmo per le iniziative guidate dalla comunità.

421 Totale visualizzazioniPubblicato il 2025.02.03Aggiornato il 2025.02.03

Cosa è DOGE M

Cosa è $M

Comprendere Mantis ($M): Una Nuova Era nell'Interoperabilità Cross-Chain Nel panorama in continua evoluzione del Web3 e delle criptovalute, nuovi progetti si sforzano di offrire soluzioni innovative mirate a migliorare l'esperienza dell'utente e ad ampliare le possibilità funzionali all'interno dell'ecosistema finanziario decentralizzato. Uno di questi progetti che sta attirando attenzione è Mantis ($M), un protocollo pionieristico fondato sui principi dell'interoperabilità cross-chain e dei pagamenti basati sull'intento. Questo articolo esplora gli aspetti essenziali di Mantis, inclusa la sua funzionalità principale, i creatori, il supporto agli investimenti, le caratteristiche innovative e le tappe fondamentali. Che cos'è Mantis ($M)? Mantis è descritto come un protocollo di regolamento dell'intento multi-dominio che semplifica le interazioni cross-chain, consentendo agli utenti di eseguire transazioni finanziarie complesse su varie piattaforme blockchain senza soluzione di continuità. Il protocollo opera attraverso tre livelli principali: Espressione dell'Intento: Gli utenti possono articolare i loro obiettivi di transazione utilizzando un linguaggio naturale facilitato dal DISE LLM, un avanzato modello di linguaggio AI. Ad esempio, un utente potrebbe esprimere il desiderio di scambiare Ethereum (ETH) con Solana (SOL) con una tolleranza di slippage specifica dell'1%. Esecuzione: Questo livello impiega una rete di risolutori che competono per soddisfare gli intenti degli utenti. Le transazioni vengono eseguite utilizzando meccanismi come la Coincidenza dei Desideri (CoWs) e le Aste sul Flusso degli Ordini (OFAs), che garantiscono che le richieste degli utenti siano soddisfatte in modo ottimale. Regolamento: Sfruttando il protocollo di Comunicazione Inter-Blockchain (IBC), Mantis consente transazioni atomic cross-chain, permettendo agli utenti di operare su varie catene supportate, tra cui Ethereum, Solana e Cosmos. Mantis è progettato per introdurre generazione di rendimento nativa per asset inattivi, impiegando prove crittografiche per mantenere l'integrità delle transazioni durante l'intero processo. Creatori e Team di Sviluppo Mantis è stato concepito dalla Composable Foundation, un'organizzazione orientata alla ricerca nota per il suo focus sulle soluzioni di interoperabilità blockchain. Questa fondazione collabora con istituzioni accademiche di prestigio, tra cui l'Università di Harvard e l'Università di Lisbona, contribuendo a sforzi di ricerca e sviluppo estesi che informano l'architettura e la funzionalità di Mantis. L'impegno della Composable Foundation a promuovere l'innovazione nello spazio blockchain posiziona Mantis come una soluzione robusta per la crescente domanda di interoperabilità tra più reti blockchain. Investitori e Supporto Sebbene i dettagli specifici sugli investitori individuali non siano stati resi pubblici, Mantis gode di un sostegno sostanziale da parte di vari enti, tra cui: Sovvenzioni ecosistemiche da catene abilitate IBC, che supportano la crescita e l'integrazione del protocollo all'interno degli ecosistemi finanziari decentralizzati. Partnership strategiche con fornitori di infrastrutture che migliorano le capacità di rete e le strategie di distribuzione di Mantis. Finanziamenti attraverso il tesoro della Composable Foundation, garantendo un supporto finanziario sostenuto per lo sviluppo continuo e i costi operativi. Questi sforzi collaborativi riflettono un consenso tra le parti interessate sull'importanza di migliorare la funzionalità cross-chain e il potenziale utilizzo delle innovazioni infrastrutturali di Mantis. Innovazioni Chiave Mantis si distingue attraverso diverse innovazioni pionieristiche che migliorano la sua funzionalità e utilità: Intenti Agnostici alla Catena: Gli utenti possono avviare transazioni da qualsiasi catena supportata mentre si regolano su un'altra. Questa flessibilità potenzia gli utenti, aumentando l'interazione tra diverse piattaforme. Interfaccia Potenziata dall'AI: L'integrazione del DISE LLM consente agli utenti di condurre operazioni DeFi complesse utilizzando un linguaggio naturale, semplificando così le interazioni e rendendo la tecnologia blockchain accessibile a un pubblico più ampio. Cattura MEV Cross-Domain: Mantis crea un mercato interno per il valore massimamente estraibile (MEV) attraverso competizioni tra risolutori. Questo approccio innovativo consente una maggiore efficienza e estrazione di valore in transazioni complesse. Strato di Regolamento Modulare: Il protocollo supporta vari metodi di verifica, comprese le prove a conoscenza zero e i rollup ottimistici, fornendo un framework versatile che può adattarsi alle tecnologie blockchain emergenti. Cronologia Storica Lo sviluppo di Mantis è contrassegnato da diverse tappe fondamentali che tracciano la sua traiettoria e crescita: | Anno | Tappa | |————|————————————————————————| | 2022 | Sviluppo del concetto iniziale all'interno della divisione di ricerca della Composable Foundation. | | Q3 2024 | Lancio del testnet con capacità di bridging tra Solana ed Ethereum. | | Q1 2025 | Evento di Generazione di Token (TGE) previsto insieme al lancio della mainnet. | | Q2 2025 | Integrazione attesa del DISE LLM e espansione delle capacità cross-chain. | | 2025 H2 | Supporto pianificato per oltre 15 catene attraverso ulteriori aggiornamenti IBC. | Questa cronologia delinea l'evoluzione di Mantis, dalle discussioni concettuali all'implementazione attiva e alle fasi di crescita future. Strategia di Crescita dell'Ecosistema La strategia di Mantis per la crescita dell'ecosistema include diverse iniziative progettate per incoraggiare la partecipazione degli utenti e il coinvolgimento degli sviluppatori: Sistema di Crediti: Gli utenti possono guadagnare crediti del protocollo fornendo liquidità e partecipando a programmi di referral. Questi crediti sono riscattabili per incentivi futuri, promuovendo una comunità utente robusta. Kit di Sviluppo Software Modulare (SDK): Questo toolkit consente agli sviluppatori di creare applicazioni basate su modelli guidati dall'intento utilizzando l'infrastruttura di Mantis, promuovendo così l'innovazione all'interno del suo ecosistema. Modello di Governance: Man mano che il protocollo matura, i detentori di token $M avranno voce in capitolo nella governance del protocollo, consentendo loro di votare su aggiornamenti e modifiche proposti, migliorando così il coinvolgimento della comunità e la decentralizzazione. Mantis rappresenta un significativo avanzamento nel campo dell'architettura cross-chain. Integrando senza soluzione di continuità algoritmi AI avanzati con un robusto framework di regolamento, Mantis cerca di affrontare i problemi di frammentazione all'interno degli ecosistemi multi-chain. Il suo approccio innovativo prioritizza il miglioramento delle esperienze degli utenti, mantenendo i principi fondamentali di decentralizzazione e sicurezza, stabilendo un nuovo standard per l'interoperabilità futura delle tecnologie blockchain. Man mano che Mantis continua il suo percorso di crescita e implementazione, promette di essere un progetto da seguire da vicino nel competitivo panorama del Web3 e della finanza decentralizzata. Con il suo focus sul superamento dei confini e sull'elevazione del coinvolgimento degli utenti, Mantis è destinato a diventare una parte integrante dei futuri sviluppi nel campo delle criptovalute.

87 Totale visualizzazioniPubblicato il 2025.03.18Aggiornato il 2025.03.18

Cosa è $M

Come comprare M

Benvenuto in HTX.com! Abbiamo reso l'acquisto di MemeCore (M) semplice e conveniente. Segui la nostra guida passo passo per intraprendere il tuo viaggio nel mondo delle criptovalute.Step 1: Crea il tuo Account HTXUsa la tua email o numero di telefono per registrarti il tuo account gratuito su HTX. Vivi un'esperienza facile e sblocca tutte le funzionalità,Crea il mio accountStep 2: Vai in Acquista crypto e seleziona il tuo metodo di pagamentoCarta di credito/debito: utilizza la tua Visa o Mastercard per acquistare immediatamente MemeCoreM.Bilancio: Usa i fondi dal bilancio del tuo account HTX per fare trading senza problemi.Terze parti: abbiamo aggiunto metodi di pagamento molto utilizzati come Google Pay e Apple Pay per maggiore comodità.P2P: Fai trading direttamente con altri utenti HTX.Over-the-Counter (OTC): Offriamo servizi su misura e tassi di cambio competitivi per i trader.Step 3: Conserva MemeCore (M)Dopo aver acquistato MemeCore (M), conserva nel tuo account HTX. In alternativa, puoi inviare tramite trasferimento blockchain o scambiare per altre criptovalute.Step 4: Scambia MemeCore (M)Scambia facilmente MemeCore (M) nel mercato spot di HTX. Accedi al tuo account, seleziona la tua coppia di trading, esegui le tue operazioni e monitora in tempo reale. Offriamo un'esperienza user-friendly sia per chi ha appena iniziato che per i trader più esperti.

524 Totale visualizzazioniPubblicato il 2025.07.02Aggiornato il 2026.06.02

Come comprare M

Discussioni

Benvenuto nella Community HTX. Qui puoi rimanere informato sugli ultimi sviluppi della piattaforma e accedere ad approfondimenti esperti sul mercato. Le opinioni degli utenti sul prezzo di M M sono presentate come di seguito.

活动图片