Det er absolutt mulig å skrive DeFi-protokoller (og mye mer) mens du stoler på ZKP-er for personvern - dette er akkurat hva Miden ble designet for å gjøre. Hovedtrikset er å tenke nytt om hvordan staten fungerer og i stedet for å bruke en monolittisk tilstand tilpasse Actor Model (noe som har blitt brukt i distribuerte systemer i flere tiår). Da kan vi ha private aktører som kan samhandle med offentlige aktører som kontrollerer den delte staten. Eller vi kan ha semi-private aktører (staten er kjent for et sett med brukere, men ikke for hele nettverket) og disse kan også samhandle både med helprivate aktører eller offentlige aktører. Dette er en veldig kraftig modell som dekker et stort antall DeFi-brukstilfeller - fra anonyme AMM-er og CLBO-er, til private kompatible stablecoins. Og en annen fin ting: for å skrive disse DeFi-protokollene trenger vi ikke ingeniører som forstår ZKP-er - du kan skrive alt i Rust. Jeg liker FHE - veldig kul teknologi, og den muliggjør noen få brukstilfeller som ZKP-er ikke kan adressere (dvs. å ha virkelig privat delt tilstand) - men det kommer også med enorme ytelseskostnader for nettverket. Det fine med ZKP-er er at de faktisk reduserer nettverksbelastningen - en transaksjon som er bevist lokalt trenger ikke å utføres av nettverket (å verifisere ZK-bevis er veldig billig) - vi kaller dette konseptet Edge-blokkjeden. Mens med FHE blir hver transaksjon 100x (eller 1000x) dyrere for nettverket. ASIC-er vil helt sikkert hjelpe her, men dette betyr også at hver valideringsnode må kjøre disse ASIC-ene, ellers vil de ikke kunne følge nettverket. Og å kreve at hver node skal ha en ASIC er omtrent som å kreve at hver Bitcoin-node skal være en gruvearbeider.