jakiro
Introducción de fondo
El 10 de abril, A16Z Crypto lanzó una solución de solución de conocimiento cero para acelerar y simplificar la expansión de la cadena de bloques.
Jolt integra Snark (certificado de conocimiento cero simple no interactivo), que permite a los desarrolladores crear rápidamente soluciones L2 basadas en Snark.El equipo también dijo que Jolt era dos veces más rápido que los ZKVM actuales.
La tecnología ZK es una de las líneas principales de la industria encriptada a lo largo del ciclo.A16Z fue lanzado oficialmente de Jolt en agosto del año pasado a este año, lo que muestra queZK-Rollup sigue siendo la pista de nieve gruesa de pendiente larga.
ZK-Rollup tiene muchos jugadores que ingresan al juego, y ha formado una categoría de tecnología más subdividida para distinguir las diferencias entre los proyectos con EVM es el estándar de clasificación más representativo.
Debido a las razones históricas, EVM tiene una gran cantidad de diseño irrazonable. Los proyectos de ZK-Rollup se enfrentan naturalmente al equilibrio de EVM más compatible o más compatible con ZK.
El ZKM nacido por Metis DAO es desde una perspectiva de nivel inferior, y propone una solución universal de ZKMIPS.
ZKMIPS utiliza un conjunto de instrucciones MIPS más de la capa inferior para implementar el proceso de ejecución del programa a la conversión de ZKP. desarrolladores.
Este artículo interpretará profundamente los esfuerzos y el progreso de Metis en ZK y la secuencia descentralizada.
ZKM y rollups híbridos: armonía entre OP y ZK
Metis puede lograr un rendimiento brillante en el mercado.
La tecnología ZKMIPS de ZKM proporciona un soporte de compatibilidad sólido para los rollups híbridos de Metis, lo que permite a Metis lograr la fusión orgánica de ZK y EVM.
En los rollups híbridos, el rol clave incluye:
-
Securador: responsable de recibir y manejar las transacciones de los usuarios, determinar el mejor orden de las transacciones y publicarlas en capas de disponibilidad de consenso y de datos.
-
PROPOSITORES: Evaluar las transacciones y las raíces de estado presentadas por secuencia, registrada en la cadena de comisiones estatales (SCC).
-
Verificadores: verifique la raíz de estado en la cadena de rollo para garantizar la corrección de la transacción y prevenir el fraude.
En la solución L2 estándar, la secuencia recopiló y manejó la transacción, y luego publicó los datos de la transacción a la red principal de Ethereum (L1).Este proceso requiere que L1 verifique y confirme los datos finales para garantizar la seguridad y la consistencia.
>
(Fuente: https://mirror.xyz/msfew.eth/wqjaocfkkptozlns8mbqacs4oeproactnlanalvw)
Los rollups híbridos adoptan un método mixto durante el procesamiento y la optimización de las transacciones L2.
1. La iniciativa y procesamiento de transacciones:
-
Los usuarios inician transacciones en L2.
-
El secuenciador recibió y manejó estas transacciones para determinar el orden en la cadena de negociación estándar (CTC).
2. Envío y verificación de estado:
-
Los proponentes evalúan la raíz de estado a SCC después de la transacción.
-
Los verificadores revisan la raíz de estado en el SCC para garantizar que sea precisa.
3. La generación y verificación de la prueba de conocimiento cero:
-
Prover lee datos de L1 y genera ZK para demostrar que esta es la característica clave de los rollups híbridos, lo que permite que el sistema verifique la efectividad de las transacciones sin filtrar el contenido de transacciones específico.
-
Una vez que se demuestra que se genera el ZK, si no se presenta a tiempo, el verificador comenzará el proceso a prueba de fraude y puede castigar el secuenciador.
4. La confirmación final de datos y estado:
-
A través de contratos inteligentes, una vez que ZK demuestra que se verifica, la transacción se finaliza.
-
L1 y L2 están conectados a través del puente de contrato inteligente para garantizar la transferencia de seguridad de fondos y estatus.
El diseño de rollups híbridos proporciona múltiples ventajas significativas:
-
Eficiencia y beneficios de costos: al usar ZK demuestra, los rollups híbridos pueden lidiar con más transacciones mientras consumen menos gas.
-
Seguridad mejorada: combinada con la prueba de fraude tradicional y la prueba de ZK, incluso cuando se encuentran potenciales comportamientos maliciosos, puede garantizar la seguridad y la corrección de las transacciones.
-
Escalabilidad: con pruebas recursivas, los rollups híbridos pueden manejar transacciones a gran escala sin sacrificar el rendimiento y admitir aplicaciones de blockchain más amplias.
-
Compatibilidad y flexibilidad: admite múltiples contratos inteligentes y lenguajes de programación, para que los desarrolladores puedan migrar fácilmente las aplicaciones existentes a los acumulaciones híbridas.
La idea central de ZK es convertir el proceso de ejecución del programa en un certificado matemático que se puede ver simplemente, para que todos puedan verificar fácilmente la corrección de la ejecución del programa sin la ejecución repetida del programa.
Los desarrolladores generalmente usan idiomas avanzados para desarrollar programas, mientras que diferentes idiomas de alto nivel usan diferentes «diálogos» lógicos con hardware.
Por lo tanto, la ruta de implementación de los proyectos ZK existentes suele ser incompatible.Desplácese directamente de escribir circuitos para cada código operativo de EVM, logrando un equivalente del nivel de código operativo, que refleja con precisión el EVM, pero trae una gran cantidad de ingeniería;
Polygon Zkevm crea una VM personalizada con un rendimiento optimizado, que convierte directamente el ByTecode EVM en el código de bytes de VM para lograr el equivalente del nivel del código de operación de manera más eficiente de EVM;
ZKSYNC creó su propia VM (SYNCVM), y definió su propia representación intermedia (AIR) basada en el registro, y luego construyó un compilador especial para hacer YUL (un lenguaje intermedio que puede compilarse en diferentes versiones de palabras EVM. considerado como una solidez de nivel inferior) compilado en LLVM-IR, y luego lo compiló en una instrucción VM personalizada, lo que logró la compatibilidad de nivel de solidez La conversión entre las relaciones sexuales también puede necesitar volver a ir a los procedimientos;
Starknet da compatibilidad con EVM y utiliza su propio lenguaje de bajo nivel (Cairo) para ejecutar VM Smart Contract Smart (VM) personalizado para obtener una eficiencia extrema de ZK.
En comparación con la solución del proyecto anterior, ZKM eligió un camino más tolerante: ZKMIPS.
MIPS, llamado «microprocesador con etapas de tubería entrelazadas», es un conjunto de instrucciones de microprocesador diseñados simples, que comenzó en 1985.
El principio básico de MIPS es simplificar las instrucciones complejas del microprocesador a la forma más básica.
En el sistema ZKMIPS, este conjunto de instrucciones se utiliza para realizar la conversión del programa a ZK.
El proceso de implementación de ZKMIPS es el siguiente:
-
Conversión del programa a MIPS: Primero, los contratos o programas inteligentes escritos por el lenguaje de programación avanzado (como la solidez o el óxido) se compilan en conjuntos de instrucciones MIPS.Este paso es convertir niveles más altos de abstracción en operaciones específicas que se pueden realizar a nivel de hardware.
-
Genere la prueba de ZK: Posteriormente, estas instrucciones MIPS se utilizan para generar una prueba de conocimiento cero correspondiente.Debido a las características simplificadas de MIP, este paso es más eficiente en la informática, lo que puede generar pruebas más rápido sin sacrificar la seguridad.
La ventaja de Zkmips
-
Compatibilidad: ZKMIPS no solo admite la solidez compatible con EVM, sino que también admite otros lenguajes de desarrollo convencionales, como el óxido y el movimiento.Esto permite que ZKMIPS sirva a una gama más amplia de ecosistemas de desarrollo de blockchain, lo que brinda más posibilidades de aplicación.
-
Beneficios de costos: debido a la eficiencia del conjunto de instrucciones MIPS, ZKMIPS puede reducir significativamente el costo de cálculo al generar pruebas de conocimiento cero y aumentar la sostenibilidad general del sistema.
-
Prueba recursiva: ZKMIPS admite pruebas recursivas de que múltiples pruebas pueden agregar una unidad de gestión más fácil, que es muy importante para mejorar la escalabilidad del sistema.
De hecho, las ventajas de los MIP han sido integradas por el optimismo y otros proyectos.El mecanismo de cañón del Optimismo es convertir los programas ejecutados en MIP, para facilitar el proceso de ejecución para encontrar errores y volver a explicar de manera más simple y eficiente cuando se cuestiona el proceso de ejecución.
Metis también siguió esta tendencia e cañón integrado en su ecosistema, lo que también verificó aún más la practicidad y la eficiencia de la tecnología ZKMIPS.
Secuencia de descentralización: descentralización y sostenibilidad
Además de utilizar los rollups híbridos para integrar las ventajas de OP y ZK, Metis también empujó activamente al aterrizaje del secuenciador de descentralización para establecer un resultado de descentralizado para el encierro.
En el modelo de rollo tradicional, aunque un solo secuenciador puede manejar efectivamente las transacciones y los datos, también se centra en una gran potencia, lo que puede conducir a múltiples riesgos:
-
Riesgo de operación: si el secuenciador falla o es atacado, se bloqueará el procesamiento de transacciones de todo el sistema.
-
Riesgo de examen: el secuenciador tiene la capacidad de manejar o rechazar selectivamente transacciones, lo que puede limitar a los usuarios a acceder a protocolos o servicios de finanzas descentralizadas (DEFI) específicas.
-
Riesgo de manipulación: en la clasificación de la transacción, la secuencia puede dar prioridad al manejo de sus propias transacciones y obtener beneficios injustos al aumentar los costos de transacción, es decir, el valor de extracción máximo (MEV).
Para resolver los problemas anteriores, METIS ha diseñado un grupo de secuencias descentralizado, que consiste en múltiples nodos de secuenciador para completar conjuntamente la agregación, clasificación y ejecución de transacciones.Este diseño asegura la justicia y la transparencia del sistema:
-
Mecanismo de consenso: más de dos tercios del nodo secuenciador deben alcanzar un consenso sobre el estado de cada nuevo bloque, y luego el lote de transacción se puede enviar a la red principal de Ethereum (L1).
-
Firma de cálculo multiparte (MPC): antes de que los lotes de transacción se sometan a L1, la firma MPC verifica la autenticidad del lote para garantizar que los datos sean correctos.
La ventaja del secuenciador de descentralización:
-
Seguridad mejorada: a través de las decisiones de toma de decisiones conjuntas de múltiples nodos, se ha reducido el riesgo de falla de un solo punto, y se ha aumentado la robustez y seguridad de la red.
-
La posibilidad de reducir la censura y la manipulación: la presencia de secuenciador múltiple dificulta que un solo nodo manipule o revise las transacciones, y proteja la libertad de transacción de los usuarios.
-
Estabilidad y redundante: el sistema admite la rotación suave del secuenciador, minimizando los efectos de fallas o interrupciones, y mejorando la estabilidad de toda la red.
En el modelo de secuencia descentralizada de Metis, cada nodo consta de varios componentes clave:
-
L2 GETH (incluido el nodo OP): responsable de la clasificación de la clasificación y el ensamblaje de bloques.
-
Módulo de adaptador: intermediarios que interactúan con otros módulos externos (principalmente nodos POS).
-
PROPOSADOR (PROPOSADOR): Responsable de construir un lotes de transacción y enviarlo a L1 después de recibir el reconocimiento de un secuenciador múltiple.
-
POS Node: Coordinar entre Ethereum, consenso y capa Metis para garantizar el bloqueo de seguridad y la verificación de recompensas de los activos.
-
Capa de consenso: incluyendo un grupo de nodos POS Tendermint que se ejecutan paralelos a la red principal de Ethereum para garantizar la eficiencia de la operación y no obstaculizar el proceso de la red principal.
>
(Fuente: https://ethresear.ch/t/pos- secuencer-decentralizing-an-optimistic-rollup/16760))))))
A través de este diseño, el grupo de secuencia descentralizado de Metis no solo mejora la equidad y la transparencia del procesamiento de transacciones, sino que también mejora la seguridad y la estabilidad de la red a través de la potencia descentralizada.
Resumen y perspectiva
Las ventajas de Metis en tecnología y conceptos han creado una base sólida para el desarrollo adicional del futuro.Se espera que sus rollups híbridos basados en ZKMIPS resuelvan la compatibilidad con ZK-Rollup, y siempre ha traído una ecología de desarrolladores más diversa;
El avance del secuenciador descentralizado muestra la visión del equipo que busca la descentralización.Con la madurez continua de la ecología de Metis, tenemos razones para creer que Metis se convertirá continuamente en los caballos oscuros en la futura competencia L2, creando un flujo constante de valor para usuarios y desarrolladores.
