ZKVM 与 ZK验证的思考

币界网Publicado a 2024-08-13Actualizado a 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 等项目方正在积极推进相关技术。

Criptos en tendencia

Lecturas Relacionadas

¡Triplicando el rendimiento! NEAR alcanza el límite físico de 200ms en generación de bloques con SPICE

NEAR One, el equipo central de desarrollo de NEAR, ha anunciado dos importantes actualizaciones del protocolo NEAR: fragmentación dinámica (para escalabilidad) y la implementación de un esquema de firma cuántica (para seguridad post-cuántica). Este artículo detalla el próximo plan central de la hoja de ruta tecnológica: SPICE (Separación de Consenso y Ejecución), un componente clave antes de Nightshade 3.0. SPICE, al desacoplar el proceso de consenso de la ejecución de transacciones, permitirá a NEAR reducir el tiempo de creación de bloques de 600 ms a 200 ms, triplicando el rendimiento y alcanzando un límite físico teórico. Esto se traduce en una confirmación de transacción más rápida (~0.4s), menor latencia y soporte para transacciones complejas de larga duración. La arquitectura separada permite que el consenso (ordenación de transacciones) funcione a máxima velocidad sin esperar a que se complete la ejecución del estado. Además de la velocidad, SPICE sienta las bases para Nightshade 3.0, permitiendo una mayor paralelización, una mejor distribución de la carga entre fragmentos y allanando el camino para transacciones atómicas entre fragmentos en el futuro. Esta mejora es crucial para casos de uso como pagos instantáneos y la economía de agentes de IA, donde la velocidad y la ejecución confiable son esenciales. El equipo de Near One está avanzando en el desarrollo de SPICE para su lanzamiento en los próximos meses.

Foresight NewsHace 54 min(s)

¡Triplicando el rendimiento! NEAR alcanza el límite físico de 200ms en generación de bloques con SPICE

Foresight NewsHace 54 min(s)

TechFlow Agencia de Inteligencia: AMD restaura función de cifrado de memoria en CPU para consumidores, acciones de chips coreanas se desploman un 10% causando conmoción en el mercado

Resumen de TechFlow Intelligence: **IA y Software:** OpenAI lanza DayBreak, modelo enfocado en seguridad. Usuarios critican a Cursor por caída en calidad y velocidad, cuestionando su valor. El cliente de ChatGPT para Mac reporta frecuentes caídas. La comunidad china espera con expectativas el lanzamiento de DeepSeek V4.1. **Web3/Cripto:** Polymarket es acusado de usar creadores pagados para videos engañosos. Los exchanges coreanos Upbit y Bithumb listan nuevas monedas (ARX y CC). **Chips/Hardware:** AMD restaura la función de cifrado de memoria en sus CPUs tras protestas. ASML impulsa la fabricación con máquinas de litografía de 400M$. Los precios de alquiler de GPUs de Nvidia caen. Las ventas de memoria HBM4 de Samsung superan los 1000M$ en un mes. **Empresas Tecnológicas:** Huawei promete responsabilidad por su sistema de conducción autónoma y sube su precio. Prueba de autonomía del Xiaomi SU7 genera debate. Lei Jun (Xiaomi) habla sobre su apuesta con Dong Mingzhu (Gree). Google invierte 75M$ en A24 para herramientas de cine con IA. Apple parchea una vulnerabilidad de escucha en sus Beats Studio Buds. **Mercados y Finanzas:** Acciones de chips coreanos se hunden casi un 10%, arrastrando al índice KOSPI. Micron cae un 10% en premercado. Las acciones de SpaceX caen más de un 16%. Los bajistas predicen que la burbuja de la IA podría estallar en Q3, con posibles caídas del mercado. El oro y la plata bajan, mientras que las exportaciones de petróleo de Irán alcanzan un máximo en tiempos de guerra, presionando a la baja los precios del crudo. **Productos/Tendencias:** Se lanza Steam Machine a un precio alto de 1049$. Red Magic anuncia su tablet gaming 5 Pro con soporte para 185Hz. **Línea Subyacente del Día:** Una corrección en el mercado: las acciones de chips caen, los precios de alquiler de GPUs disminuyen, lo que señala un enfriamiento en la infraestructura de IA. Paralelamente, las quejas sobre herramientas de IA como Cursor y ChatGPT sugieren una fase de "desencanto" en la capa de aplicación. El mercado se pregunta si la IA es un nuevo paradigma o una burbuja más, mientras la narrativa pasa de "posibilidades infinitas" a un momento clave de "demostrar valor".

marsbitHace 1 hora(s)

TechFlow Agencia de Inteligencia: AMD restaura función de cifrado de memoria en CPU para consumidores, acciones de chips coreanas se desploman un 10% causando conmoción en el mercado

