توکن بومی Zcash (ZEC) در روز سه‌شنبه بیش از ۱۲ درصد افزایش یافت، پس از آنکه توسعه‌دهندگان پشت استخر محافظت‌شده پروتکل اعلام کردند که در آستانه ارائه یک اثبات ریاضی هستند که سیستم حریم خصوصی شبکه حاوی یک باگ جعل غیرقابل شناسایی نیست که ماه گذشته افشا شده بود.

پروژه تاکیون (Project Tachyon) جزئیات جدیدی از تلاش‌های خود برای راستی‌آزمایی (verification) استخر محافظت‌شده آینده Zcash به نام Ironwood را تشریح کرد. زوکو ویلکاکس، بنیانگذار Zcash، گفت که این پروژه "در آستانه تولید یک اثبات ریاضی است که هیچ باگ جعل غیرقابل شناسایی در آخرین استخرهای محافظت‌شده Zcash وجود ندارد."

این اطلاعیه به بالا رفتن مجدد ZEC به بالای ۵۰۰ دلار کمک کرد، بالاترین سطح آن از اوایل ماه ژوئن، زمانی که افشای یک نقص حیاتی در استخر محافظت‌شده Orchard مربوط به Zcash باعث شد که این ارز دیجیتال حریم‌محور در عرض تنها دو روز بیش از ۴۰ درصد سقوط کند.

این آسیب‌پذیری می‌توانست به یک مهاجم اجازه دهد که توکن ZEC جعلی را در استخر محافظت‌شده Orchard بدون شناسایی ایجاد کند. در حالی که توسعه‌دهندگان به سرعت این نقص را برطرف کردند و گفتند که معتقدند هرگز مورد سوء استفاده قرار نگرفته است، طراحی حریم خصوصی Zcash اثبات رمزنگاری (cryptographically prove) آن را غیرممکن می‌ساخت.

اکنون، پروژه تاکیون قصد دارد اثبات کند که Ironwood، استخر محافظت‌شده جایگزین Zcash، نمی‌تواند حاوی همان نوع باگ جعل غیرقابل شناسایی باشد. پروژه تاکیون گفت که این رویکرد به لطف پیشرفت‌ها در تولید اثبات با کمک هوش مصنوعی (AI-assisted proof generation)، عملی‌تر شده است، که کاری که زمانی سال‌ها طول می‌کشید را به چند هفته کاهش داده است.

وادیم زاکودیل، مشارکت‌کننده سابق پروتکل NEAR، آن را با باگ تورم بیت‌کوین در سال ۲۰۱۰ مقایسه کرد، زمانی که ۱۸۴ میلیارد بیت‌کوین جعلی قبل از اینکه بلاک‌چین به عقب برگردانده شود، ایجاد شدند. اما چون تراکنش‌های بیت‌کوین عمومی هستند، این سوء استفاده فوراً کشف شد.

اما استخرهای محافظت‌شده Zcash، بر اثبات‌های دانش صفر (zero-knowledge proofs) متکی هستند که مقادیر تراکنش را پنهان می‌کنند، به این معنی که نقص‌ها در این اثبات‌ها می‌تواند اجازه دهد سکه‌های جعلی ایجاد شوند بدون اینکه شواهد قابل شناسایی عمومی از خود بر جای بگذارند.