Las pruebas de conocimiento cero permiten la verificación dentro de la cadena sin exponer datos brutos, pero el diseño de circuitos y la integración criptográfica han sido históricamente barreras importantes para el desarrollo de dApps. Universal Circuits empaqueta circuitos ZK comunes en módulos reutilizables, lo que permite a los desarrolladores de EVM incorporar funciones de privacidad y cumplimiento mediante llamadas a contratos sin tener que rediseñar las arquitecturas Solidity existentes.
En el modelo de dos cadenas de Manta Network, Pacific gestiona la ejecución de aplicaciones ZK, y Universal Circuits es la herramienta de desarrollo central en el lado de Pacific, distinta de la capa de identidad de Atlantic. Junto con Celestia DA y el entorno de ejecución zkEVM, conforma un stack de aplicaciones basado en "escalado de bajo coste y ZK programable".
¿Qué es Universal Circuits?
Universal Circuits es una biblioteca de desarrollo ZK-as-a-Service desplegada en Manta Pacific. Agrupa circuitos de conocimiento cero comunes en módulos reutilizables a los que las aplicaciones descentralizadas pueden llamar mediante interfaces estándar. En el ecosistema de Manta Network, Universal Circuits actúa como una "capa intermedia de funciones ZK": los circuitos criptográficos y los contratos de verificación dentro de la cadena forman la base, mientras que la lógica de negocio en Solidity compatible con EVM se sitúa encima.
A diferencia de lenguajes ZK dedicados como Cairo y Noir, Universal Circuits mantiene la equivalencia con EVM. Los desarrolladores pueden agregar capacidades de privacidad y cumplimiento a arquitecturas de contratos existentes sin cambiar de paradigma de programación. Universal Circuits 2.0 incorpora Proof Aggregation, que fusiona varias pruebas en una única unidad de verificación para reducir el gas dentro de la cadena y aumentar el rendimiento.
| Dimensión |
Universal Circuits |
Lenguajes ZK dedicados (Cairo / Noir) |
| Lenguaje de desarrollo |
Solidity + SDK |
DSL ZK dedicado |
| Compatibilidad con EVM |
Mantiene equivalencia con EVM; los contratos son portables |
Normalmente requiere un entorno de ejecución separado |
| Origen de los circuitos |
Biblioteca de circuitos general preconstruida |
Los desarrolladores escriben los circuitos ellos mismos |
| Barrera de integración |
Diseñado para desarrolladores Solidity existentes |
Requiere aprender la sintaxis de circuitos ZK |
| Coste de verificación |
2.0 admite agregación de pruebas para menores costes |
Varía según la implementación y la cadena |
La tabla anterior muestra que Universal Circuits está principalmente orientado a "reducir la barrera de integración ZK", no a reemplazar una máquina virtual ZK completa. Los circuitos preconstruidos abarcan escenarios de alta frecuencia como verificación de identidad, pagos privados conformes y barajado dentro de la cadena para juegos. Esto permite que la capa de aplicaciones de Manta Pacific añada capacidades de conocimiento cero sin reestructurar las arquitecturas de contratos.
¿Cómo funciona ZK-as-a-Service?
ZK-as-a-Service es el modelo de servicio detrás de Universal Circuits. Los desarrolladores externalizan la generación, el formateo y la verificación dentro de la cadena de pruebas criptográficas a componentes estandarizados, mientras que sus contratos gestionan solo la lógica de negocio y las llamadas de interfaz. Este enfoque divide el desarrollo ZK en dos capas (la "capa de circuitos (preconstruida por la plataforma)" y la "capa de aplicación (escrita por el desarrollador)"), evitando la reimplementación redundante de los mismos primitivos criptográficos en distintos proyectos.
El flujo de llamada típico de ZK-as-a-Service funciona así: un contrato Solidity envía una solicitud de prueba a través del SDK de Universal Circuits → el SDK llama al circuito preconstruido correspondiente para generar una prueba de conocimiento cero → la prueba se envía a un contrato de verificación dentro de la cadena → tras una verificación exitosa, el contrato desencadena un cambio de estado. Universal Circuits 2.0 añade un paso de agregación, que permite fusionar varias pruebas independientes en una única prueba agregada para su verificación dentro de la cadena en una sola transacción.
Figura 1. Flujo ZK-as-a-Service de Universal Circuits: desde la dApp en Solidity, pasando por el SDK, los circuitos preconstruidos y la generación de pruebas, hasta la verificación dentro de la cadena en Manta Pacific.
ZK-as-a-Service ofrece funciones de conocimiento cero a través de interfaces estándar. La corrección del circuito está garantizada por componentes de toda la plataforma, lo que reduce el alcance de la auditoría criptográfica necesaria por proyecto.
¿Cómo integran los desarrolladores de Solidity?
La integración de Universal Circuits con Solidity sigue un proceso de cuatro pasos: "introducción del SDK → selección del circuito → generación de la prueba → verificación dentro de la cadena". Los desarrolladores añaden el SDK de Universal Circuits en el entorno de despliegue de Manta Pacific, declaran el tipo de circuito requerido y los parámetros de entrada públicos y privados en sus contratos, realizan el cómputo del testigo fuera de la cadena o en el lado del cliente, generan la prueba y luego la envían junto con las entradas públicas al contrato de verificación.
El proceso de integración no requiere escribir circuitos subyacentes. El SDK encapsula los ABI de los circuitos y las direcciones de los contratos de verificación. Después de migrar los contratos Ethereum existentes a Pacific, los desarrolladores pueden añadir llamadas a Universal Circuits en puntos clave.
| Paso de integración |
Acción |
Responsable |
| Introducción del SDK |
Añadir dependencias, configurar dirección de red y contratos |
Desarrollador |
| Selección del circuito |
Elegir circuitos preconstruidos como Semaphore, zkShuffle |
Desarrollador |
| Testigo y generación de prueba |
Calcular testigo de entrada privada, generar prueba ZK |
Desarrollador / Cliente |
| Verificación dentro de la cadena |
Enviar prueba al contrato de verificación, desencadenar cambio de estado |
Contrato dentro de la cadena |
El cómputo del testigo se realiza fuera de la cadena; solo la prueba compacta se envía dentro de la cadena. Este enfoque permite que equipos con experiencia en EVM pero sin conocimientos de ZK desplieguen aplicaciones con funcionalidad de privacidad.
¿Qué escenarios pueden cubrir los circuitos preconstruidos?
Los circuitos preconstruidos de Universal Circuits abarcan tres escenarios de aplicación de alta frecuencia: verificación de identidad, pagos privados conformes y barajado dentro de la cadena para juegos. Cada escenario utiliza diferentes primitivos criptográficos, pero todos se acceden a través de la interfaz unificada del SDK.
El circuito Semaphore admite pruebas de pertenencia a un grupo anónimo y divulgación selectiva, por lo que es adecuado para votaciones en DAO y KYC privado. El circuito de pago privado conforme oculta los detalles de la transacción mientras preserva la visibilidad regulatoria. El circuito zkShuffle proporciona barajado aleatorio verificable para juegos de cartas dentro de la cadena.
Figura 2. Escenarios típicos de Universal Circuits: verificación de identidad Semaphore, pago privado conforme y juego dentro de la cadena con zkShuffle.
| Tipo de circuito |
Función principal |
Casos de uso típicos |
| Semaphore |
Prueba de pertenencia a grupo anónimo, divulgación selectiva |
Votación en DAO, listas blancas, KYC privado |
| Pago privado conforme |
Ocultar cantidades y partes, preservar visibilidad de cumplimiento |
Pagos institucionales, DeFi conforme |
| zkShuffle |
Barajado aleatorio verificable |
Juegos de cartas dentro de la cadena, juego justo |
Los desarrolladores solo tienen que seleccionar el circuito adecuado para su escenario, sin necesidad de construir soluciones criptográficas desde cero. Las credenciales de cumplimiento zkSBT en el lado de Pacific también admiten verificación, lo que crea sinergia con la capa de identidad de Atlantic.
¿Qué papel desempeña Universal Circuits en el ecosistema de Pacific?
Universal Circuits es el componente ZK de la capa de aplicación del stack tecnológico de Manta Pacific. Junto con la capa de disponibilidad de datos Celestia, el entorno de ejecución zkEVM y la arquitectura L2 modular, completa el conjunto de capacidades de Pacific. Pacific proporciona un entorno de despliegue compatible con EVM y ahorro de costes mediante Celestia DA; Universal Circuits añade capacidades de conocimiento cero sobre esa base, lo que permite que el L2 modular admita de forma nativa aplicaciones de privacidad y cumplimiento más allá de los contratos inteligentes generales.
La diferencia fundamental entre Manta Pacific y Manta Atlantic radica en su división en dos cadenas: Pacific se centra en la ejecución de aplicaciones ZK y el despliegue de Universal Circuits, mientras que Atlantic se centra en zkAddress y la identidad de cumplimiento dentro de la cadena con zkSBT. Universal Circuits permite que las aplicaciones de Pacific llamen directamente a la lógica de verificación de privacidad, mientras que las credenciales de identidad de Atlantic pueden servir como fuentes de datos para la verificación zkSBT en el lado de Pacific. Ambas cadenas se complementan en lugar de reemplazarse mutuamente en los estándares de credenciales.
El proceso completo para hacer puente a Manta Pacific cubre el paso de activos entre cadenas y la preparación de gas. Tras el puente, los desarrolladores despliegan contratos Solidity integrados con Universal Circuits en el entorno de Pacific. El gas de Pacific se denomina en ETH; el coste de ejecución de la verificación de pruebas ZK está incluido en la estructura de gas habitual, y la agregación de pruebas reduce aún más el coste por verificación.
¿Cuáles son las limitaciones y riesgos de usar Universal Circuits?
Como biblioteca de circuitos preconstruidos, Universal Circuits tiene límites estructurales en cuanto a flexibilidad y cobertura de escenarios. Los circuitos preconstruidos solo abarcan escenarios generales seleccionados por la plataforma; la lógica de conocimiento cero altamente personalizada sigue requiriendo que los desarrolladores escriban circuitos dedicados o utilicen otros frameworks ZK. El ritmo de actualización de la biblioteca de circuitos depende del mantenimiento de la plataforma, y existe un retraso antes de que los nuevos primitivos criptográficos se añadan a la biblioteca general.
ZK-as-a-Service delega parte de los supuestos de seguridad en los contratos de verificación de la plataforma. Las vulnerabilidades de los contratos, los defectos de los circuitos o los errores en la capa de agregación suponen riesgos técnicos. La dependencia de Pacific de Celestia DA y la capa de liquidación de Ethereum también introduce riesgos de protocolo externos. Los requisitos que superan el alcance de los circuitos preconstruidos requieren evaluar soluciones de lenguajes ZK dedicados; los SDK falsificados deben verificarse contrastando con la información divulgada públicamente.
Resumen
Universal Circuits, como biblioteca de desarrollo ZK-as-a-Service de Manta Pacific, permite a los desarrolladores de Solidity integrar capacidades de privacidad y cumplimiento normativo sin conocimientos profundos de conocimiento cero, mediante circuitos preconstruidos como Semaphore, pagos privados conformes y zkShuffle. El mecanismo ZK-as-a-Service separa el mantenimiento de circuitos del desarrollo de aplicaciones. La integración con Solidity sigue una ruta estándar: introducción del SDK, selección del circuito, generación de pruebas y verificación dentro de la cadena. Universal Circuits está profundamente vinculado a la arquitectura L2 modular de Manta Pacific: reduce la barrera ZK, aunque está limitado estructuralmente por la cobertura de circuitos preconstruidos y la dependencia de la plataforma.
Preguntas frecuentes
¿Qué es Universal Circuits?
Universal Circuits es una biblioteca de circuitos preconstruidos ZK-as-a-Service en Manta Pacific para desarrolladores de Solidity. Empaqueta circuitos de conocimiento cero como verificación de identidad Semaphore, pagos privados conformes y barajado dentro de la cadena con zkShuffle en módulos invocables, lo que permite a los desarrolladores integrar funciones de privacidad y cumplimiento en contratos EVM sin escribir circuitos subyacentes.
¿Cómo funciona ZK-as-a-Service?
ZK-as-a-Service estandariza la generación y verificación dentro de la cadena de pruebas de conocimiento cero como un servicio de plataforma. Los desarrolladores seleccionan circuitos preconstruidos a través del SDK de Universal Circuits, envían entradas públicas y privadas, completan el cómputo del testigo en el lado del cliente, generan pruebas y luego los contratos de verificación dentro de la cadena validan las pruebas y desencadenan cambios de estado. Universal Circuits 2.0 admite la agregación de varias pruebas en una única unidad de verificación para reducir costes.
¿En qué se diferencia Universal Circuits de Cairo y Noir?
Universal Circuits mantiene la equivalencia con EVM. Los desarrolladores usan Solidity y el SDK para llamar a circuitos preconstruidos sin necesidad de aprender lenguajes ZK dedicados. Soluciones como Cairo y Noir normalmente requieren que los desarrolladores escriban circuitos en DSLs dedicados y los ejecuten en entornos ZK separados. Universal Circuits se centra en reducir la barrera de integración, mientras que los lenguajes ZK dedicados priorizan la flexibilidad de personalización de circuitos.
¿Qué escenarios de aplicación son adecuados para Universal Circuits?
Los escenarios adecuados incluyen votación anónima en DAO y verificación de pertenencia a grupos (Semaphore), pagos que ocultan detalles de transacciones conservando visibilidad de cumplimiento (pagos privados conformes) y aplicaciones de juegos de cartas dentro de la cadena que requieren barajado verificablemente justo (zkShuffle). La lógica de conocimiento cero altamente personalizada puede exceder el alcance de los circuitos preconstruidos.
¿Cuál es la relación entre Universal Circuits y Manta Pacific?
Universal Circuits se despliega en Manta Pacific como el componente ZK de la capa de aplicación del stack tecnológico L2 modular de Pacific. Pacific proporciona el entorno de ejecución EVM/zkEVM y la disponibilidad de datos de Celestia; Universal Circuits ofrece interfaces de funciones de conocimiento cero invocables para aplicaciones descentralizadas sobre esa base, creando sinergia ecosistémica con las credenciales de identidad zkAddress y zkSBT del lado de Atlantic.
¿Cuáles son las limitaciones de usar Universal Circuits?
Las limitaciones clave incluyen una cobertura limitada de escenarios de circuitos preconstruidos, la necesidad de soluciones alternativas para requisitos altamente personalizados, dependencia parcial de circuitos mantenidos por la plataforma y contratos de verificación para la seguridad criptográfica, complejidad adicional por la agregación de pruebas, y la dependencia técnica de Pacific de capas DA y de liquidación externas. Universal Circuits es una biblioteca funcional, no una máquina virtual ZK completa, y no es adecuada para todos los escenarios de aplicaciones de conocimiento cero.
