Zcash ZEC зростає на 12%, оскільки формальна верифікація Ironwood наближається до завершення.

Токен ZEC від Zcash зріс приблизно на 12% після того, як розробники Project Tachyon оголосили, що вони близькі до формального доведення того, що новий захищений пул Ironwood мережі не має непомітної помилки підробки. Зростання ціни стало наслідком прогресу в роботі з формальної верифікації, спрямованої на виключення помилки обґрунтованості у zk-SNARK схемі Zcash, яка могла б дозволити приховане карбування ZEC. Помилка Orchard, виявлена дослідником Тейлором Горнбі, була вразливістю в схемі, яку Zcash використовує для захисту транзакцій, хоча розробники вважають, що експлуатації не сталося. Ironwood має активуватися наприкінці липня з механізмом турнікету, який дозволяє користувачам переносити кошти з вразливого пулу Orchard та допомагає продемонструвати, що підробки не відбулося.

Помилка Orchard уможливила потенційне приховане підроблення

Помилка Orchard була помилкою обґрунтованості у zk-SNARK схемі, яку Zcash використовує для захисту транзакцій. Помилка обґрунтованості дозволяє нечесному довіднику переконати мережу в хибному твердженні, що в цьому випадку могло б дозволити зловмиснику карбувати підроблені ZEC без жодного сліду в блокчейні. Оскільки будь-яка експлуатація була б невидимою, розробники могли виправити помилку, але не могли довести, що її ніколи не використовували. Тейлор Горнбі виявив цю вразливість.

Ironwood запроваджує формальну верифікацію та механізм турнікету

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

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

Розробники кажуть, що очікують активувати Ironwood наприкінці липня, і що формальна верифікація нового пулу — це робота, яка визначить, чи була помилка підробки реальним ризиком.

Ціна ZEC відновила приблизно половину втрат після розкриття

ZEC впав приблизно з $600 до приблизно $300 протягом двох днів після розкриття, а потім відновився до близько $457. Токен тепер відновив приблизно половину втраченого. Зростання на 12% стало наслідком оголошення розробників Project Tachyon про прогрес у формальній верифікації.

Команди розробників, що стоять за оновленням Ironwood

Оновлення розробляється групою команд Zcash, включаючи Zcash Open Development Lab, відгалуження колишніх інженерів Electric Coin Company, яке зібрало $25 мільйонів цього року для фінансування робіт з конфіденційності. Тейлор Горнбі, який знайшов помилку Orchard, працює в Shielded Labs.

Поширені запитання

Що таке помилка Orchard у Zcash?

Помилка Orchard була помилкою обґрунтованості у zk-SNARK схемі Zcash, яка могла б дозволити зловмиснику карбувати підроблені ZEC без сліду в блокчейні. Виявлена дослідником Тейлором Горнбі, ця помилка дозволяє нечесному довіднику переконати мережу в хибному твердженні, хоча розробники вважають, що експлуатації не сталося.

Як працює механізм турнікету Ironwood?

Турнікет дозволяє гаманцям переносити кошти з вразливого пулу Orchard до нового пулу Ironwood. Вимкнення платежів у старому пулі встановлює верхню межу того, скільки ZEC може бути в обігу, що допомагає продемонструвати, що підробки не сталося протягом періоду вразливості.

Коли Zcash активує оновлення Ironwood?

Розробники очікують активувати Ironwood наприкінці липня. Формальна верифікація нового пулу — це робота, яка визначить, чи була помилка підробки реальним ризиком.