Формальна верифікація + новий пул, Zcash на цей раз збирається підняти стандарти безпеки конфіденційних монет до математичного рівня, нарешті знайдено рішення для остаточного усунення вразливості Orchard.

ZEC-6,79%
Переглянути оригінал
WuSaidBlockchainW
吴说 дізнався, що команда розробників Zcash повідомила про плани запровадити формальну верифікацію (Formal Verification) через новий приватний пул Ironwood, щоб математично довести усунення ризику «невиявленого підроблення (Undetectable Counterfeiting)». Команда зазначила, що хоча вразливість у пулі Orchard Shielded Pool було виправлено, і наразі немає доказів її використання, але через неможливість теоретично підтвердити на основі історії блокчейну, чи відбулося приховане додаткове випускання, спільнота вирішила створити новий пул Ironwood Shielded Pool та провести повну формальну верифікацію його протоколу.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Репост
  • Поділіться
Прокоментувати
Додати коментар
Додати коментар
Немає коментарів
  • Закріплено