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

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

Introduzione

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ệ

Crypto di tendenza

Domande pertinenti

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.

Letture associate

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.

marsbit2 h fa

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

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

活动图片