Абсолютно возможно писать DeFi протоколы (и многое другое), полагаясь на ZKPs для обеспечения конфиденциальности - именно для этого был разработан Miden. Главный трюк заключается в том, чтобы переосмыслить, как работает состояние, и вместо использования монолитного состояния адаптировать Модель Акторов (что-то, что используется в распределенных системах на протяжении десятилетий). Тогда у нас могут быть частные актеры, которые могут взаимодействовать с публичными актерами, контролирующими общее состояние. Или у нас могут быть полуприватные актеры (состояние известно некоторому набору пользователей, но не всей сети), и они также могут взаимодействовать как с полностью частными актерами, так и с публичными. Это очень мощная модель, которая охватывает большое количество случаев использования DeFi - от анонимных AMM и CLBO до частных соответствующих стейблкоинов. И еще одна приятная вещь: для написания этих DeFi протоколов нам не нужны инженеры, которые понимают ZKPs - вы можете написать все на Rust. Мне нравится FHE - действительно классная технология, и она позволяет решить несколько случаев использования, которые ZKPs не могут охватить (т.е. иметь действительно частное общее состояние) - но это также связано с огромными накладными расходами на производительность для сети. Красота ZKPs в том, что они фактически уменьшают нагрузку на сеть - транзакция, доказанная локально, не нуждается в выполнении сетью (проверка ZK доказательств очень дешева) - мы называем эту концепцию Edge blockchain. В то время как с FHE каждая транзакция становится в 100 раз (или 1000 раз) дороже для сети. ASICs определенно помогут здесь, но это также означает, что каждый узел-валидатор должен будет запускать эти ASICs, иначе они не смогут следовать за сетью. И требование, чтобы каждый узел имел ASIC, похоже на требование, чтобы каждый узел Bitcoin был майнером.