Розробники Zcash наближаються до математичного доведення проти помилок підробки

Розробники Zcash у вівторок оголосили, що вони наближаються до математичного доведення того, що майбутній захищений пул Ironwood не містить невиявної помилки підробки. Проєкт Tachyon представив нові подробиці своїх зусиль з верифікації для захищеного пулу Ironwood від Zcash, причому засновник Zooko Wilcox заявив, що проєкт знаходиться на межі створення математичного доведення відсутності невиявних помилок підробки в останніх захищених пулах Zcash. Оголошення стосується занепокоєнь, що виникли через критичну помилку, виявлену минулого місяця в захищеному пулі Orchard від Zcash, яка поставила під сумнів цілісність системи конфіденційності мережі та складність криптографічного доведення відсутності прихованих вразливостей в архітектурах на основі доказів з нульовим розголошенням.

Нативний токен Zcash ZEC у вівторок зріс більш ніж на 12% після оголошення, піднявши криптовалюту вище позначки у 500 доларів. Це найвищий рівень ZEC з початку червня, коли розкриття критичної помилки в захищеному пулі Orchard від Zcash спричинило падіння конфіденційної криптовалюти більш ніж на 40% лише за два дні.

Проєкт Tachyon окреслює підхід до верифікації Ironwood

Проєкт Tachyon представив нові подробиці своїх зусиль з верифікації для майбутнього захищеного пулу Ironwood від Zcash. Проєкт має на меті довести, що Ironwood не може містити такого ж типу невиявної помилки підробки, яка була знайдена в пулі Orchard. Проєкт Tachyon заявив, що підхід став більш практичним завдяки досягненням у генерації доказів за допомогою ШІ, скорочуючи роботу, яка колись займала роки, до кількох тижнів.

Вразливість Orchard у червні спричинила падіння ціни на 40%

Вразливість, розкрита на початку червня, могла дозволити зловмиснику створювати підроблені ZEC у захищеному пулі Orchard без виявлення. Розробники швидко виправили помилку і заявили, що вважають, що її ніколи не використовували. Однак дизайн конфіденційності Zcash унеможливив криптографічне доведення відсутності експлуатації. Захищені пули Zcash покладаються на докази з нульовим розголошенням, які приховують суми транзакцій, що означає, що помилки в цих доказах можуть дозволити створювати підроблені монети без залишення публічно виявних доказів.

Колишній учасник NEAR порівнює Zcash з інфляційною помилкою Bitcoin 2010 року

Колишній учасник протоколу NEAR Вадим Закоділь порівняв ситуацію з Zcash з інфляційною помилкою Bitcoin 2010 року, коли було створено 184 мільярда підроблених біткоїнів до відкочування блокчейну. Оскільки транзакції Bitcoin є публічними, експлойт було одразу виявлено. Однак захищені пули Zcash приховують суми транзакцій через докази з нульовим розголошенням, що ускладнює виявлення подібних експлойтів без математичних методів верифікації.

FAQ

Що оголосили розробники Zcash у вівторок? Розробники Zcash оголосили, що вони наближаються до математичного доведення того, що майбутній захищений пул Ironwood протоколу не містить невиявної помилки підробки. Проєкт Tachyon представив нові подробиці своїх зусиль з верифікації, причому засновник Zooko Wilcox заявив, що проєкт знаходиться на межі створення математичного доведення для останніх захищених пулів Zcash.

Чому ZEC впав на 40% на початку червня? ZEC впав більш ніж на 40% лише за два дні на початку червня після розкриття критичної помилки в захищеному пулі Orchard від Zcash. Вразливість могла дозволити зловмиснику створювати підроблені ZEC у захищеному пулі Orchard без виявлення, хоча розробники швидко виправили помилку і заявили, що вважають, що її ніколи не використовували.

Чим дизайн конфіденційності Zcash відрізняється від прозорості Bitcoin? Захищені пули Zcash покладаються на докази з нульовим розголошенням, які приховують суми транзакцій, що означає, що помилки в цих доказах можуть дозволити створювати підроблені монети без залишення публічно виявних доказів. Транзакції Bitcoin є публічними, тому експлойти, як інфляційна помилка 2010 року, яка створила 184 мільярда підроблених біткоїнів, були одразу виявлені, і блокчейн було відкочено.