Succinct: el proyecto ZK líder y su tecnología SP1

Succinct es un proyecto de prueba de conocimiento cero de primer nivel (ZK), que ha completado dos rondas de financiamiento, con un total de 55 millones de dólares. El producto central del proyecto, SP1, se considera la máquina virtual de conocimiento cero más rápida en la actualidad (zkVM).

Las principales ventajas de SP1 incluyen:

• Rendimiento excepcional, la velocidad de prueba es hasta 28 veces más rápida que otros zkVM, con un costo significativamente reducido.
• Soporta la escritura de ZKP en el lenguaje Rust, permitiendo reutilizar bibliotecas de código existentes, lo que mejora significativamente la eficiencia del desarrollo.
• Aplicable a escenarios de aplicaciones de nivel de producción, ha sido auditado de manera rigurosa en términos de seguridad y ha sido adoptado por varios proyectos conocidos.

Introducción a SP1

SP1 es una máquina virtual zkVM de propósito general que permite a los desarrolladores escribir código convencional utilizando Rust u otros lenguajes compatibles con la compilación LLVM, generando pruebas de conocimiento cero eficientes para verificar la correcta ejecución de programas.

La innovación central de SP1 radica en la reducción significativa de la barrera de entrada para el desarrollo de ZKP, manteniendo al mismo tiempo un rendimiento y flexibilidad de primer nivel. Hace que el desarrollo de ZKP sea tan simple como escribir software común, permitiendo que la infraestructura blockchain (, como Rollup, puentes entre cadenas, oráculos, etc., pueda lograr verificabilidad a través de código mantenible.

La tecnología ZKP tiene amplias aplicaciones en el campo de blockchain, incluyendo:

• Escalabilidad: A través de Rollup, se comprimen numerosas transacciones en una sola prueba, aliviando la carga de la cadena principal.
• Interoperabilidad: verificar el estado de diferentes cadenas, facilitando la comunicación entre cadenas.
• Protección de la privacidad: garantizar la privacidad de las transacciones o estados, protegiendo los datos del usuario.
• Puente y oráculo: implementación de verificación sin confianza en la cadena para datos o cálculos fuera de la cadena.

La aparición de SP1 ha cambiado por completo la situación tradicional de desarrollo de ZKP, que era compleja, costosa y consumía mucho tiempo.

Características principales de SP1

1. zkVM de alto rendimiento

En cargas de trabajo de blockchain reales, SP1 es de 4 a 28 veces más rápido que otros zkVM, acercándose al rendimiento de circuitos dedicados optimizados manualmente. La última versión SP1 Turbo )v4.0.0( valida bloques de la red principal de Ethereum en un clúster de GPU en solo 40 segundos, con un costo extremadamente bajo.

2. Soporte para ZKP escrito en Rust

SP1 permite a los desarrolladores escribir lógica ZKP en Rust y reutilizar directamente las bibliotecas del ecosistema Rust existentes. Los desarrolladores pueden utilizar directamente el código de nodos de blockchain ya existente, y con simples modificaciones pueden generar ZKP, lo que simplifica enormemente el proceso de desarrollo.

3. Mecanismo de precompilación

SP1 introduce un mecanismo de "precompilación", optimizando en gran medida las operaciones criptográficas comunes y reduciendo significativamente el costo computacional. Por ejemplo, el tiempo de verificación del cliente ligero ZK Tendermint en SP1 se redujo de 2.2 horas a 4.6 minutos.

4. Código abierto y seguridad

SP1 es completamente de código abierto ) bajo la licencia MIT/Apache 2.0 (, su arquitectura modular permite a los desarrolladores personalizar la "precompilación" y optimizar el rendimiento para casos de uso específicos. SP1 ha sido auditado por varias empresas de seguridad ZK de primer nivel y ha obtenido cero vulnerabilidades críticas en competiciones de auditoría pública.

5. Cooperación amplia

Varios proyectos reconocidos han adoptado SP1 para construir ZKP, asegurando más de 1000 millones de dólares en activos en cadena )TVL(. SP1 se está convirtiendo en una parte importante de la infraestructura de blockchain, con un rango de aplicaciones que incluye Rollup, puentes entre cadenas, oráculos y protocolos de privacidad.

![Análisis breve de Succinct SP1: el zkVM más rápido])https://img-cdn.gateio.im/webp-social/moments-7eb5f72c1df8caab22cd25376d932345.webp(

Escenarios de aplicación de SP1

SP1 tiene múltiples aplicaciones en el campo de la blockchain:

• Rollup: Construir ZK Rollup, generar pruebas de conocimiento cero de la transición de estado, conectar la cadena principal para lograr un alto rendimiento y bajos costos.
• Puente intercadena: Verificar el consenso de Layer 1, construir un puente intercadena seguro y eficiente.
• Interoperabilidad: lograr certeza rápida e interoperabilidad entre Rollups.
• Oráculo: soporta cálculos masivos fuera de la cadena y genera pruebas verificables en la cadena, reduciendo los costos de Gas.
• Protección de la privacidad: lograr transacciones y estados privados, protegiendo los datos del usuario.
• Agregación: Agrega ZKP similares para reducir aún más el costo de verificación en la cadena.

La aparición de SP1 ha traído una transformación revolucionaria a la infraestructura de blockchain, allanando el camino para más aplicaciones innovadoras.