ZKVM 与 ZK验证的思考

币界网Опубликовано 2024-08-13Обновлено 2024-08-13

币界网报道:

作者:Miles 来源:X,@Miles082510

昨天与国内的ZK芯片厂商讨论了ZK加速的问题。当前,基于ZK的L2只需要几百台GPU机器即可维持日常业务,未来的Asic发展将更加令人期待。那么,现在的加速需求在哪里?哪些部分值得加速?ZK赛道的瓶颈到底是在证明生成还是验证?这些问题会对生态产生什么影响?

基于这条推文,我想分享一些自己的理解,欢迎指正与讨论!

过去的ZK技术

早期的ZK解决方案主要基于电路开发。开发者必须使用特定语言构建电路,这种方法既复杂又昂贵。@StarkWareLtd 在这个领域处于领先地位,他们通过STARKs在Cairo中构建了电路,利用STARKs的递归证明优势。然而,这种方法的局限性在于它只能汇总来自单一证明系统或机器的STARK证明。

当前的ZK技术

现在,随着通用ZKVM的出现,程序员无需学习新的电路语言,只需编写Rust代码即可开发应用。这方面的代表包括 @RiscZero、@SuccinctLabs 的 SP1、@NexusLabsHQ,以及 @lita_xyz 和来自 @a16zcrypto 的 jolt。

尽管有很多ZKVM项目,但我认为未来所有的证明聚合系统都将依赖RISC-V ZKVMs或基于Rust的ZKVMs。通过使用RISC-V证明,我们可以轻松合并不同的证明系统,简化复杂的验证过程。

问题与挑战

在以太坊上验证证明的成本非常高,且不支持大容量。例如,一个1GB的证明直接在以太坊上验证是不现实的,尽管可以通过递归证明进行压缩,但这同样昂贵且耗时。如果你运行一个ZK rollup,每年的成本可能高达数百万美元。

此外,虽然 @alignedlayer 每秒可验证2500个哈希值,但以太坊无法处理如此大的容量。

解决方案

在以太坊上有两种方法可以实现快速且低成本的验证:

  • 证明聚合:提高验证效率的一种方式。

  • ZK验证层:在 @eigenlayer 上实现低成本、可扩展的ZK验证层,这是 @alignedlayer 的当前做法。

讨论与观点

关于ZK赛道的瓶颈,@Ozhar(来自 @zkSync)认为只有5%的成本与验证相关,95%则与生成证明的硬件成本相关。@heslinkim(来自 @gevulot_network)持不同观点,他认为真正的瓶颈在于证明生成和硬件。

事实上,ZK硬件和证明生成领域也在快速发展中,如 @cysic_xyz、@Ingo_zk 和 @lagrangedev 等项目方正在积极推进相关技术。

Трендовые криптовалюты

Похожее

Бегство 8,5 млн USDT за ночь: Можно ли доверять высокодоходным стабильным монетам?

**Краткое изложение:** Платформа Altura столкнулась с массовым оттоком средств на сумму более 8,5 млн USDT за 24 часа, что привело к решению об упорядоченном закрытии своего высокодоходного стейблкоин-хранилища. Это произошло на фоне потери доверия на рынке после того, как аудиторская фирма Accountable прекратила сотрудничество с другим протоколом, MainStreet, сославшись на несоответствие стандартам проверки. Хотя Altura заявила об отсутствии прямого воздействия или владения активами MainStreet, инцидент высветил ключевую уязвимость всего сектора доходных стейблкоинов: несоответствие между ожиданием пользователей о мгновенном выводе средств и фактической ликвидностью лежащих в основе активов. Платформы часто инвестируют средства в различные стратегии с разными сроками погашения (биржевые позиции, частный кредит, RWA), которые невозможно быстро ликвидировать без ущерба. Массовый вывод средств создал классическую проблему банковского набега, когда даже потенциальная возможность задержек в выплатах побуждает пользователей выводить средства первыми. Основной риск для Altura и аналогичных проектов заключается не обязательно в убытках по активам, а в кризисе ликвидности, вызванном утратой доверия. Дальнейшее внимание будет сосредоточено на том, сможет ли Altura управлять процессом закрытия и выполнять обязательства перед оставшимися пользователями в срок. Этот случай служит предупреждением для индустрии о том, что прозрачность (аудиты, доказательства резервов) и четкое управление ожиданиями относительно ликвидности имеют решающее значение для поддержания доверия.

