Основатель ZODL: Уязвимость ZEC не связана с недостатками базовой криптографии или движка генерации доказательств

По сообщению Jinse Finance, 5 июня ZEC резко упал на 30% из-за уязвимости неограниченной подделки в пуле Orchard. Основатель ZODL Josh Swihart написал, что уязвимость Orchard заключалась в одной из правил, которое было написано слишком либерально, что позволяло принимать ложную информацию и все же проходить верификацию. Из-за этого движок мог ошибочно считать фальшивые транзакции действительными. На самом деле, кто-то мог подделать ZEC в пуле Orchard. Это дефект в ручных правилах, а не в базовой криптографии или в движке генерации доказательств. Вопрос в том, как гарантировать, что проблема не повторится. Лучший ответ — формальная верификация. Сейчас Tachyon разрабатывается с применением формальной верификации, используя более лаконичное и унифицированное руководство по правилам. По сравнению с Orchard, здесь меньше особых случаев и сложных деталей, что позволяет полностью математически проверить всё руководство по правилам. Несколько команд уже приступили к формальной верификации существующих цепей Orchard. Если верификация пройдет успешно, то до запуска Tachyon запуск второго пула Orchard в ближайшее время может быть наилучшим вариантом. Tachyon проще, но формально проверенный пул Orchard может быть эффективной промежуточной мерой.