Большинство L2 до сих пор используют исходную машину Ethereum: общий компьютер, который повторно выполняет каждую транзакцию, чтобы сеть могла согласовать одно общее состояние. Этот дизайн не способен осуществлять реальные финансовые операции. Конфиденциальность превращается в заплатку. Независимые платежи по-прежнему ожидают в глобальной очереди. Сложная бизнес-логика дорога, и каждый конкурент может наблюдать за ней. Утверждение @0xMiden заключается в том, что ZK меняет роль цепочки. Если пользователь может выполнить вычисления локально и доказать корректность перехода, сеть не нуждается в самой транзакции. Ей нужен только доказательство. Это edge-блокчейн. Состояние вашего аккаунта хранится у вас. Цепочка хранит обязательство, а не сам аккаунт. Заметки перемещают стоимость между аккаунтами. Транзакция — это обновление одного аккаунта и публикация STARK. Сеть проверяет доказательство, обновляет обязательства и записывает нулификаторы. Она не воспроизводит вашу зарплату и не узнает ваш баланс, если вы не выбрали публичный аккаунт. Вот почему они обошли путь zkEVM. Совместимость с EVM дешевле копирует Ethereum. Она всё ещё предполагает прозрачный универсальный компьютер. Вы можете обернуть его в доказательства. Но вы не можете заставить его перестать утекать и перестать сериализоваться. Пользователи хранят локальное состояние, устройства должны доказывать, а общее публичное состояние всё ещё требует сети. Но тезис прост. Bitcoin был золотом. Ethereum был публичным компьютером. Miden стремится стать платформой для аккаунтов, которые доказывают свою корректность.