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

cointelegraph2026-07-29 tarihinde yayınlandı2026-07-29 tarihinde güncellendi

Özet

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%

Trend Kriptolar

İlgili Sorular

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

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

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

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

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

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

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

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

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

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

İlgili Okumalar

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.ru29 dk önce

Coldcard Hardware Wallet Hacked: 594 Bitcoin Withdrawn in 25 Minutes

cryptonews.ru29 dk önce

İşlemler

Spot

Popüler Makaleler

DOGE M Nedir

Doge Matrix ($doge m): Topluluk Destekli Kripto Paranın Yeni Türü Giriş Kripto para dünyası sürekli evrilen bir manzaraya sahipken, yeni projeler sürekli olarak ortaya çıkmakta ve her biri yatırımcıların ve meraklıların ilgisini çekmeyi hedeflemektedir. Bu alandaki en son katılımcılardan biri, $doge m sembolü ile temsil edilen Doge Matrix'tir. Bu proje, Dogecoin etrafındaki popüler meme kültürüne dayanan kökleri sayesinde dikkat çekmiş ve web3 alanında kendine bir yer edinmiştir. Bu makale, Doge Matrix'in genel bir analizini sunmayı amaçlamakta; genel bakış, yaratıcı, yatırımcılar, işlevsellik, zaman çizelgesi ve dikkat çekici yönleri kapsayacaktır. Doge Matrix ($doge m) Nedir? Doge Matrix, görünüşte Dogecoin'in geniş çekiciliği üzerine inşa edilen, topluluk destekli bir kripto para projesidir. Dogecoin, Shiba Inu maskotu ve meme kökenleri ile bilinen bir dijital para birimidir. Doge Matrix'in genel hedefleri geniş bir şekilde tanımlanmamış olsa da, topluluk katılımı ve desteğini kullanma taahhüdü ile karakterize edilmektedir. Geleneksel kripto paralardan farklı olarak, genellikle altyapı teknolojileri aracılığıyla fayda veya içsel değer vurgulayan Doge Matrix, kripto paraların kültürel fenomenini benimseyen bir alanda kendini konumlandırmaktadır; özellikle meme tabanlı varlıkların ethos'u ile özdeşleşenlere hitap etmektedir. Dogeoin topluluğunun güçlü yönlerinden yararlanan Doge Matrix, daha geniş bir ekosistemin parçası olarak faaliyet göstermekte ve kripto para ve dijital alanla ilgilenen kullanıcıların katılımını ve etkileşimini davet etmektedir. Doge Matrix'in ($doge m) Yaratıcısı Kimdir? Doge Matrix'in yaratıcısının kimliği bilinmemektedir. Bu şeffaflık eksikliği, bazı projelerin kurucularının kimliklerini açıklamadan başlatıldığı kripto para alanında yaygın bir durumdur. Kurucu ekip hakkında bilgi eksikliği, potansiyel yatırımcılar arasında projenin hesap verebilirliği ve yönü hakkında sorular doğurabilir. Doge Matrix'in ($doge m) Yatırımcıları Kimlerdir? Şu anda, Doge Matrix'i destekleyen yatırımcılar veya yatırım fonları hakkında kamuya açık bir bilgi bulunmamaktadır. Proje, esasen topluluk desteğine dayanmakta ve kurumsal yatırım yerine bu desteği kullanmaktadır. Bu model, girişimin topluluk destekli doğası ile uyumlu olup, projenin yönünün katılımcılar tarafından şekillendirildiği bir ortam yaratmaktadır. Doge Matrix ($doge m) Nasıl Çalışır? Doge Matrix'in operasyonel mekanizmaları ile ilgili ayrıntılar biraz belirsizdir ve bu durum, meme coin alanındaki projelerin genel bir eğilimini yansıtmaktadır; burada yenilikçi işlevsellikler her zaman net bir şekilde ifade edilmemektedir. Bununla birlikte, Doge Matrix'in mevcut kripto para ekosisteminden yararlanmayı ve kullanıcı katılımını teşvik etmeyi amaçladığı görünmektedir; ayrıca Dogecoin ile ilişkilendirilen tanıdık kültürel referansları kullanmaktadır. Potansiyel olarak benzersiz özellikleri, teknolojik ilerlemelerden ziyade topluluk etkileşimlerinden kaynaklanmakta ve token sahipleri arasında paylaşılan deneyimleri ve işbirliğini vurgulamaktadır. Kesin yenilikler açıkça belirtilmemiş olsa da, proje, topluluk üyelerinin katılabileceği, fikir paylaşabileceği ve projenin potansiyelini ileriye taşıyabileceği bir alan yaratmaktadır. Doge Matrix'in ($doge m) Zaman Çizelgesi Projenin zaman çizelgesine bakmak, şimdiye kadar tanımlayıcı olayları ortaya koymaktadır: 25 Kasım 2024: Doge Matrix, erken tarihindeki önemli bir dönüm noktası olarak tüm zamanların en yüksek değerine ulaştı. 1 Ocak 2025: Aksine, Doge Matrix tüm zamanların en düşük değerine ulaştı ve bu durum, kripto paralarla sıkça ilişkilendirilen dalgalanmayı göstermektedir; özellikle bir projenin yaşam döngüsünün erken aşamalarında. Devam Ediyor: Proje, topluluğu tarafından aktif bir şekilde işlem görmeye ve desteklenmeye devam etmekte, ancak belirli gelecekteki dönüm noktaları veya hedefler henüz açıklanmamıştır. Doge Matrix ($doge m) Hakkında Ana Noktalar Topluluk Odaklılık Doge Matrix'in merkezinde topluluk katılımına olan taahhüt bulunmaktadır. Proje, üyeleri arasında işbirliği ve ortak hedefler üzerine inşa edilmiştir ve kolektif çabanın önemini vurgulamaktadır. Genellikle tanımlı bir liderlik yapısına sahip merkezi projelerin aksine, Doge Matrix şu anda her topluluk üyesinin sesinin önemli olduğu daha akışkan bir yönetişim yaklaşımını sergilemektedir. Dalgalanma Kripto para piyasası, dalgalanması ile ünlüdür ve Doge Matrix de bu durumdan muaf değildir. Fiyat geçmişi, yüksek ve düşük değerler arasında önemli dalgalanmaları yansıtmaktadır; bu durum birçok yeni kripto para için tipik olmakla birlikte, yeni token'lara yapılan yatırımlarla ilişkili riskleri vurgulamaktadır. Ayrıntılı Bilgi Eksikliği Doge Matrix hakkında en çarpıcı özelliklerden biri, teknolojik altyapısı ve operasyonel mekanizmaları ile ilgili ayrıntılı bilginin kıtlığıdır. Bu belirsizlik, potansiyel yatırımcıların projeye katılmadan önce kapsamlı bir araştırma yapmalarını gerektirmektedir. Sonuç Özetle, Doge Matrix ($doge m), topluluk katılımı ve kültürel anlamda önem taşıyan projelerin yeni bir dalgasını temsil etmektedir. Belirli ayrıntılardan yoksun olsa da—örneğin, net bir liderlik, tanımlı hedefler ve ayrıntılı işlevsellik—proje, meme kültürünün yerleşik çekiciliğinden yararlanarak kripto topluluğunda ilgi uyandırmayı başarmıştır. Kripto para alanındaki herhangi bir yatırımda olduğu gibi, doğasında var olan riskleri anlamak ve kapsamlı bir araştırma yapmak, potansiyel katılımcılar için esastır. Doge Matrix, kripto endüstrisinin dinamik, bazen öngörülemez doğasının bir hatırlatıcısı olarak durmakta; sürekli evrim ve topluluk destekli girişimlere olan heyecan ile işaretlenmektedir.

