SNARKs проти STARKs, без містики. SNARK вимагає довіреної настройки: одноразову церемонію, яка генерує секретну випадковість — «токсичні відходи», які потім потрібно знищити. Якщо хоча б одна копія залишиться, докази можна підробити. Великі ZK-rollup’и першої ери — zkSync Era, Scroll, Polygon zkEVM — усі використовували докази на основі SNARK. Кожен з них провів церемонію настройки, яку вам довелося вірити. Багатоучасникові ритуали зменшують ризик («безпечно, поки хоча б один учасник був чесним»). Припущення ніколи не зникає. STARK не вимагає жодної церемонії. Немає токсичних відходів, нічого знищувати, нічого вірити. Безпека зводиться до хеш-функцій, стійких до колізій — тієї самої примітивної функції, на яку вже опирається ваш гаманець. І через відсутність еліптичних кривих у парах, STARK є правдоподібно стійкими до квантових атак. Щиро кажучи, SNARK виграв першу еру через менший розмір доказів і нижчу вартість перевірки на Ethereum. Ставка Miden: перевірка все одно переміститься на ваш пристрій, де розмір доказу майже не має значення, але припущення про довіру — дуже. Один запитання, яке слід задати будь-якій ZK-системі: чого саме має вимагати доказ від вас? Якщо відповідь містить церемонію — ви довіряєте людям, а не математиці. @0xMiden VM побудований на основі STARK. Ви довіряєте хеш-функції. Це весь список.