Foresight News26 мин. назад

Бегство 8,5 млн USDT за ночь: Можно ли доверять высокодоходным стабильным монетам?

Foresight News26 мин. назад

Троекратный скачок производительности! NEAR с помощью SPICE приближается к физическому пределу в 200 мс для создания блоков

Автор: Антон Астафьев, технический директор Near One; Мэлли Андерсон, автор колонок NEAR. Команда Near One объявила о двух важных обновлениях протокола NEAR: динамическом решардинге для масштабирования и первом квантово-устойчивом алгоритме подписи. В этой статье подробно рассматривается следующая ключевая цель технологической дорожной карты — SPICE (Separate Protocol for Isolated Consensus & Execution), наиболее значительное обновление перед внедрением Nightshade 3.0. После запуска SPICE время создания блока в NEAR сократится втрое — до 200 мс, что является физическим пределом. Текущая производительность (май 2025 г.) — 600 мс на блок и 1.2 секунды до финального подтверждения транзакции. Суть прорыва — разделение процессов консенсуса и выполнения транзакций: консенсус-слой может работать на полной скорости, не дожидаясь завершения исполнения. Это приведет к трем ключевым улучшениям: более высокая скорость создания блоков, меньшая задержка транзакций и поддержка более длинных и сложных операций. SPICE разделяет упорядочивание транзакций и обновление состояния на независимые процессы. Валидаторы достигают консенсуса только относительно списка транзакций и хэша блока, что требует минимальных вычислений. Обновление состояния выполняется асинхронно. Это не только ускоряет процесс, но и позволяет обрабатывать более сложные транзакции, выполняемые в несколько этапов. Кроме того, SPICE улучшает пользовательский опыт для near.com и NEAR Intents, делая транзакции практически мгновенными (0.4 сек.), что быстрее стандарта Visa (3 сек.). Такая скорость критически важна для экономики автономных агентов. SPICE также является фундаментальным шагом к Nightshade 3.0. Он повышает масштабируемость за счет глубокого параллелизма, улучшает безопасность за счет более простых блоков и облегченных контрактов и закладывает основу для атомарного выполнения кросс-шардинговых транзакций в будущем. Команда Near One активно работает над SPICE и планирует запустить его в ближайшие месяцы.

Foresight News57 мин. назад

Троекратный скачок производительности! NEAR с помощью SPICE приближается к физическому пределу в 200 мс для создания блоков

Foresight News57 мин. назад

Технический поток Разведывательное бюро: AMD восстанавливает функцию шифрования памяти для потребительских процессоров, акции корейских чипов падают на 10%, вызывая рыночные потрясения