marsbitHace 1 hora(s)

Visión Profunda: La Inferencia Descentralizada no es Hype, es el Campo Clave para Romper el Monopolio Centralizado de la IA

**Análisis profundo: El razonamiento descentralizado no es exageración, es clave para romper el monopolio centralizado de la IA** Ante un hipotético escenario donde un modelo de IA puntero es prohibido en 2026, el artículo argumenta que el **razonamiento descentralizado** es fundamental como protección contra la censura, ya que los modelos de código abierto serían imposibles de eliminar por completo. Sin embargo, construir redes de inferencia descentralizadas viables implica superar **cuatro desafíos principales**: 1. **Escalabilidad:** Ejecutar modelos enormes dividiéndolos en múltiples GPUs (swarm), luchando contra la latencia de red con técnicas como decodificación especulativa. 2. **Verificación:** Probar que el nodo ejecutó el modelo correcto y no una versión más barata. Se analizan opciones como ZKML (lento), pruebas de fraude o huellas estadísticas, todas con concesiones entre integridad, coste y velocidad. 3. **Privacidad:** Proteger el "prompt" del usuario. El sharding por sí solo no garantiza privacidad; se requieren soluciones como Entornos de Ejecución Confiables (TEE) o cifrado totalmente homomórfico (FHE), aunque este último es aún costoso. 4. **Mercado viable:** Identificar clientes reales dispuestos a pagar (empresas, agentes de IA) y crear un mercado sostenible más allá de la especulación con tokens. El artículo revisa proyectos como **Dolphin Network** (pruebas de pesos en vivo), **Inference.net** (verificación estadística), **Morpheus** (TEE) o **Darkbloom** (para Macs), destacando que cada uno aborda los problemas de forma distinta. La **ventaja competitiva** de la inferencia descentralizada no está en la baja latencia (donde lo centralizado gana), sino en tareas por lotes que priorizan el rendimiento agregado y el coste marginal bajo, como la generación de datos sintéticos. Un **valor oculto** a largo plazo es el ciclo de datos: las redes de inferencia pueden generar datos valiosos (por ejemplo, de interacciones con agentes) para entrenar mejores modelos de código abierto, creando un círculo virtuoso con el entrenamiento descentralizado. Finalmente, ofrece una **lista de verificación** para evaluar proyectos, enfatizando la necesidad de una propuesta de valor clara para usuarios no cripto, un equipo con sólidas capacidades técnicas en IA y una comprensión realista de su mercado objetivo.

Foresight NewsHace 1 hora(s)

Visión Profunda: La Inferencia Descentralizada no es Hype, es el Campo Clave para Romper el Monopolio Centralizado de la IA

Foresight NewsHace 1 hora(s)

Trading

Spot
Futuros

Artículos destacados

Cómo comprar ZK

¡Bienvenido a HTX.com! Hemos hecho que comprar ZKsync (ZK) sea simple y conveniente. Sigue nuestra guía paso a paso para iniciar tu viaje de criptos.Paso 1: crea tu cuenta HTXUtiliza tu correo electrónico o número de teléfono para registrarte y obtener una cuenta gratuita en HTX. Experimenta un proceso de registro sin complicaciones y desbloquea todas las funciones.Obtener mi cuentaPaso 2: ve a Comprar cripto y elige tu método de pagoTarjeta de crédito/débito: usa tu Visa o Mastercard para comprar ZKsync (ZK) al instante.Saldo: utiliza fondos del saldo de tu cuenta HTX para tradear sin problemas.Terceros: hemos agregado métodos de pago populares como Google Pay y Apple Pay para mejorar la comodidad.P2P: tradear directamente con otros usuarios en HTX.Over-the-Counter (OTC): ofrecemos servicios personalizados y tipos de cambio competitivos para los traders.Paso 3: guarda tu ZKsync (ZK)Después de comprar tu ZKsync (ZK), guárdalo en tu cuenta HTX. Alternativamente, puedes enviarlo a otro lugar mediante transferencia blockchain o utilizarlo para tradear otras criptomonedas.Paso 4: tradear ZKsync (ZK)Tradear fácilmente con ZKsync (ZK) en HTX's mercado spot. Simplemente accede a tu cuenta, selecciona tu par de trading, ejecuta tus trades y monitorea en tiempo real. Ofrecemos una experiencia fácil de usar tanto para principiantes como para traders experimentados.

334 Vistas totalesPublicado en 2024.12.13Actualizado en 2026.06.02

Cómo comprar ZK

Discusiones

Bienvenido a la comunidad de HTX. Aquí puedes mantenerte informado sobre los últimos desarrollos de la plataforma y acceder a análisis profesionales del mercado. A continuación se presentan las opiniones de los usuarios sobre el precio de ZK (ZK).

活动图片