É absolutamente possível escrever protocolos DeFi (e muito mais) enquanto se 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 há décadas). Assim, podemos ter atores privados que podem interagir com atores públicos que controlam o estado compartilhado. Ou poderíamos ter atores semi-privados (o estado é conhecido por um 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 - desde AMMs anônimos e CLBOs, até stablecoins privadas e em conformidade. E uma outra coisa interessante: para escrever esses protocolos DeFi, não precisamos de engenheiros que entendam ZKPs - você pode escrever tudo em Rust. Eu gosto de FHE - tecnologia realmente legal e que permite alguns casos de uso que ZKPs não conseguem abordar (ou seja, ter um estado compartilhado verdadeiramente privado) - mas também vem com um enorme overhead de desempenho para a rede. A beleza dos ZKPs é que eles realmente reduzem a carga da rede - uma transação provada localmente não precisa ser executada pela rede (verificar provas ZK é muito barato) - chamamos esse conceito de blockchain de Edge. Enquanto com FHE, cada transação se torna 100x (ou 1000x) mais cara para a rede. ASICs ajudarão aqui com certeza, mas isso também significa que cada nó validador precisará rodar esses ASICs ou, caso contrário, não conseguirá acompanhar a rede. E exigir que cada nó tenha um ASIC é como exigir que cada nó Bitcoin seja um minerador.