6/ b) является самым тонким и трудным для понимания. Здесь ZK терпит неудачу. Чтобы понять, почему, давайте рассмотрим самое простое приложение для обеспечения конфиденциальности: zcash (без DeFi). Когда вы отправляете защищённую транзакцию zcash, вы создаёте доказательство, которое говорит, грубо говоря, "Я отправляю монеты так, чтобы мой баланс оставался >0 после этой транзакции." Что ж, если вы агрегируете 1000 таких транзакций, а затем смотрите на состояние цепочки как посторонний, что вы знаете о состоянии? Ничего. Теперь представьте, что вы пытаетесь сделать DeFi на этом. Как вы можете делать DeFi, если ваша транзакция буквально не может видеть или взаимодействовать с активами других? Множество команд пытались решить эту проблему за последнее десятилетие, включая Aztec, Aleo и, вероятно, ещё несколько, которые я не могу вспомнить в данный момент. Основная проблема, с которой сталкиваются каждая из этих команд, заключается в описанной выше задаче. В основном, как вы можете разработать ZKP, чтобы позволить выборочной информации быть видимой для внешнего мира (например, сколько залога поддерживает кредит). Теперь представьте, что вы разработчик DeFi. Вам нужно не только разработать свой протокол DeFi, но и сделать это 1) частично ограниченным образом, и 2) вам нужно понять, как работают ZKP. Кто хочет быть разработчиком, создающим систему DeFi с 9 или 10 цифрами, с учетом всех этих дополнительных рисков? Это пугающие вещи. Многие команды zk DeFi работают над тем, чтобы сделать это более понятным, но основная реальность просто крайне трудна для понимания. Более того, это требует перестройки каждого примитива DeFi с нуля. Основная проблема здесь заключается в том, что DeFi, как мы его знаем, *требует возможности рассуждать о глобально разделяемом состоянии.* Возможно, есть способ перестроить DeFi с нуля с выборочным рассуждением, но я крайне скептически настроен к этому утверждению. И продемонстрировать это утверждение миру в таком виде, чтобы все остальные в это поверили, будет десятилетним делом, учитывая, сколько технических рисков связано с десятками индивидуальных zk-схем. Так что же такое FHE? FHE позволяет вам вычислять над зашифрованными данными. Это считалось священным граалем криптографии на протяжении десятилетий. Думать о частном DeFi, используя FHE в качестве основного криптографического построения, на самом деле довольно просто. Вы думаете об этом так же, как если бы это было прозрачно! Просто магическим образом всё не прозрачно, но вы все равно можете вычислять над этим.

🔸 𝐌𝐢𝐝𝐞𝐧 × 𝐎𝐩𝐞𝐧𝐙𝐞𝐩𝐩𝐞𝐥𝐢𝐧 🔹 Безопасность, стандарты, конфиденциальность Чтобы обеспечить конфиденциальность и безопасность в реальных финансах, Miden сотрудничает с отраслевым стандартом безопасности смарт-контрактов: @OpenZeppelin