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 等项目方正在积极推进相关技术。

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

Пов'язані матеріали

A Threefold Performance Leap! NEAR Achieves 200ms Physical Block Time Limit with SPICE

NEAR's core development team, Near One, has announced its next major protocol evolution: SPICE (Separation of Consensus and Execution). Currently in development, SPICE represents the most significant upgrade before the full implementation of Nightshade 3.0. Its core innovation is decoupling the consensus layer, responsible for ordering transactions, from the execution layer, which processes them. This allows the consensus layer to run at full speed without waiting for transaction execution to complete. Once deployed, SPICE is projected to triple NEAR's block production speed, achieving a 200ms block time, which is considered the physical limit due to the speed of light and network latency. This leap will dramatically reduce transaction latency and finality, with transactions confirming in roughly 0.4 seconds—faster than a typical card payment. The upgrade also enables more complex, long-running transactions and significantly improves user experience for applications like NEAR Intents and near.com. Beyond raw speed, SPICE enhances network scalability and security. It enables deeper parallelism, efficiently distributing workload across shards and improving resource utilization. The simpler block structure and lighter contracts also facilitate formal verification and security auditing. Furthermore, SPICE lays the critical groundwork for future Nightshade 3.0 features, most notably atomic cross-shard transactions, which would simplify complex contract logic and eliminate development hurdles caused by asynchronous execution. The Near One team is actively developing SPICE, targeting deployment in the coming months.

Foresight News59 хв тому

A Threefold Performance Leap! NEAR Achieves 200ms Physical Block Time Limit with SPICE

Foresight News59 хв тому

Deep Insight: Decentralized Inference is Not Hype, but a Key Track for AI to Break Through Centralized Monopoly

Decentralized Reasoning: Beyond the Hype, a Key to Breaking AI's Centralized Monopoly A future scenario where a powerful AI model is banned by a major government illustrates the core value proposition of decentralized AI: resistance to censorship. The core bet of decentralized inference networks is mitigating this risk, with other benefits like cost being secondary. The path is extremely difficult, involving four key challenges: 1. **Running Massive Models:** Distributing a single model across a decentralized GPU swarm requires sophisticated techniques like pipeline and speculative decoding to overcome crippling network latency, aiming for usable speeds (e.g., 30-40 tokens/second). 2. **Proving Model Integrity:** Verifying that a node runs the correct model is critical. Solutions range from cryptographically secure but slow ZKML to faster, economically-secure methods like statistical fingerprints, deterministic re-execution, or live-weight proofs, each involving trade-offs between integrity, latency, and cost. 3. **Ensuring Prompt Privacy:** Simply sharding a model does not protect user inputs from nodes. Robust solutions currently require trusted hardware (TEEs) or advanced cryptography (FHE), which are not yet widely deployed in consumer swarms. 4. **Building a Real Market:** Identifying the ideal customer is tough. Beyond speculative AI agents, the viable market currently consists of startups embedding AI and projects needing batch processing (e.g., synthetic data generation), where decentralized aggregation can be an advantage over low-latency needs. The article analyzes several projects tackling these problems, such as Dolphin Network (live-weight proofs), Inference.net (statistical verification), Morpheus (TEE-based), and Darkbloom (Apple Secure Enclave). It provides a framework: decentralization is a "tax" for latency-sensitive applications (e.g., chat) but a potential supply-side advantage for throughput-oriented tasks (e.g., batch processing). The long-term vision is a closed data loop where decentralized inference generates valuable data (traces, preferences) to feed decentralized training networks, which in turn produce better open-weight models for the inference networks. A due diligence checklist advises focusing on projects that: are truly decentralized at specific layers; have a credible integrity method; offer real cost benefits; ensure genuine privacy; handle node reliability; have paying users; and are built by teams with deep AI expertise. The ultimate goal should be products that appeal beyond the crypto-native audience, using crypto mechanisms invisibly to deliver better cost, performance, or privacy.

Foresight News1 год тому

Deep Insight: Decentralized Inference is Not Hype, but a Key Track for AI to Break Through Centralized Monopoly

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. Просто увійдіть до свого облікового запису, виберіть торгову пару, укладайте угоди та спостерігайте за ними в режимі реального часу. Ми пропонуємо зручний досвід як для початківців, так і для досвідчених трейдерів.

214 переглядів усьогоОпубліковано 2024.12.13Оновлено 2026.06.02

Як купити ZK

Обговорення

Ласкаво просимо до спільноти HTX. Тут ви можете бути в курсі останніх подій розвитку платформи та отримати доступ до професійної ринкової інформації. Нижче представлені думки користувачів щодо ціни ZK (ZK).

活动图片