Análisis breve de Succinct SP1: el zkVM más rápido

Succinct, que ha recaudado 5500 millones de dólares, es un proyecto ZK de primer nivel liderado en dos rondas por Paradigm.

El producto principal de este proyecto ZK de primer nivel es SP1, que también es el zkVM más rápido actualmente.

• Rendimiento líder, prueba de velocidad hasta 28 veces más alta que otras zkVM, con costos tan bajos como una fracción.

• Soporta escribir ZKP en Rust, reutilizando bibliotecas de código existentes, aumentando la eficiencia de desarrollo en 100 veces.

• Soporta casos de uso a nivel de producción, auditado por los mejores, adoptado por grandes proyectos como Polygon, Celestia, entre otros.

1. ¿Qué es SP1?

SP1 es una máquina virtual de conocimiento cero (zkVM) universal que permite a los desarrolladores escribir código ordinario en Rust (o cualquier lenguaje que sea compatible con la compilación de LLVM), generando pruebas de conocimiento cero eficientes para verificar la correcta ejecución del programa.

En pocas palabras, SP1 permite a los desarrolladores construir rápidamente aplicaciones de cálculo verificables con seguridad criptográfica utilizando lenguajes de programación familiares, sin necesidad de profundizar en teorías criptográficas complejas.

La innovación central de SP1 radica en que reduce significativamente la barrera de entrada para el desarrollo de pruebas de conocimiento cero, al mismo tiempo que mantiene un rendimiento y flexibilidad de primer nivel. Hace que ZKP sea tan simple como escribir software ordinario, permitiendo que la infraestructura blockchain (como Rollup, puentes entre cadenas, oráculos, etc.) logre verificabilidad a través de código mantenible.

Las pruebas de conocimiento cero (ZKP ) pueden demostrar la exactitud de un determinado cálculo sin revelar ningún dato de entrada. Hay un sinfín de casos de uso para esta capacidad en blockchain:

• Escalabilidad: A través de Rollup, ZKP puede comprimir una gran cantidad de transacciones en una prueba, reduciendo significativamente la carga de la cadena principal.
• Interoperabilidad: ZKP puede verificar el estado de diferentes cadenas, facilitando la comunicación entre cadenas.
• Privacidad: ZKP garantiza la privacidad de las transacciones o estados, protegiendo los datos del usuario.
• Puentes y oráculos: ZKP permite que los datos o cálculos fuera de la cadena sean verificables sin confianza en la cadena. Sin embargo, la complejidad del desarrollo de ZKP tradicional es un “pesadilla”. Requiere equipos de criptografía especializados, años de ciclos de desarrollo y altos costos de mantenimiento.

La aparición de SP1 ha cambiado por completo esta situación.

Características de SP1

1. La zkVM más rápida y poderosa en la actualidad

Es 4-28 veces más rápido que otros zkVM en cargas de trabajo reales de blockchain (como validación de clientes ligeros, Rollup, etc.), e incluso puede competir con circuitos dedicados optimizados manualmente. Su última versión SP1 Turbo (v4.0.0), al ejecutarse en un clúster GPU, valida bloques de la red principal de Ethereum en solo 40 segundos, con un costo tan bajo como unos centavos.

2. Soporte para escribir ZKP en Rust

SP1 permite a los desarrolladores usar Rust para escribir lógica de ZKP y reutilizar directamente las bibliotecas existentes del ecosistema Rust (como revm, reth, alloy, etc.).

Los desarrolladores pueden tomar el código de nodo de blockchain listo y modificarlo ligeramente para generar ZKP, eliminando la molestia de escribir circuitos complejos desde cero.

3.Precompilación: el arma secreta del rendimiento

SP1 ha introducido un mecanismo de “precompilación”, optimizando en gran medida operaciones criptográficas comunes (como keccak, sha256, verificación de firmas, etc.). Estas precompilaciones reducen significativamente la sobrecarga de cálculo, lo que permite que SP1 maneje cargas de trabajo complejas de blockchain con gran eficacia. Por ejemplo, SP1 ejecuta el cliente ligero ZK Tendermint, reduciendo directamente el tiempo de validación de 2.2 horas a 4.6 minutos.

4.100% Código Abierto, Seguridad del Código

SP1 es 100% de código abierto (licencia MIT/Apache 2.0). Su arquitectura modular permite a los desarrolladores personalizar “precompilados”, optimizando el rendimiento para casos de uso específicos. A diferencia de los zkVM cerrados tradicionales, SP1 abraza las contribuciones de la comunidad, atrayendo a desarrolladores de equipos como Polygon, Celestia, Sovereign Labs, entre otros, para mejorar conjuntamente.

Además, SP1 ha sido auditado en múltiples ocasiones por varias de las principales empresas de seguridad ZK, y ha obtenido excelentes resultados de “cero vulnerabilidades críticas” en competiciones de auditoría públicas.

5. Socios de calidad

Polygon, Celestia, Avail, Taiko, entre otros, utilizan el SP1 de Succinct para construir ZKP, garantizando más de 1 mil millones de dólares en activos en cadena (TVL). Desde Rollup hasta puentes cross-chain, desde oráculos hasta protocolos de privacidad, el SP1 se está convirtiendo en el estándar de infraestructura blockchain.

Tres. Escenarios de aplicación de SP1

SP1 ha implementado muchos casos de uso en la blockchain:

• Rollup: Construir ZK Rollup con SP1, generando pruebas de conocimiento cero para la transición de estado, conectándose a cadenas principales como Ethereum o Bitcoin, logrando alta capacidad de procesamiento y bajo costo. Por ejemplo, OP Succinct utiliza SP1 para proporcionar un motor de prueba de nivel de producción para OP Stack.
• Puente entre cadenas: SP1 puede verificar el consenso de Layer 1 (como Tendermint o cliente ligero de Ethereum), construyendo un puente entre cadenas seguro y eficiente. Por ejemplo, SP1 Blobstream verifica la raíz de datos de Celestia en Ethereum, mientras que SP1 Vector retransmite la raíz Merkle de Avail a Ethereum.
• Interoperabilidad: A través de SP1, se puede lograr una determinación rápida y interoperabilidad entre Rollups, apoyando proyectos como AggLayer de Polygon.
• Oráculo: SP1 admite cálculos masivos fuera de la cadena (como consultas de estado histórico, aprendizaje automático en la cadena) y genera pruebas verificables en la cadena, lo que reduce significativamente los costos de Gas.
• Privacidad: SP1 puede realizar transacciones privadas y estados, protegiendo la seguridad de los datos del usuario.
• Agregación: SP1 puede agregar ZKP de la misma clase, reduciendo aún más el costo de verificación en la cadena. Proyectos como Nebra están explorando esta dirección.