É absolutamente possível escrever protocolos DeFi (e muito mais) enquanto confia em ZKPs para privacidade - é exatamente para isso que o Miden foi projetado. O principal truque é reimaginar como o estado funciona e, em vez de usar um estado monolítico, adaptar o Modelo de Ator (algo usado em sistemas distribuídos por décadas). Então podemos ter atores privados que podem interagir com atores públicos que controlam o estado compartilhado. Ou poderíamos ter atores semiprivados (o estado é conhecido por algum conjunto de usuários, mas não por toda a rede) e estes também podem interagir tanto com atores totalmente privados quanto com atores públicos. Este é um modelo muito poderoso que cobre um grande número de casos de uso DeFi - de AMMs e CLBOs anônimos a stablecoins compatíveis com privados. E outra coisa legal: para escrever esses protocolos DeFi, não precisamos de engenheiros que entendam ZKPs - você pode escrever tudo em Rust. Eu gosto de FHE - tecnologia muito legal e permite alguns casos de uso que os ZKPs não podem resolver (ou seja, ter um estado compartilhado verdadeiramente privado) - mas também vem com uma enorme sobrecarga de desempenho para a rede. A beleza dos ZKPs é que eles realmente reduzem a carga da rede - uma transação comprovada localmente não precisa ser executada pela rede (verificar as provas ZK é muito barato) - chamamos esse conceito de blockchain Edge. Enquanto com FHE, cada transação se torna 100x (ou 1000x) mais cara para a rede. Os ASICs ajudarão aqui com certeza, mas isso também significa que cada nó de validação precisará executar esses ASICs ou, caso contrário, eles não poderão seguir a rede. E exigir que cada nó tenha um ASIC é como exigir que cada nó Bitcoin seja um minerador.