Succinct SP1: Crear una máquina virtual de conocimiento cero eficiente

Succinct es un proyecto de prueba de conocimiento cero (ZKP) muy destacado, cuyo producto principal SP1 se considera la máquina virtual de conocimiento cero más rápida en la actualidad (zkVM). El proyecto ha completado dos rondas de financiación, totalizando 55 millones de dólares.

SP1 como una máquina virtual zkVM general, tiene las siguientes características destacadas:

1. Rendimiento excepcional: la velocidad de prueba es hasta 28 veces más rápida que otros productos similares, y el costo es solo una fracción de otras soluciones.

2. Desarrollo conveniente: Soporta la escritura de ZKP utilizando Rust, permite reutilizar bibliotecas de código existentes, lo que mejora significativamente la eficiencia del desarrollo.

3. Alta practicidad: ha sido auditado por varias compañías de seguridad de primer nivel y adoptado por varios grandes proyectos.

Las principales ventajas de SP1

El concepto de diseño de SP1 es reducir la barrera de entrada para el desarrollo de ZKP, al mismo tiempo que mantiene un alto rendimiento y flexibilidad. Permite a los desarrolladores construir aplicaciones de cálculo verificable con seguridad criptográfica de la misma manera que escriben software ordinario, sin necesidad de investigar en profundidad teorías criptográficas complejas.

SP1 se desempeña excepcionalmente en cargas de trabajo de blockchain reales, siendo de 4 a 28 veces más rápido que otros zkVM. Su última versión, SP1 Turbo (v4.0.0), verifica bloques de la mainnet de Ethereum en un clúster de GPU en solo 40 segundos, con un costo tan bajo como unos pocos centavos.

Los desarrolladores pueden usar Rust para escribir lógica ZKP y reutilizar directamente las bibliotecas del ecosistema Rust existentes. Esto simplifica enormemente el proceso de desarrollo, permitiendo a los desarrolladores transformar rápidamente el código de nodos de blockchain existentes en ZKP.

El mecanismo de "precompilación" introducido por SP1 optimiza las operaciones criptográficas comunes, reduciendo significativamente el costo computacional. Por ejemplo, al ejecutar el cliente ligero ZK Tendermint, el tiempo de verificación se reduce de 2.2 horas a 4.6 minutos.

Como un proyecto completamente de código abierto, SP1 adopta una arquitectura modular que permite a los desarrolladores personalizar "precompilados" para optimizar casos de uso específicos. Esta actitud abierta ha atraído a muchos desarrolladores de proyectos reconocidos a participar en su perfeccionamiento.

Escenarios de aplicación de SP1

SP1 tiene una amplia aplicación en el campo de la blockchain:

1. Rollup: Utilizado para construir ZK Rollup, generando pruebas de conocimiento cero para la transformación de estados, logrando alta capacidad de procesamiento y bajo costo.

2. Puente entre cadenas: valida el consenso de diferentes blockchains y construye una comunicación entre cadenas segura y eficiente.

3. Interoperabilidad: lograr una determinación rápida y una interoperabilidad entre Rollups.

4. Oráculo: soporta cálculos a gran escala fuera de la cadena y genera pruebas verificables en la cadena.

5. Protección de la privacidad: lograr transacciones y estados privados, protegiendo los datos de los usuarios.

6. Prueba de agregación: Agrega ZKP de la misma clase, reduciendo aún más los costos de verificación en la cadena.

La aparición de SP1 ha allanado el camino para la amplia aplicación de la tecnología ZKP en el ámbito de la blockchain, y se espera que impulse el nacimiento y desarrollo de más aplicaciones innovadoras.