1/ Manta Pacific
Manta Pacific es una solución Ethereum Layer 2 diseñada para aplicaciones ZK. Es una Capa 2 modular construida sobre Ethereum y ha obtenido más de $60 millones en financiación de instituciones como Polychain, Binance Labs, CoinFund y SevenX Ventures.
Manta Pacific se basa actualmente en una arquitectura OP Stack personalizada de Caldera, lo que la hace casi 100% compatible con Ethereum EVM. Esto permite a los desarrolladores existentes en el ecosistema Ethereum migrar sin problemas sus aplicaciones a Manta Pacific.
Manta Pacific traslada la capa de disponibilidad de datos de Ethereum a Celestia, lo que la convierte en la primera Capa 2 en utilizar Celestia como su capa de disponibilidad de datos.
Manta también incorpora circuitos ZK a Manta Pacific. Los desarrolladores pueden llamar fácilmente a funciones ZK con solo unas pocas líneas de código a través de SDK y API, lo que permite la integración de ZK con DApps existentes o el desarrollo de nuevas aplicaciones ZK.
2/ Modularidad
La modularidad se refiere al diseño de productos y al pensamiento arquitectónico que es común en Web2 y en las industrias tradicionales. Por ejemplo, los fabricantes de teléfonos inteligentes eligen proveedores de pantallas, chips, WiFi, Bluetooth, etc., y luego recurren a fabricantes contratados para el ensamblaje, lo que mejora significativamente la eficiencia y reduce los costos, en lugar de producir ellos mismos todos los componentes.
Normalmente, una cadena de bloques se puede dividir en capa de consenso, capa de liquidación, capa de disponibilidad de datos y capa de ejecución.
La red principal de Ethereum maneja el consenso final y las responsabilidades de liquidación, mientras que los proyectos de la capa de disponibilidad de datos incluyen Celestia, EigenDA, Polygon Avail y más. Los Ethereum Layer 2 comunes son proyectos de capa de ejecución.
Modularidad significa personalización y mayor componibilidad. Los proyectos pueden hacer concesiones en función de sus necesidades, como confiar la seguridad a la red principal de Ethereum mientras buscan tarifas de gas bajas, incluso tarifas de gas cero, y velocidades de transacción ultraaltas.
La modularidad permite a los proyectos construir su cadena basándose en pilas técnicas probadas como Polygon CDK u OP Stack sin construir toda la infraestructura desde cero.
3/ Modularidad de Manta Pacific
El diseño modular de Manta abarca dos aspectos:
Manta Pacific utiliza pilas de tecnología madura como OP Stack y Polygon CDK para implementar su arquitectura modular.
A diferencia de otras soluciones de Capa 2, Manta Pacific no construyó su infraestructura desde cero, sino que utilizó la pila de tecnología OP Stack madura existente.
Si Manta fuera una marca de teléfonos inteligentes recién establecida, usar OP Stack sería como usar directamente la cadena de suministro y la arquitectura tecnológica del iPhone.
La ventaja de este enfoque es que Optimism es un proyecto probado por el mercado bajista, y su pila de tecnología OP Stack también ha sido sometida a pruebas de mercado a largo plazo y es muy madura. Manta Pacific puede apoyarse directamente en los hombros de gigantes y heredar en gran medida las ventajas técnicas y de seguridad existentes de OP Stack.
Además, logra compatibilidad total con EVM, lo que permite a los desarrolladores migrar fácilmente las DApps existentes a Manta Pacific. Más importante aún, Manta puede centrarse más en la construcción de ecosistemas y la expansión del proyecto. Hasta la fecha, Manta Pacific ha verificado más de 810 contratos inteligentes en su cadena, con más de 200 proyectos de ecosistemas.
Manta Pacific utiliza Celestia como su capa de disponibilidad de datos, lo que significa que la seguridad de la disponibilidad de datos está garantizada en parte tanto por la red principal de Ethereum como por Celestia. Si los nodos del secuenciador publican datos auténticos, los datos correspondientes se pueden encontrar tanto en la red principal de Ethereum como en Celestia.
El secuenciador de Manta Pacific especifica la altura del bloque para publicar blobs en Ethereum. Si el blob no está presente a esa altura, la transacción no es válida.
El secuenciador publica datos: una transacción en la Bandeja de entrada, codificada en tres partes: un número de versión (0x02), una altura de bloque (0xa4aa050000000000) y un compromiso de blob (la parte restante). Al especificar la altura, los nodos saben dónde buscar.
Por ejemplo, 0xa4aa050000000000 es la codificación little-endian de la altura del bloque, convertida al bloque 371364. Puede encontrar el mismo bloque en https://celenium.io/block/371364.
El bloque contiene un bloque en el espacio de nombres de Manta Pacific. Los datos completos se pueden encontrar:
Si el secuenciador publica datos falsificados, los nodos no podrán encontrar el compromiso en la altura de bloque especificada.
Los circuitos ZK propios de Manta están diseñados de forma modular, lo que hace que las funcionalidades ZK estén integradas en Manta Pacific. Los desarrolladores pueden llamar e implementar completamente funciones y características de ZK dentro de Manta Pacific, diferenciándolo de otros ZK Rollups o zkEVM. Los desarrolladores también pueden llamar fácilmente a circuitos ZK para combinar funciones ZK con aplicaciones.
En las interacciones de ZK Rollup, los usuarios intercambian dentro del ZK Rollup, y el secuenciador del ZK Rollup actúa como probador, secuenciando las transacciones de los usuarios, comprimiendo, empaquetando y generando pruebas ZK. Los contratos inteligentes de la red principal de Ethereum actúan como verificadores, verificando la exactitud de la prueba ZK, verificando así la exactitud de las transacciones que representa.
El contrato inteligente de la red principal no necesita realizar una validación compleja de las transacciones ZK Rollup, y una prueba de ZK puede representar la exactitud de más información de transacciones, logrando escalabilidad y mejorando la capacidad de la red principal de Ethereum para confirmar transacciones.
En comparación, los usuarios de Manta Pacific actúan como probadores, generando pruebas ZK localmente al enviar transacciones. Los alzadores en cadena actúan como verificadores y validan las pruebas ZK. Luego, el secuenciador comprime las transacciones verificadas y las envía a la red principal de Ethereum. Dentro de la Capa 2, Manta Pacific completa la generación y validación de ZK, aprovechando plenamente las características de ZK.
4/ EN PILA
OP Stack es una pila de tecnología blockchain modular y de código abierto lanzada por el equipo de Optimism, diseñada para proporcionar soluciones blockchain altamente escalables e interoperables. OP Stack adopta un diseño modular, en el que cada módulo implementa una capa específica de la pila y se conecta a través de API bien definidas. Esto permite a los desarrolladores modificar fácilmente los módulos existentes o crear otros nuevos, admitiendo diferentes tipos de aplicaciones e innovaciones de blockchain.
El objetivo de OP Stack es ir más allá de los modelos tradicionales de cadena única o multicadena y promover una estructura compuesta por cadenas altamente integradas, conocida como Superchain. La Superchain, al compartir formatos de mensajería, permite que diferentes cadenas se comuniquen fácilmente sin adaptadores personalizados para cada cadena. También admite la componibilidad atómica entre cadenas, donde múltiples cadenas de operaciones comparten un conjunto de secuenciadores, lo que garantiza interacciones a nivel atómico entre cadenas.
5/ Capa de disponibilidad de datos (capa DA)
La capa de disponibilidad de datos garantiza que se pueda acceder y verificar públicamente a todos los datos dentro de una red blockchain, especialmente los datos de la capa 2. La capa de disponibilidad de datos permite a cualquier participante recuperar estos datos para validar el estado de la red y la validez de las transacciones, proporcionando una garantía crucial de transparencia y seguridad de blockchain.
6/ Celestia
Celestia proporciona una capa de consenso y disponibilidad de datos conectable, basada en el consenso de Cosmos Tendermint y el SDK de Cosmos, compatible con cadenas EVM y cadenas de aplicaciones Cosmos. Estas cadenas pueden utilizar Celestia directamente como su capa de disponibilidad de datos, con datos en bloque almacenados, accedidos y verificados a través de Celestia. Celestia también admite paquetes acumulativos nativos, lo que permite construcciones de capa 2, aunque no admite contratos inteligentes.
Los rollups se integran con Celestia ejecutando nodos de Celestia. Celestia recibe información de transacciones acumuladas, ordena transacciones a través del consenso de Tendermint, pero no ejecuta ni valida la corrección de las transacciones. Empaqueta, ordena, transmite transacciones y garantiza la seguridad y disponibilidad de los datos mediante codificación de borrado y muestreo de disponibilidad de datos (DAS).
7/ Circuitos ZK
En las pruebas de conocimiento cero, los "circuitos" son una forma de representar algoritmos y funciones complejos. Aquí, los circuitos no se refieren a circuitos electrónicos tradicionales sino a una estructura matemática o lógica.
En el contexto de las pruebas de conocimiento cero, los circuitos se utilizan a menudo para describir o definir un problema o afirmación específica.
Las principales funciones de los circuitos:
Descripción del problema: Los circuitos pueden describir o definir un problema o declaración específica. Por ejemplo, es posible que el probador quiera demostrar que conoce la entrada que satisface un circuito específico.
Privacidad de los detalles: al utilizar circuitos, el probador puede demostrar que conoce información que satisface las condiciones del circuito sin revelar el contenido específico de esa información.
Verificabilidad: Los circuitos proporcionan una manera para que el verificador verifique la exactitud de la prueba sin conocer la entrada específica utilizada por el probador.
Generalidad y reutilización: una vez definidos, los circuitos se pueden utilizar para una variedad de problemas y escenarios. Es por eso que algunos marcos ZKP admiten los llamados circuitos "universales", capaces de describir y resolver diversos problemas.
En resumen, los circuitos en las pruebas de conocimiento cero actúan como un puente, conectando las declaraciones que el probador quiere probar con la necesidad del verificador de verificar la declaración, sin revelar ninguna información más allá de la declaración misma. Los circuitos se utilizan para definir los cálculos que se prueban. Cada aplicación específica requiere sus propios circuitos. Diferentes servicios (como zkEVM, ZKML, ZK Oracle, ZK Bridge y varias pruebas de estado y consenso) requieren circuitos diferentes.
8/ Circuitos Universal ZK por Manta Pacific
Manta Pacific es una solución de Capa 2 diseñada específicamente para aplicaciones ZK (Zero-Knowledge), que ofrece compatibilidad casi completa con el entorno Ethereum EVM (Ethereum Virtual Machine) y el lenguaje de programación Solidity. Recientemente, Manta Pacific lanzó Universal ZK Circuits 2.0, una biblioteca ZK orientada a desarrolladores que permite la integración de contratos habilitados para ZK en contratos inteligentes y dApps de Solidity existentes con solo unas pocas líneas de código.
Los circuitos ZK universales proporcionan ZK como servicio para desarrolladores de Solidity. Actualmente, incluye el circuito MantaPay existente de Manta Network, el circuito zkShuffle y los circuitos ZK del proyecto Semaphore de la Fundación Ethereum.
Al utilizar Universal Circuits en Manta Pacific, los desarrolladores pueden implementar fácilmente aplicaciones ZK nativas de EVM. También pueden llamar a contratos habilitados para ZK para sus contratos inteligentes y dApps de Solidity existentes a través de API avanzadas.
Por ejemplo, un desarrollador que crea una aplicación de juego de cartas en cadena puede utilizar el circuito zkShuffle para implementar el barajado y reparto de cartas descentralizado. Un ejemplo práctico de desarrollo de aplicaciones ZK simplificado con Manta Universal Circuits es zkHoldem.
Antes de la introducción de Universal Circuits, la creación de zkShuffle y aplicaciones ZK similares requería la construcción manual de circuitos y conversiones entre lenguajes de programación como Rust y Solidity. Sin embargo, con la introducción de Manta Universal Circuits, esta complejidad se ha reducido significativamente.
Con los circuitos universales de Manta Pacific, la creación de aplicaciones ZK se ha vuelto más sencilla y eficiente.