Je naprosto možné psát protokoly DeFi (a mnoho dalšího) a zároveň se spoléhat na ZKP kvůli ochraně soukromí - přesně k tomu byl Miden navržen. Hlavním trikem je přetvořit způsob, jakým stát funguje, a místo použití monolitického stavu přizpůsobit Actor Model (něco, co se v distribuovaných systémech používá po celá desetiletí). Pak můžeme mít soukromé aktéry, kteří mohou komunikovat s veřejnými aktéry, kteří kontrolují sdílený stát. Nebo bychom mohli mít polosoukromé aktéry (stát je znám určité skupině uživatelů, ale ne celé síti) a ti mohou také interagovat jak s plně soukromým aktérem, tak s veřejnými aktéry. Jedná se o velmi výkonný model, který pokrývá velké množství případů použití DeFi - od anonymních AMM a CLBO až po stablecoiny, které splňují soukromé předpisy. A ještě jedna pěkná věc: k napsání těchto protokolů DeFi nepotřebujeme inženýry, kteří rozumí ZKP - vše můžete napsat v Rustu. Líbí se mi FHE - opravdu skvělá technologie a umožňuje několik případů použití, které ZKP nemohou řešit (tj. mít skutečně soukromý sdílený stav) - ale také přichází s obrovskou režií výkonu pro síť. Krása ZKP spočívá v tom, že ve skutečnosti snižují zatížení sítě - transakci ověřenou lokálně nemusí síť provádět (ověřování důkazů ZK je velmi levné) - tento koncept nazýváme Edge blockchain. Zatímco u FHE je každá transakce pro síť 100x (nebo 1000x) dražší. ASIC zde určitě pomohou, ale to také znamená, že každý validační uzel bude muset tyto ASIC spustit, jinak nebude moci sledovat síť. A požadavek, aby každý uzel měl ASIC, je něco jako požadavek, aby každý uzel Bitcoinu byl těžař.