Det är absolut möjligt att skriva DeFi-protokoll (och mycket mer) samtidigt som man förlitar sig på ZKP:er för integritet - det är precis vad Miden designades för att göra. Det huvudsakliga tricket är att tänka om hur staten fungerar och istället för att använda ett monolitiskt tillstånd anpassa aktörsmodellen (något som använts i distribuerade system i decennier). Då kan vi ha privata aktörer som kan samverka med offentliga aktörer som kontrollerar den gemensamma staten. Eller så kan vi ha semi-privata aktörer (staten är känd för vissa användare, men inte för hela nätverket) och dessa kan också interagera både med helt privata aktörer eller offentliga aktörer. Detta är en mycket kraftfull modell som täcker ett stort antal DeFi-användningsfall - från anonyma AMM:er och CLBO:er till privata stablecoins som uppfyller kraven. Och en annan trevlig sak: för att skriva dessa DeFi-protokoll behöver vi inte ingenjörer som förstår ZKP:er - du kan skriva allt i Rust. Jag gillar FHE - riktigt cool teknik och den möjliggör några användningsfall som ZKP:er inte kan ta itu med (dvs. att ha verkligt privat delat tillstånd) - men det kommer också med enorma prestandakostnader för nätverket. Det fina med ZKP:er är att de faktiskt minskar nätverksbelastningen - en transaktion som bevisats lokalt behöver inte utföras av nätverket (att verifiera ZK-bevis är mycket billigt) - vi kallar detta koncept för Edge blockchain. Med FHE blir varje transaktion 100x (eller 1000x) dyrare för nätverket. ASIC:er kommer säkert att hjälpa till här, men det betyder också att varje validerande nod måste köra dessa ASIC:er, annars kommer de inte att kunna följa nätverket. Och att kräva att varje nod ska ha en ASIC är ungefär som att kräva att varje Bitcoin-nod ska vara en gruvarbetare.