A maioria das L2 ainda executa a máquina original da Ethereum: um computador compartilhado que reexecuta cada transação para que a rede possa concordar com um único estado público. Esse design não pode realizar finanças reais. Privacidade torna-se um remendo. Pagamentos independentes ainda aguardam em uma fila global. Lógica de negócio complexa é cara, e cada concorrente pode observá-la. A afirmação do @0xMiden é que o ZK muda a função de uma cadeia. Se um usuário pode executar localmente e provar que a transição foi válida, a rede não precisa da transação. Ela precisa da prova. Essa é uma blockchain de borda. Seu estado de conta reside com você. A cadeia armazena um compromisso, não a conta. Notas transferem valor entre contas. Uma transação é uma conta atualizando-se e publicando um STARK. A rede verifica a prova, atualiza os compromissos e registra os nullifiers. Ela não replaya seu salário nem aprende seu saldo, a menos que você tenha escolhido uma conta pública. É por isso que eles pularam o caminho zkEVM. A compatibilidade EVM copia a Ethereum mais barata. Ainda assume um computador público transparente. Você pode envolvê-lo em provas. Você não pode fazer com que ele pare de vazar e pare de serializar. os usuários mantêm estado local, os dispositivos devem provar, e o estado público compartilhado ainda precisa da rede. Mas a tese é simples. Bitcoin era ouro. Ethereum era um computador público. Miden está tentando ser o assentamento para contas que se provam.