428 Toplam GörüntülenmeYayınlanma 2025.02.03Güncellenme 2025.02.03

DOGE M Nedir

$M Nedir

Mantis'i Anlamak ($M): Zincirler Arası İşlemde Yeni Bir Dönem Web3 ve kripto para dünyasının sürekli gelişen manzarasında, yeni projeler kullanıcı deneyimini artırmayı ve merkeziyetsiz finans ekosistemindeki işlevsel olanakları genişletmeyi amaçlayan yenilikçi çözümler sunmaya çalışıyor. Dikkat çeken projelerden biri, zincirler arası etkileşim ve niyet tabanlı uzlaşma ilkeleri üzerine kurulu öncü bir protokol olan Mantis ($M). Bu makale, Mantis'in temel işlevselliği, yaratıcıları, yatırım destekleri, yenilikçi özellikleri ve kritik dönüm noktaları dahil olmak üzere temel yönlerini inceliyor. Mantis ($M) Nedir? Mantis, çok alanlı niyet uzlaşma protokolü olarak tanımlanır ve kullanıcıların çeşitli blockchain platformları arasında karmaşık finansal işlemleri sorunsuz bir şekilde gerçekleştirmelerini sağlar. Protokol, üç ana katman üzerinden çalışır: Niyet İfadesi: Kullanıcılar, DISE LLM adlı gelişmiş bir AI dil modeli aracılığıyla doğal dil kullanarak işlem hedeflerini ifade edebilirler. Örneğin, bir kullanıcı belirli bir kayma toleransı ile Ethereum (ETH) ile Solana (SOL) takası yapmak istediğini ifade edebilir. İcra: Bu katman, kullanıcı niyetlerini yerine getirmek için rekabet eden bir çözücü ağı kullanır. İşlemler, kullanıcı taleplerinin en iyi şekilde karşılanmasını sağlayan İsteklerin Tesadüfü (CoWs) ve Emir Akışı İhaleleri (OFAs) gibi mekanizmalarla gerçekleştirilir. Uzlaşma: Mantis, Inter-Blockchain Communication (IBC) protokolünü kullanarak atomik zincirler arası işlemleri mümkün kılar ve kullanıcıların Ethereum, Solana ve Cosmos dahil olmak üzere çeşitli desteklenen zincirler arasında işlem yapmalarını sağlar. Mantis, tüm süreç boyunca işlemlerin bütünlüğünü korumak için kriptografik kanıtlar kullanarak yerel getiri üretimi sunmak üzere tasarlanmıştır. Yaratıcılar ve Geliştirme Ekibi Mantis, blockchain etkileşim çözümlerine vurgu yapan araştırma odaklı bir kuruluş olan Composable Foundation tarafından tasarlanmıştır. Bu vakıf, Mantis'in mimarisi ve işlevselliğini bilgilendiren kapsamlı araştırma ve geliştirme çabalarına katkıda bulunan Harvard Üniversitesi ve Lizbon Üniversitesi gibi saygın akademik kurumlarla işbirliği yapmaktadır. Composable Foundation'ın blockchain alanında yeniliği teşvik etme konusundaki kararlılığı, Mantis'i çoklu blockchain ağları arasında artan etkileşim talebine yönelik sağlam bir çözüm olarak konumlandırmaktadır. Yatırımcılar ve Destek Bireysel yatırımcılarla ilgili belirli detaylar kamuya açıklanmamış olsa da, Mantis çeşitli kuruluşlardan önemli destek almaktadır: IBC destekli zincirlerden ekosistem hibeleri, protokolün büyümesini ve merkeziyetsiz finans ekosistemleri içindeki entegrasyonunu destekler. Altyapı sağlayıcılarıyla stratejik ortaklıklar, Mantis'in ağ yeteneklerini ve dağıtım stratejilerini geliştirmektedir. Composable Foundation'ın hazinesi aracılığıyla finansman, sürekli gelişim ve operasyonel maliyetler için sürdürülebilir finansal destek sağlamaktadır. Bu işbirlikçi çabalar, paydaşlar arasında zincirler arası işlevselliği artırmanın önemine ve Mantis'in altyapısal yeniliklerinin potansiyel faydasına dair bir uzlaşmayı yansıtmaktadır. Ana Yenilikler Mantis, işlevselliğini ve faydasını artıran birkaç öncü yenilikle kendini farklı kılar: Zincir Bağımsız Niyetler: Kullanıcılar, herhangi bir desteklenen zincirden işlem başlatabilirken, başka bir zincirde uzlaşma yapabilirler. Bu esneklik, kullanıcıları güçlendirir ve farklı platformlar arasında etkileşimi artırır. AI Destekli Arayüz: DISE LLM entegrasyonu, kullanıcıların doğal dil kullanarak karmaşık DeFi işlemleri gerçekleştirmelerini sağlar, böylece etkileşimleri basitleştirir ve blockchain teknolojisini daha geniş bir kitleye erişilebilir hale getirir. Zincirler Arası MEV Yakalama: Mantis, çözücüler arasında rekabet yoluyla maksimum çıkarılabilir değer (MEV) için iç bir pazar oluşturur. Bu yenilikçi yaklaşım, karmaşık işlemlerde daha büyük verimlilik ve değer çıkarımı sağlar. Modüler Uzlaşma Katmanı: Protokol, sıfır bilgi kanıtları ve iyimser rolluplar gibi çeşitli doğrulama yöntemlerini destekleyerek, ortaya çıkan blockchain teknolojilerine uyum sağlayabilen çok yönlü bir çerçeve sunar. Tarihsel Zaman Çizelgesi Mantis'in gelişimi, yolculuğunu ve büyümesini belirleyen birkaç kritik dönüm noktası ile işaretlenmiştir: | Yıl | Dönüm Noktası | |———–|————————————————————————–| | 2022 | Composable Foundation'ın araştırma bölümünde ilk konsept geliştirilmesi. | | Q3 2024 | Solana ve Ethereum arasında köprüleme yetenekleri ile testnet'in başlatılması. | | Q1 2025 | Ana ağ lansmanı ile birlikte beklenen Token Üretim Etkinliği (TGE). | | Q2 2025 | DISE LLM entegrasyonu ve zincirler arası yeteneklerin genişletilmesi bekleniyor. | | 2025 H2 | Daha fazla IBC güncellemeleri ile 15'ten fazla zincir için planlanan destek. | Bu zaman çizelgesi, Mantis'in evrimini, kavramsal tartışmalardan aktif uygulamaya ve gelecekteki büyüme aşamalarına kadar özetlemektedir. Ekosistem Büyüme Stratejisi Mantis'in ekosistem büyüme stratejisi, kullanıcı katılımını ve geliştirici etkileşimini teşvik etmeyi amaçlayan birkaç girişim içermektedir: Kredi Sistemi: Kullanıcılar, likidite sağlayarak ve referans programlarına katılarak protokol kredileri kazanabilirler. Bu krediler, gelecekte teşvikler için kullanılabilir, böylece güçlü bir kullanıcı topluluğu oluşturur. Modüler Yazılım Geliştirme Kiti (SDK): Bu araç seti, geliştiricilerin Mantis'in altyapısını kullanarak niyet odaklı modellere dayalı uygulamalar oluşturmasını sağlar ve böylece ekosistem içinde yeniliği teşvik eder. Yönetim Modeli: Protokol olgunlaştıkça, $M token sahipleri protokol yönetiminde söz sahibi olacak, önerilen güncellemeler ve değişiklikler üzerinde oy kullanabilecek, böylece topluluk katılımını ve merkeziyetsizliği artıracaktır. Mantis, zincirler arası mimaride önemli bir ilerlemeyi temsil etmektedir. Gelişmiş AI algoritmalarını sağlam bir uzlaşma çerçevesi ile sorunsuz bir şekilde entegre ederek, Mantis çoklu zincir ekosistemlerindeki parçalanma sorunlarını ele almayı hedeflemektedir. Yenilikçi yaklaşımı, geliştirilmiş kullanıcı deneyimlerini önceliklendirirken, merkeziyetsizlik ve güvenlik ilkelerine bağlı kalmakta ve blockchain teknolojilerinin gelecekteki etkileşimi için yeni bir standart belirlemektedir. Mantis, büyüme ve uygulama yolculuğuna devam ederken, Web3 ve merkeziyetsiz finans alanındaki rekabetçi manzarada dikkatle izlenmesi gereken bir proje olma vaadini taşımaktadır. Sınırları aşma ve kullanıcı katılımını artırma konusundaki odaklanmasıyla, Mantis kripto para alanındaki gelecekteki gelişmelerin ayrılmaz bir parçası olmaya hazırlanıyor.

