È assolutamente possibile scrivere protocolli DeFi (e molto altro) facendo affidamento su ZKP per la privacy - questo è esattamente ciò per cui è stato progettato Miden. Il trucco principale è ripensare a come funziona lo stato e, invece di utilizzare uno stato monolitico, adattare il Modello Attore (qualcosa utilizzato nei sistemi distribuiti da decenni). Poi possiamo avere attori privati che possono interagire con attori pubblici che controllano lo stato condiviso. Oppure potremmo avere attori semi-privati (lo stato è noto a un certo insieme di utenti, ma non all'intera rete) e questi possono anche interagire sia con attori completamente privati che con attori pubblici. Questo è un modello molto potente che copre un gran numero di casi d'uso DeFi - da AMM anonimi e CLBO a stablecoin private compliant. E un'altra cosa interessante: per scrivere questi protocolli DeFi, non abbiamo bisogno di ingegneri che comprendano gli ZKP - puoi scrivere tutto in Rust. Mi piace molto l'FHE - tecnologia davvero interessante e consente alcuni casi d'uso che gli ZKP non possono affrontare (cioè avere uno stato condiviso veramente privato) - ma comporta anche un enorme sovraccarico di prestazioni per la rete. La bellezza degli ZKP è che riducono effettivamente il carico sulla rete - una transazione provata localmente non deve essere eseguita dalla rete (verificare le prove ZK è molto economico) - chiamiamo questo concetto la blockchain Edge. Mentre con l'FHE, ogni transazione diventa 100 volte (o 1000 volte) più costosa per la rete. Gli ASIC aiuteranno sicuramente qui, ma questo significa anche che ogni nodo di validazione dovrà eseguire questi ASIC o altrimenti non sarà in grado di seguire la rete. E richiedere a ogni nodo di avere un ASIC è un po' come richiedere a ogni nodo Bitcoin di essere un miner.