Este absolut posibil să scrieți protocoale DeFi (și multe altele) în timp ce vă bazați pe ZKP-uri pentru confidențialitate - exact pentru asta a fost conceput Miden. Principalul truc este să reimaginezi modul în care funcționează statul și, în loc să folosești o stare monolitică, să adaptezi Modelul Actorului (ceva folosit în sistemele distribuite de zeci de ani). Apoi putem avea actori privați care pot interacționa cu actorii publici care controlează statul comun. Sau am putea avea actori semi-privați (statul este cunoscut de un anumit set de utilizatori, dar nu și de întreaga rețea) și aceștia pot interacționa atât cu actori complet privați, cât și cu actori publici. Acesta este un model foarte puternic care acoperă un număr mare de cazuri de utilizare DeFi - de la AMM-uri anonime și CLBO-uri, până la monede stabile private conforme. Și încă un lucru frumos: pentru a scrie aceste protocoale DeFi, nu avem nevoie de ingineri care să înțeleagă ZKP-urile - puteți scrie totul în Rust. Îmi place FHE - tehnologie foarte interesantă și permite câteva cazuri de utilizare pe care ZKP-urile nu le pot aborda (adică să aibă o stare partajată cu adevărat privată) - dar vine și cu o supraîncărcare uriașă a performanței pentru rețea. Frumusețea ZKP-urilor este că reduc de fapt încărcarea rețelei - o tranzacție dovedită local nu trebuie să fie executată de rețea (verificarea dovezilor ZK este foarte ieftină) - numim acest concept blockchain-ul Edge. În timp ce cu FHE, fiecare tranzacție devine de 100 (sau 1000x) mai scumpă pentru rețea. ASIC-urile vor ajuta aici cu siguranță, dar acest lucru înseamnă și că fiecare nod de validare va trebui să ruleze aceste ASIC-uri sau altfel nu vor putea urmări rețeaua. Și a cere fiecărui nod să aibă un ASIC este ca și cum ai cere fiecărui nod Bitcoin să fie miner.