82 Toplam GörüntülenmeYayınlanma 2025.03.18Güncellenme 2025.03.18

$M Nedir

M Nasıl Satın Alınır

HTX.com’a hoş geldiniz! MemeCore (M) satın alma işlemlerini basit ve kullanışlı bir hâle getirdik. Adım adım açıkladığımız rehberimizi takip ederek kripto yolculuğunuza başlayın. 1. Adım: HTX Hesabınızı OluşturunHTX'te ücretsiz bir hesap açmak için e-posta adresinizi veya telefon numaranızı kullanın. Sorunsuzca kaydolun ve tüm özelliklerin kilidini açın. Hesabımı Aç2. Adım: Kripto Satın Al Bölümüne Gidin ve Ödeme Yönteminizi SeçinKredi/Banka Kartı: Visa veya Mastercard'ınızı kullanarak anında MemeCore (M) satın alın.Bakiye: Sorunsuz bir şekilde işlem yapmak için HTX hesap bakiyenizdeki fonları kullanın.Üçüncü Taraflar: Kullanımı kolaylaştırmak için Google Pay ve Apple Pay gibi popüler ödeme yöntemlerini ekledik.P2P: HTX'teki diğer kullanıcılarla doğrudan işlem yapın.Borsa Dışı (OTC): Yatırımcılar için kişiye özel hizmetler ve rekabetçi döviz kurları sunuyoruz.3. Adım: MemeCore (M) Varlıklarınızı SaklayınMemeCore (M) satın aldıktan sonra HTX hesabınızda saklayın. Alternatif olarak, blok zinciri transferi yoluyla başka bir yere gönderebilir veya diğer kripto para birimlerini takas etmek için kullanabilirsiniz.4. Adım: MemeCore (M) Varlıklarınızla İşlem YapınHTX'in spot piyasasında MemeCore (M) ile kolayca işlemler yapın.Hesabınıza erişin, işlem çiftinizi seçin, işlemlerinizi gerçekleştirin ve gerçek zamanlı olarak izleyin. Hem yeni başlayanlar hem de deneyimli yatırımcılar için kullanıcı dostu bir deneyim sunuyoruz.

529 Toplam GörüntülenmeYayınlanma 2025.07.02Güncellenme 2026.06.02

M Nasıl Satın Alınır

Tartışmalar

HTX Topluluğuna hoş geldiniz. Burada, en son platform gelişmeleri hakkında bilgi sahibi olabilir ve profesyonel piyasa görüşlerine erişebilirsiniz. Kullanıcıların M (M) fiyatı hakkındaki görüşleri aşağıda sunulmaktadır.

活动图片