SNARKs против STARKs, без мистики. SNARK требует доверенной настройки: одноразовой церемонии, генерирующей секретную случайность — «токсичные отходы», которые необходимо уничтожить. Если хотя бы одна копия сохранится, доказательства можно подделать. Крупнейшие ZK-ролапы первого поколения — zkSync Era, Scroll, Polygon zkEVM — все использовали доказательства на основе SNARK. Каждый из них провёл церемонию настройки, которой нужно было доверять. Многопартийные ритуалы снижают риск («безопасно, пока хотя бы один участник был честен»). Но предположение о доверии никогда не исчезает. STARK не требует церемонии. Нет токсичных отходов, ничего уничтожать, ничего не нужно доверять. Безопасность сводится к хеш-функциям, устойчивым к коллизиям — тому же примитиву, от которого уже зависит ваш кошелек. И без парных операций на эллиптических кривых STARK-доказательства, вероятно, устойчивы к квантовым атакам. Истинная причина, по которой SNARKs победили в первом поколении: меньший размер доказательств и более низкая стоимость проверки на Ethereum. Ставка Miden: проверка всё равно переместится на ваше устройство, где размер доказательства почти не имеет значения, но предположение о доверии — очень важно. Один вопрос, который нужно задать любой ZK-системе: чего требует от вас доказательство? Если ответ включает церемонию — вы доверяете людям, а не математике. @0xMiden VM основан на STARK. Вы доверяете хеш-функции. Это весь список.