**Сводка новостей TechFlow** **OpenAI & AI-инструменты:** - Новая модель DayBreak от OpenAI фокусируется на безопасности. - Пользователи критикуют ухудшение качества автодополнения и стабильности в Cursor, что вызвало отток подписчиков. - Клиент ChatGPT для Mac подвергается критике за частые сбои. - Сообщество ожидает выхода DeepSeek V4.1, надеясь на превосходство над зарубежными ИИ, что сопровождается скептицизмом. **Крипто / Web3:** - Платформа предсказаний Polymarket обвиняется в использовании платных создателей для вводящей рекламы. - Корейские биржи Upbit и Bithumb одновременно листингуют новые монеты (ARX и CC). **Чипы / Оборудование:** - AMD восстанавливает функцию шифрования памяти в потребительских процессорах после протестов пользователей. - ASML: литографы за $400 млн — ключевое оборудование для передовых чипов. - Цены на аренду GPU Nvidia снижаются, облегчая затраты на обучение ИИ. - Продажи памяти HBM4 от Samsung достигли $1 млрд за месяц, что подчеркивает спрос со стороны ИИ. **Технологические компании:** - Huawei гарантирует работу своей системы автономного вождения и повышает цену на пакет расширенных функций. - Тест запаса хода электромобилей Xiaomi SU7 на 1300 км вызвал споры об объективности. - Google инвестирует $75 млн в студию A24 для разработки инструментов создания фильмов с помощью ИИ. - Apple устраняет критическую уязвимость в наушниках Beats Studio Buds, позволяющую удаленное прослушивание. **Фондовый рынок:** - Корейский индекс KOSPI упал почти на 10%, лидируют акции чипмейкеров (Samsung, SK Hynix). - Акции Micron упали на 10% в нерабочее время, фьючерсы на Nasdaq снизились на 2%. - Акции SpaceX упали более чем на 16%, упав ниже цены закрытия в первый день IPO. - Аналитики предупреждают о возможном пике "пузыря ИИ" и коррекции на рынке. **Финансы / Макроэкономика:** - Цены на золото и серебро упали, снизился спрос на безопасные активы. - Экспорт нефти Ирана через Ормузский пролив достиг военного максимума, несмотря на геополитическую напряженность. - Цены на нефть Brent снизились из-за ожиданий восстановления судоходства в проливе. **Новые продукты / Тренды:** - Анонсирована игровая консоль Steam Machine за $1049, что вызвало споры о цене. - Игровой планшет Redmi 5 Pro анонсирован с поддержкой 185 Гц для мобильных игр. **Ключевой тренд:** Рынок ИИ демонстрирует признаки охлаждения: акции поставщиков оборудования падают (Корея, Micron), цены на аренду GPU снижаются. Одновременно пользователи сталкиваются с проблемами стабильности и качества в прикладных ИИ-инструментах (Cursor, ChatGPT). Нарратив переходит от "безграничных возможностей" к фазе, когда технологии должны доказывать свою практическую ценность.

marsbit1 ч. назад

Технический поток Разведывательное бюро: AMD восстанавливает функцию шифрования памяти для потребительских процессоров, акции корейских чипов падают на 10%, вызывая рыночные потрясения

marsbit1 ч. назад

Распоряжение Дональда Трампа о постквантовой безопасности на 2031 год вызывает срочные усилия по модернизации криптографии

Президент США Дональд Трамп издал указы, направленные на подготовку страны к развитию квантовых вычислений. Согласно исполнительному указу 14409, федеральным агентствам предписано модернизировать свои криптографические системы до квантово-устойчивых технологий. Критические системы должны быть обновлены к декабрю 2030 года, а вся федеральная инфраструктура цифровых подписей переведена на постквантовые стандарты к декабрю 2031 года. Власти выразили озабоченность по поводу стратегий «собрать сейчас, расшифровать позже», когда противники могут накапливать зашифрованные данные для их будущего взлома с помощью квантовых компьютеров. Эта инициатива привлекла значительное внимание криптоиндустрии, поскольку блокчейн-сети полагаются на эллиптическую криптографию, уязвимую для квантовых атак. Такие проекты, как Ethereum, Algorand и Ripple, уже объявили о планах по переходу на квантово-устойчивые алгоритмы подписей. Особую проблему представляет Bitcoin, где в устаревших адресах могут быть раскрыты публичные ключи. Для ускорения подготовки правительство поручило Министерству торговли и Национальному институту стандартов и технологий запустить пилотную программу по миграции, а также обновить национальные квантовые стратегии до 2028 года.

TheNewsCrypto1 ч. назад

Распоряжение Дональда Трампа о постквантовой безопасности на 2031 год вызывает срочные усилия по модернизации криптографии

TheNewsCrypto1 ч. назад

Глубокое понимание: Децентрализованный вывод — не хайп, а ключевое направление для прорыва ИИ сквозь централизованную монополию

