Zcash завершив перевірку доказу Ironwood проти фальшивих “bug”

Дослідники Zcash у вівторок завершили формальну верифікацію Ironwood, опублікувавши машинно перевірений доказ того, що новий захищений пул мережі не містить невиявлюваних уразливостей із підробкою (counterfeiting) за заявленими криптографічними припущеннями. Project Tachyon заявив, що цей доказ гарантує: захищений пул не може виплатити більше вартості, ніж публічно в нього надійшло. Ironwood було представлено під час оновлення NU6.3 Zcash у відповідь на вразливість, виявлену в захищеному пулі Orchard, яка теоретично могла б уможливити невиявлювану підробку ZEC.

Project Tachyon публікує доказ на базі Lean із понад 2 700 теоремами

Project Tachyon у вівторок повідомив, що доказ, написаний мовою програмування Lean, складається більш ніж із 2 700 теорем і вимагав понад місяць роботи трьох команд дослідників і криптографів. Робота встановлює властивість безпеки, відому як цілісність балансу (balance integrity), призначену для того, щоб захищений пул не міг виплатити більше вартості, ніж публічно в нього надійшло.

Верифікація охоплює систему доказів із нульовим розголошенням та правила схем

Дослідники заявили, що доказ охоплює компоненти, необхідні для цієї властивості, зокрема систему доказів із нульовим розголошенням в Ironwood, правила схем (circuit rules) і бухгалтерський облік на рівні реєстру (ledger-level accounting). Доказ не охоплює окремі гарантії приватності Ironwood.

Ironwood реагує на вразливість захищеного пулу Orchard

Ironwood було представлено під час оновлення NU6.3 Zcash у відповідь на вразливість, виявлену в захищеному пулі Orchard, яка теоретично могла б уможливити невиявлювану підробку ZEC. Розробники Zcash заявили, що не знайшли доказів того, що цю ваду було використано. Новий пул створили, щоб відновити довіру до цілісності постачання (supply integrity) в Zcash.

Механізм Turnstile блокує гіпотетичні надлишкові монети з Ironwood

Кошти, що мігрують з Orchard, мають пройти через публічний контрольний пункт бухгалтерського обліку, відомий як turnstile, який призначений для того, щоб запобігти потраплянню будь-яких гіпотетичних надлишкових монет в Ironwood. Поки кошти виходять з Orchard, процес також може нарощувати докази того, чи було використано старий пул.

FAQ

Що дослідники Zcash завершили у вівторок? Дослідники Zcash у вівторок завершили формальну верифікацію Ironwood, опублікувавши машинно перевірений доказ того, що новий захищений пул мережі не містить невиявлюваних уразливостей із підробкою за заявленими криптографічними припущеннями.

Чому Ironwood було представлено під час оновлення NU6.3 Zcash? Ironwood було представлено під час оновлення NU6.3 Zcash у відповідь на вразливість, виявлену в захищеному пулі Orchard, яка теоретично могла б уможливити невиявлювану підробку ZEC. Новий пул створили, щоб відновити довіру до цілісності постачання (supply integrity) в Zcash.

Що таке механізм turnstile в Ironwood? Turnstile — це публічний контрольний пункт бухгалтерського обліку, через який мають пройти кошти, що мігрують з Orchard. Він призначений для того, щоб запобігти потраплянню будь-яких гіпотетичних надлишкових монет в Ironwood.