Решение Miden не быть совместимой с EVM по сути является архитектурным фактором, а не для самой EVM.

Ключевое отличие вот в чём: Miden перемещает логику выполнения с цепочки на пользовательскую сторону, а данные состояния хранятся вне цепочки, отправляя доказательство только в цепочку для проверки.

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

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