Глубокий анализ: децентрализованный вывод ИИ — не хайп, а ключевое направление для прорыва в условиях централизованной монополии Статья рассматривает сценарий, в котором передовые ИИ-модели, такие как гипотетический GLM-6, могут быть подвергнуты цензуре или заблокированы централизованными провайдерами под давлением регулирующих органов. Это делает децентрализованные сети для вывода (инференса) моделей критически важными как средство противодействия цензуре и сохранения доступа. Внедрение децентрализованного инференса сопряжено с решением четырёх основных проблем: 1. **Запуск огромных моделей**: Распределение модели между множеством GPU (кластер) с использованием pipeline parallelism и методов, подобных speculative decoding, для преодоления сетевых задержек и достижения приемлемой скорости генерации текста. 2. **Верификация вычислений**: Доказательство того, что провайдер действительно запустил запрошенную модель, а не её упрощённую версию. Рассматриваются методы: ZKML (слишком медленно), opML, deterministic re-execution, statistical fingerprints и live-weight proofs, каждый со своими компромиссами между целостностью, задержкой и стоимостью. 3. **Конфиденциальность запросов (prompt)**: Защита входных данных от узлов сети. Простое разделение модели (sharding) не обеспечивает конфиденциальность. Надёжные решения требуют аппаратного обеспечения (TEE — доверенные среды выполнения) или математических методов (полное гомоморфное шифрование — FHE), которые пока дороги. 4. **Создание двустороннего рынка**: Поиск реальных платящих пользователей (B2B-стартапы, автономные AI-агенты) и обеспечение стабильного предложения вычислительных ресурсов. В статье приводится обзор ключевых проектов в этой области (Petals, Dolphin Network, Inference.net, Morpheus, c0mpute, Darkbloom и др.), выделяя их технические особенности и подходы к решению указанных проблем. Автор делает вывод, что децентрализованный инференс может быть конкурентоспособен в сценариях, где важна пропускная способность, а не минимальная задержка (генерация синтетических данных, пакетная обработка), и видит долгосрочную ценность в создании "цикла данных", где данные с инференса используются для улучшения моделей в децентрализованных сетях обучения.

Foresight News1 ч. назад

Глубокое понимание: Децентрализованный вывод — не хайп, а ключевое направление для прорыва ИИ сквозь централизованную монополию

Foresight News1 ч. назад

Торговля

Спот
Фьючерсы

Популярные статьи

Как купить ZK

Добро пожаловать на HTX.com! Мы сделали приобретение ZKsync (ZK) простым и удобным. Следуйте нашему пошаговому руководству и отправляйтесь в свое крипто-путешествие.Шаг 1: Создайте аккаунт на HTXИспользуйте свой адрес электронной почты или номер телефона, чтобы зарегистрироваться и бесплатно создать аккаунт на HTX. Пройдите удобную регистрацию и откройте для себя весь функционал.Создать аккаунтШаг 2: Перейдите в Купить криптовалюту и выберите свой способ оплатыКредитная/Дебетовая Карта: Используйте свою карту Visa или Mastercard для мгновенной покупки ZKsync (ZK).Баланс: Используйте средства с баланса вашего аккаунта HTX для простой торговли.Третьи Лица: Мы добавили популярные способы оплаты, такие как Google Pay и Apple Pay, для повышения удобства.P2P: Торгуйте напрямую с другими пользователями на HTX.Внебиржевая Торговля (OTC): Мы предлагаем индивидуальные услуги и конкурентоспособные обменные курсы для трейдеров.Шаг 3: Хранение ZKsync (ZK)После приобретения вами ZKsync (ZK) храните их в своем аккаунте на HTX. В качестве альтернативы вы можете отправить их куда-либо с помощью перевода в блокчейне или использовать для торговли с другими криптовалютами.Шаг 4: Торговля ZKsync (ZK)С легкостью торгуйте ZKsync (ZK) на спотовом рынке HTX. Просто зайдите в свой аккаунт, выберите торговую пару, совершайте сделки и следите за ними в режиме реального времени. Мы предлагаем удобный интерфейс как для начинающих, так и для опытных трейдеров.

508 просмотров всегоОпубликовано 2024.06.17Обновлено 2026.06.02

Как купить ZK

Обсуждения

Добро пожаловать в Сообщество HTX. Здесь вы сможете быть в курсе последних новостей о развитии платформы и получить доступ к профессиональной аналитической информации о рынке. Мнения пользователей о цене на ZK (ZK) представлены ниже.

活动图片