Абсолютно можливо писати протоколи DeFi (і багато іншого), покладаючись на ZKP для конфіденційності - це саме те, для чого Miden був розроблений. Основна хитрість полягає в тому, щоб переосмислити, як працює держава, і замість використання монолітного стану адаптувати модель актора (те, що використовується в розподілених системах протягом десятиліть). Тоді ми можемо мати приватних суб'єктів, які можуть взаємодіяти з публічними акторами, які контролюють спільну державу. Або ми можемо мати напівприватних акторів (держава відома певному набору користувачів, але не всій мережі), і вони також можуть взаємодіяти як з повністю приватними акторами, так і з публічними акторами. Це дуже потужна модель, яка охоплює велику кількість варіантів використання DeFi - від анонімних AMM і CLBO до приватних сумісних стейблкоїнів. І ще одна приємна річ: для написання цих протоколів DeFi нам не потрібні інженери, які розуміють ZKP – на Rust можна писати все. Мені подобається FHE - дійсно крута технологія, і вона дозволяє використовувати кілька випадків використання, які ZKP не можуть вирішити (наприклад, мати дійсно приватний спільний стан) - але вона також має величезні витрати на продуктивність для мережі. Принадність ZKP полягає в тому, що вони фактично знижують навантаження на мережу - перевірена локально транзакція не повинна виконуватися мережею (перевірка доказів ZK дуже дешева) - ми називаємо це поняття блокчейном Edge. У той час як з FHE кожна транзакція стає в 100 (або 1000 разів) дорожчою для мережі. ASIC тут точно допоможуть, але це також означає, що кожен вузол перевірки повинен буде запускати ці ASIC, інакше вони не зможуть стежити за мережею. І вимагати від кожного вузла мати ASIC – це все одно, що вимагати від кожного вузла Bitcoin бути майнером.