吴说 дізнався, що команда розробників Zcash повідомила про плани запровадити формальну верифікацію (Formal Verification) через новий приватний пул Ironwood, щоб математично довести усунення ризику «невиявленого підроблення (Undetectable Counterfeiting)». Команда зазначила, що хоча вразливість у пулі Orchard Shielded Pool було виправлено, і наразі немає доказів її використання, але через неможливість теоретично підтвердити на основі історії блокчейну, чи відбулося приховане додаткове випускання, спільнота вирішила створити новий пул Ironwood Shielded Pool та провести повну формальну верифікацію його протоколу.

ZEC10,02%
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 4
  • 1
  • Поділіться
Прокоментувати
Додати коментар
Додати коментар
NekoValidator
· 12хв. тому
Нарешті хтось наважився відкрито поглянути на загрози Orchard, Ironwood фактично почав з нуля, чекаємо на аудиторський звіт після відкриття коду.
Переглянути оригіналвідповісти на0
GateUser-a9315d81
· 3год тому
Математичне доведення як гарантія звучить гарно, але вартість і складність формальної верифікації також не низькі, чи зможе команда фінансово витримати це?
Переглянути оригіналвідповісти на0
MildlyRugged
· 3год тому
Від «неможливо виявити» до «можна довести», цей шлях сам по собі потребує відновлення довіри спільноти, почекаємо і побачимо.
Переглянути оригіналвідповісти на0
VolatilityOfToastingBread
· 3год тому
Формальна верифікація на блокчейні, Zcash цього разу хоче намертво з'єднати приватність і детермінованість, досить жорстко.
Переглянути оригіналвідповісти на0
  • Закріплено