Zcash момент - немного сообщений для архива после инцидента

Теперь сами репосты Зуко и остального ядра зэка после инцидента, оставлю их потому что теперь к ним(и к коментариям) будут возвращаться ресерчеры несколько лет, перечитывать и обдумывать что стало моментом когда сдвиг паритета пришел в крипту(наиболее готовую отрасль к этим событиям) раньше некоторых из тех кто пока еще над ней смеется и хейтит не осознавая что ждет тех кто наименее к этому готов. Ну и экстраполяции и аналогии для всей вертикали «конфиденциальных валют» тоже теперь будут черпать вдохновение для трансляций, рерайтя и превращая в слопчик эти тезисы. Тайминги там уже начинают присустствовать и связаны с новыми защищенными пулами (середина лета, уточнения будут позже).

https://x.com/presentlyMihai/status/2062922272742994303

Нет, Zcash не был взломан. Все, кто его исправил, были лучшими 0,001% специалистов в своей области. Методология обнаружения известна и доступна 0,01% людей. Обстоятельствами для обнаружения стали наем человека, который уже обнаружил ошибку инфляции 10 лет назад. Объём циркулирующих криптовалюты следует предсказуемой кривой предложения. Пул Orchard растёт с предсказуемой скоростью, соответствующей использованию блокчейна. И даже если бы он был взломан (чего не произошло), это, в худшем случае, похоже на взлом DAO в Ethereum, где 20% предложения находилось в скомпрометированном смарт-контракте, в отличие от ошибки бесконечного создания криптовалюты в Bitcoin (21 миллион –> 184 миллиарда). Далее речь пойдёт о вашей любимой криптовалюте, но не о Zcash.

https://x.com/EpochAIResearch/status/2063027820306354188

Понимание всех причин увеличения числа утечек информации — сложная задача. Но мы наблюдаем резкий рост числа уязвимостей высокой и критической степени опасности (CVE) примерно в то время, когда компания Anthropic выпустила предварительную версию Mythos для партнеров Project Glasswing в конце марта. Программа кибербезопасности Daybreak от OpenAI также стартовала в мае.

https://x.com/arjunkhemani/status/2062823072709705997

«Zcash не просто исправили ошибку. Они продемонстрировали новую стратегию защиты: аудит с использованием ИИ, децентрализованная координация, радикальная прозрачность, проверяемые инварианты. Именно в этом направлении должна следовать вся отрасль».

https://x.com/jswihart/status/2062741777757638985

Формальная верификация решает эту проблему. Можно построить математическое доказательство, чтобы свести части, которые должны проверять люди, к краткому и понятному изложению правил. Затем компьютер проверяет весь свод правил, чтобы убедиться в его соответствии. Инструменты искусственного интеллекта теперь могут выполнять работу по написанию таких доказательств. Это значительно упрощает проверку небольшого фрагмента кода и его проверку с помощью неподдающегося обману механизма.

Вместо того чтобы смотреть человеческими глазами, мы доказываем, что ничего не найти. Доверие ограничивается базовыми криптографическими предположениями и небольшой спецификацией.

Теперь это стало стандартом. Сегодня ведется работа по созданию Тахиона с последующей формальной верификацией. В нем используется более простой и единообразный свод правил. В нем меньше частных случаев и тонкостей, чем в Orchard. Это означает, что весь свод правил можно идеально проверить с помощью математического доказательства.

Но, как упомянул Шон, несколько команд уже работают над формальной проверкой существующей сети Orchard. Если это удастся сделать, то создание второго пула Orchard в ближайшее время, до внедрения Tachyon, может стать наилучшим вариантом. Tachyon более экологичен, но формально проверенный Orchard может стать хорошим промежуточным шагом, гарантирующим, что подобная уязвимость больше никогда не повторится.