jakiro
autor:MO Fuente: X, @No89thkey Traducción: Shan Oppa, Bittain Vision
Déjame intentar responder esta pregunta con un número:
¿Es posible que podamos converger a un solo mejor punto mágico en el plano de compensación?No, el futuro de la computación verificable fuera de la cadena es una curva continua que difumina los límites entre ZK dedicado y de propósito general.Permítame explicar cómo evolucionaron estos términos históricamente y cómo se fusionarán en el futuro.
Hace dos años, la infraestructura ZK «profesional» significaba marcos de circuitos de bajo nivel como Circcom, Halo2 y Arkworks.La aplicación ZK construida con estos es esencialmente un circuito ZK escrito a mano.Son rápidos y económicos para tareas muy específicas, pero a menudo son difíciles de desarrollar y mantener.Son similares a varios chips de circuito integrados específicos de aplicaciones (silicio físico) en la industria IC hoy en día, como chips NAND y chips controladores.
Sin embargo, en los últimos dos años,La infraestructura de ZK «especializada» se ha convertido en una infraestructura más «general».
Ahora tenemos ZKML, coprocesadores ZK y marcos ZKSQL que proporcionan SDK fáciles de usar y altamente programables que pueden crear diferentes categorías de aplicaciones ZK sin escribir una sola línea de código de circuito ZK.Por ejemplo, el coprocesador ZK permite que los contratos inteligentes accedan a estados de blockchain históricos/eventos/transacciones sin confianza y ejecute cálculos arbitrarios en estos datos.ZKML permite que los contratos inteligentes aprovechen de manera confiable los resultados de la inferencia de IA para permitir una amplia gama de modelos de aprendizaje automático.
Estos marcos evolucionados mejoran significativamente la programabilidad dentro de sus dominios objetivo, al tiempo que mantienen un alto rendimiento y un bajo costo, ya que la capa de abstracción (SDK/API) es delgada y cerca de los circuitos metálicos desnudos.Son similares a las GPU, las TPU y las FPGA en el mercado de IC: son expertos en el campo de la programabilidad.
ZKVM 在过去两年中也取得了长足的发展。值得注意的是，所有通用 ZKVM 都是构建在低级、专用 ZK 框架之上的。La idea es que puede escribir aplicaciones ZK en idiomas de alto nivel (aún más fáciles de usar que SDK/API) que pueden compilarse en una combinación de circuitos dedicados para conjuntos de instrucciones (clases RISC-V o WASM).在我们对 IC 行业的类比中，它们就像 CPU 芯片。
ZKVM 是低级 ZK 框架之上的一个抽象层，就像 ZK 协处理器等一样，尽管是一个更厚的层。
正如一位智者曾经说过的，一层抽象可以解决每个计算机科学问题，但同时会产生另一个问题。我的朋友，权衡就是这里游戏的名称。Fundamentalmente, para ZKVM, hacemos una compensación entre el rendimiento y la versatilidad.
Hace dos años, la actuación «Bare Metal» de ZKVM fue realmente mala.Sin embargo, en solo dos años, el rendimiento de ZKVM ha mejorado significativamente.¿Por qué?
¡Porque estos ZKVM «universales» se han vuelto más «profesionales»!Un área clave de mejora del rendimiento proviene de la «precompilación».Estos precompiladores son circuitos ZK especializados que calculan programas avanzados de uso común como SHA2 y varias verificaciones de firma, mucho más rápido que el proceso normal de descomponerlos en circuitos de instrucción.
Por lo tanto, la tendencia ya es muy obvia ahora.
La infraestructura de ZK especializada se está volviendo cada vez más general, ¡y ZKVM generalizado se está volviendo más especializada!
Para ambas soluciones en los últimos años, la optimización es lograr una mejor compensación que antes: hacerlo mejor en un punto sin sacrificar al otro.Es por eso que ambas partes sienten que «definitivamente somos el futuro».
Sin embargo, la sabiduría de la informática nos dice a todos que en algún momento nos encontraremos con un «muro óptimo de Pareto» (línea punteada verde), en cuyo caso no podemos sin sacrificar otra característica mejorar una característica.
Entonces, surge una pregunta de un millón de dólares: ¿uno reemplazará completamente al otro a su debido tiempo?
Si la analogía de la industria de IC puede ayudar: el tamaño del mercado de la CPU es de $ 126 mil millones, y toda la industria IC, más todas las IC «dedicadas», son de $ 515 mil millones.Creo que a nivel micro, la historia rima aquí y no se reemplazará.
Dicho esto, nadie dijo hoy: «Hola, estoy usando una computadora que funciona completamente con una CPU de propósito general» o «Hola, mira este extraño robot impulsado por un IC dedicado».
Sí, deberíamos mirar esto desde una perspectiva macro.
En el futuro, los expertos en dominio ZK Infraestructura y ZKVM de propósito general pueden y funcionarán juntos.Esto puede suceder en muchas formas.
Hoy en día, la forma más fácil es posible.Por ejemplo, puede usar el coprocesador ZK para generar algunos resultados de cálculo en el largo historial de transacciones blockchain, pero la lógica comercial computacional además de estos datos es tan compleja que no puede expresarlo fácilmente en el SDK/API.
Todo lo que puede hacer es obtener pruebas de datos de datos de alto rendimiento y de bajo costo de ZK y cálculos intermedios, y luego reunirlos en una VM generalizada por prueba recursivamente.
Si bien creo que este tipo de debates son interesantes, sé que todos estamos construyendo el futuro de la computación asíncrona para blockchains alimentadas por la informática verificable fuera de la cadena.Cuando vemos los casos de uso que adoptan los usuarios a gran escala en los próximos años, creo que este debate se puede resolver fácilmente.
