Het is absoluut mogelijk om DeFi-protocollen (en veel meer) te schrijven terwijl we vertrouwen op ZKPs voor privacy - dit is precies waarvoor Miden is ontworpen. De belangrijkste truc is om opnieuw na te denken over hoe de staat werkt en in plaats van een monolithische staat het Actor Model aan te passen (iets dat al tientallen jaren in gedistribueerde systemen wordt gebruikt). Dan kunnen we privé-acteurs hebben die kunnen interageren met publieke acteurs die de gedeelde staat controleren. Of we zouden semi-prive-acteurs kunnen hebben (de staat is bekend bij een bepaalde set gebruikers, maar niet bij het hele netwerk) en deze kunnen ook interageren met zowel volledig privé-acteurs als publieke acteurs. Dit is een zeer krachtig model dat een groot aantal DeFi-gebruikscases dekt - van anonieme AMM's en CLBO's tot privé-compliant stablecoins. En nog iets leuks: om deze DeFi-protocollen te schrijven, hebben we geen ingenieurs nodig die ZKPs begrijpen - je kunt alles in Rust schrijven. Ik hou van FHE - echt coole technologie en het stelt een paar gebruikscases in staat die ZKPs niet kunnen aanpakken (d.w.z. een echt privé gedeelde staat hebben) - maar het komt ook met enorme prestatie-overhead voor het netwerk. De schoonheid van ZKPs is dat ze de netwerkbelasting daadwerkelijk verminderen - een transactie die lokaal is bewezen, hoeft niet door het netwerk te worden uitgevoerd (het verifiëren van ZK-bewijzen is heel goedkoop) - we noemen dit concept de Edge blockchain. Terwijl met FHE elke transactie 100x (of 1000x) duurder wordt voor het netwerk. ASIC's zullen hier zeker helpen, maar dit betekent ook dat elke validerende node deze ASIC's moet draaien, anders kunnen ze het netwerk niet volgen. En vereisen dat elke node een ASIC heeft, is een beetje zoals vereisen dat elke Bitcoin-node een miner is.