Цена ZKsync

Давайте поговорим о Zama, блестящем сыне FHE. Сегодня мы обсудим войну между двумя моделями доверия: FHE и ZK, о которой редко кто говорит подробно. Две философии доверия в криптомире. Если криптография — это революция о "доверии", то ZK (нулевое знание) и FHE (полная гомоморфная криптография) — это две фракции этой революции. ZK представляет собой "доказательную доверие": я выполняю вычисления и затем доказываю тебе, что я посчитал правильно, но не говорю, как я это сделал. FHE же — это "криптографическое доверие": я даже не хочу, чтобы ты видел процесс вычислений, ты просто получаешь результат. Первый говорит: "Доверься, я посчитал правильно." Второй говорит: "Ты вообще не можешь видеть, что я считаю." На первый взгляд, это всего лишь полшага, но на самом деле это две совершенно разные мировоззренческие системы. ZK — это приватность в прозрачном мире; FHE — это порядок в черном ящике. ZK: сила доказательства ZK (нулевое знание) — это самая яркая звезда криптографии Web3 за последние пять лет. Его магия заключается в том, что одна сторона может доказать, что определенное утверждение истинно, не раскрывая данные. Например: ты можешь доказать, что "в моем кошельке 1 ETH", не показывая баланс кошелька. В мире блокчейна это очень полезно. Логика ZK типична для "публичного доказательства, частных вычислений" — вычисления происходят на твоем компьютере, результат доказательства помещается в блокчейн, и любой может быстро проверить его правильность. Таким образом, появились zkRollup, zkVM, zkEVM и целая индустрия. ZK решает проблему **"Могу ли я доверять правильности вычислений?"**. Его суть — высокая эффективность проверки. Проверка занимает всего несколько миллисекунд, генерация доказательства может занять несколько секунд, но как только оно сгенерировано, весь мир может быстро подтвердить его. Это очень подходит для публичных цепочек, бирж, мостов и других сценариев. Но у него также есть очевидные недостатки: данные должны быть "предварительно проверяемыми" — все должно быть закодировано в доказательном контуре. Не поддерживает настоящие "конфиденциальные вычисления" — данные в конечном итоге должны быть публично проверены. Сложность масштабирования высока — чем сложнее контур, тем больше растут затраты. Одним предложением: ZK — это "нотариус" в криптомире, он гарантирует, что ты посчитал правильно, но все могут видеть, что ты доказываешь. FHE: амбиции черного ящика В отличие от этого, FHE (полная гомоморфная криптография) — это другая амбиция. Он не доказывает, что ты посчитал правильно, а позволяет тебе вычислять прямо на зашифрованных данных. Ты шифруешь данные в нечто, что никто не может прочитать, но это нечто все еще может быть вычислено, например, сложение, умножение, вычисление среднего. Конечный результат после расшифровки будет точно таким же, как результат "открытых вычислений". Что это означает? Это означает, что можно полностью выполнять вычисления в зашифрованном состоянии. Серверы, контракты, модели ИИ не знают, какие данные они обрабатывают. Это полное устранение доверия. Нет посредников, нет риска утечки, и не нужно доказательства. Но цена также огромна: каждое вычисление медленно, как улитка, а процесс самозагрузки (bootstrapping) требует огромных ресурсов. В последние десять лет FHE почти застрял на производственном узком месте. До появления Zama @zama_fhe Они начали делать FHE практичным с помощью "программируемого самозагрузки" и "fhEVM". ZK стремится к скорости проверки; FHE стремится к чистоте приватности. Производительность и границы: кто ближе к реальности? По производительности ZK временно выигрывает. Проверка быстрая, экосистема зрелая, инфраструктура уже сформирована (zkSync, StarkNet, Scroll и другие L2). FHE все еще находится на ранней стадии "20 TPS". Но по полноте приватности FHE является более радикальным решением. ZK все еще должен раскрывать часть логики вычислений, чтобы доказать, в то время как FHE может позволить всем вычислениям происходить в зашифрованном виде. Так является ли их комбинация окончательным оружием? Гибрид: zkFHE, возможная окончательная форма приватности в будущем Комбинация ZK + FHE (также известная как zkFHE) становится новым направлением исследований в академических и промышленных кругах. Логика этой модели: Использовать FHE для приватных вычислений, чтобы данные работали в зашифрованном виде; Использовать ZK для доказательства, что вычисления действительно правильные, чтобы предотвратить обман. Как если бы в сейфе была камера — ты не знаешь, что там происходит, но можешь подтвердить, что он работает правильно. Это может одновременно решить две большие проблемы: FHE слишком медленный → использование ZK для проверки может упростить; ZK недостаточно приватный → использование FHE для дополнения приватности. Zama @zama_fhe также исследует это направление: fhEVM сохраняет интерфейсы символического выполнения, проверки сопроцессоров и доказуемого выполнения, подготавливая системные интерфейсы для будущего zkFHE. Это окончательное слияние доверия и приватности: "мир проверяемых зашифрованных данных".

Я просто ZK все вещи

Обновление ZKstack Atlas Atlas — это не просто еще одно обновление, это то, что соединяет всю операционную систему @zksync, упрощая разработчикам создание, развертывание и масштабирование модульных ZK-цепочек, которые действительно могут взаимодействовать друг с другом. Это структура, которая делает роллапы более гибкими, более эффективными и более совместимыми, при этом сохраняя все в соответствии с основными принципами Ethereum. Для меня Atlas кажется поворотным моментом, когда ZKsync переходит от роли роллапа к созданию экосистемы для следующей фазы масштабирования Ethereum. Мы говорим не только о производительности, мы говорим о зрелости всей экосистемы ZK.