Восстановление доверия к Zcash
После обнаружения критической уязвимости в протоколе Orchard, команда Shielded Labs предложила внедрить новый защищенный пул. Эта мера направлена на усиление контроля над эмиссией активов через систему «turnstile accounting».
Цена ZEC испытала резкую волатильность, упав с уровня $550 до $264 после раскрытия информации об ошибке.
«Формальная верификация — это единственный долгосрочный путь к обеспечению целостности защищенных протоколов», — отмечает исследователь Шон Боу.
Часто задаваемые вопросы
- Что такое Orchard? Это протокол конфиденциальности в сети Zcash.
- Были ли украдены средства? Нет доказательств эксплуатации уязвимости до её устранения.
- Что такое формальная верификация? Метод математического доказательства корректности работы программного кода.
