Succinct es un proyecto ZK de primer nivel que ha obtenido 55 millones de dólares en financiamiento, y su producto principal SP1 se considera el zkVM más rápido en la actualidad.
SP1 tiene las siguientes características destacadas:
Rendimiento excepcional, la velocidad de prueba puede ser hasta 28 veces más rápida que otros zkVM, y el costo se reduce a una fracción de lo original.
Permitir a los desarrolladores escribir ZKP en Rust, reutilizando bibliotecas de código existentes, lo que mejora significativamente la eficiencia del desarrollo.
Soporta escenarios de aplicaciones de nivel de producción, ha pasado auditorías de seguridad autorizadas y ha sido adoptado por varios proyectos conocidos.
Introducción a SP1
SP1 es una máquina virtual de conocimiento cero genérica (zkVM), que permite a los desarrolladores escribir código común utilizando Rust u otros lenguajes compatibles con la compilación LLVM, generando así 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 pruebas de conocimiento cero (ZKP), al mismo tiempo que mantiene un rendimiento y flexibilidad de primer nivel. Esto hace que el desarrollo de ZKP sea tan simple como escribir software común, permitiendo que infraestructuras de blockchain (como Rollup, puentes entre cadenas, oráculos, etc.) logren verificabilidad a través de código mantenible.
La tecnología de prueba de cero conocimiento ( ZKP ) puede demostrar la corrección de un cálculo sin revelar ningún dato de entrada. Esta capacidad tiene amplias aplicaciones en el ámbito de la blockchain, incluyendo escalabilidad, interoperabilidad entre cadenas, protección de la privacidad, puentes y oráculos.
Sin embargo, la complejidad del desarrollo tradicional de ZKP ha sido un gran problema. La aparición de SP1 ha cambiado por completo esta situación.
Principales características de SP1
Rendimiento excepcional
SP1 es de 4 a 28 veces más rápido que otros zkVM en cargas de trabajo de blockchain reales (como la validación de clientes ligeros, Rollup, etc.), y su rendimiento puede compararse con circuitos dedicados optimizados manualmente. La última versión SP1 Turbo (v4.0.0), al ejecutarse en un clúster de GPU, valida bloques de la red principal de Ethereum en solo 40 segundos, con un costo de apenas unos centavos.
Soporte para el desarrollo en el lenguaje Rust
SP1 permite a los desarrolladores escribir lógica ZKP en Rust y reutilizar directamente las bibliotecas existentes del ecosistema Rust. Esto simplifica enormemente el proceso de desarrollo, ya que los desarrolladores pueden utilizar directamente el código de nodos de blockchain existente para modificarlo, generar ZKP y evitar la molestia de escribir circuitos complejos desde cero.
Mecanismo de precompilación
SP1 ha introducido un mecanismo de "precompilación", que ha sido altamente optimizado para operaciones criptográficas comunes (como keccak, sha256, verificación de firmas, etc.). Estas precompilaciones han reducido drásticamente el costo computacional y han mejorado significativamente la eficiencia de SP1 en el manejo de cargas de trabajo complejas en blockchain.
Código abierto y seguridad
SP1 es un proyecto completamente de código abierto, que utiliza la licencia MIT/Apache 2.0. Su arquitectura modular permite a los desarrolladores personalizar "precompilaciones" y optimizar el rendimiento para casos de uso específicos. SP1 ha sido auditado en múltiples ocasiones por varias de las principales empresas de seguridad ZK y ha obtenido excelentes resultados en competiciones de auditoría pública con "cero vulnerabilidades críticas".
Socios amplios
Varios proyectos conocidos han adoptado SP1 para construir ZKP, asegurando más de 1,000 millones de dólares en activos en cadena (TVL). Desde Rollup hasta puentes entre cadenas, desde oráculos hasta protocolos de privacidad, SP1 se está convirtiendo en una parte importante de la infraestructura blockchain.
Escenarios de aplicación de SP1
SP1 tiene múltiples aplicaciones en el campo de la blockchain:
Rollup: Construir ZK Rollup utilizando SP1, generando pruebas de conocimiento cero de la transición de estado, conectando la cadena principal para lograr un alto rendimiento y bajo costo.
Puente entre cadenas: SP1 puede verificar el consenso de Layer 1, construyendo un puente entre cadenas seguro y eficiente.
Interoperabilidad: a través de SP1, los Rollups pueden lograr determinación rápida e interoperabilidad entre sí.
Oráculo: SP1 soporta cálculos masivos fuera de la cadena y genera pruebas verificables en la cadena, lo que reduce significativamente los costos de Gas.
Privacidad: SP1 puede realizar transacciones y estados privados, protegiendo la seguridad de los datos del usuario.
Agregación: SP1 puede agregar ZKP similares, reduciendo aún más el costo de verificación en la cadena.
En general, SP1 como un proyecto zkVM de alto rendimiento y fácil de usar, está brindando un apoyo importante para el desarrollo de la infraestructura blockchain.
Ver originales
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
16 me gusta
Recompensa
16
7
Compartir
Comentar
0/400
DataBartender
· hace17h
rust vuela rápido
Ver originalesResponder0
GasGuzzler
· hace18h
Rápido, saca un libro blanco y ya está.
Ver originalesResponder0
alpha_leaker
· 08-04 12:11
Finalmente puedo usar Rust, ¡genial!
Ver originalesResponder0
MEV_Whisperer
· 08-02 21:07
La velocidad es mucho más rápida que antes. ¡Esperando!
SP1: Proyecto de zkVM de alto nivel con 28 veces más velocidad recauda 55 millones de dólares.
Succinct: el proyecto zkVM más rápido SP1
Succinct es un proyecto ZK de primer nivel que ha obtenido 55 millones de dólares en financiamiento, y su producto principal SP1 se considera el zkVM más rápido en la actualidad.
SP1 tiene las siguientes características destacadas:
Introducción a SP1
SP1 es una máquina virtual de conocimiento cero genérica (zkVM), que permite a los desarrolladores escribir código común utilizando Rust u otros lenguajes compatibles con la compilación LLVM, generando así 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 pruebas de conocimiento cero (ZKP), al mismo tiempo que mantiene un rendimiento y flexibilidad de primer nivel. Esto hace que el desarrollo de ZKP sea tan simple como escribir software común, permitiendo que infraestructuras de blockchain (como Rollup, puentes entre cadenas, oráculos, etc.) logren verificabilidad a través de código mantenible.
La tecnología de prueba de cero conocimiento ( ZKP ) puede demostrar la corrección de un cálculo sin revelar ningún dato de entrada. Esta capacidad tiene amplias aplicaciones en el ámbito de la blockchain, incluyendo escalabilidad, interoperabilidad entre cadenas, protección de la privacidad, puentes y oráculos.
Sin embargo, la complejidad del desarrollo tradicional de ZKP ha sido un gran problema. La aparición de SP1 ha cambiado por completo esta situación.
Principales características de SP1
SP1 es de 4 a 28 veces más rápido que otros zkVM en cargas de trabajo de blockchain reales (como la validación de clientes ligeros, Rollup, etc.), y su rendimiento puede compararse con circuitos dedicados optimizados manualmente. La última versión SP1 Turbo (v4.0.0), al ejecutarse en un clúster de GPU, valida bloques de la red principal de Ethereum en solo 40 segundos, con un costo de apenas unos centavos.
SP1 permite a los desarrolladores escribir lógica ZKP en Rust y reutilizar directamente las bibliotecas existentes del ecosistema Rust. Esto simplifica enormemente el proceso de desarrollo, ya que los desarrolladores pueden utilizar directamente el código de nodos de blockchain existente para modificarlo, generar ZKP y evitar la molestia de escribir circuitos complejos desde cero.
SP1 ha introducido un mecanismo de "precompilación", que ha sido altamente optimizado para operaciones criptográficas comunes (como keccak, sha256, verificación de firmas, etc.). Estas precompilaciones han reducido drásticamente el costo computacional y han mejorado significativamente la eficiencia de SP1 en el manejo de cargas de trabajo complejas en blockchain.
SP1 es un proyecto completamente de código abierto, que utiliza la licencia MIT/Apache 2.0. Su arquitectura modular permite a los desarrolladores personalizar "precompilaciones" y optimizar el rendimiento para casos de uso específicos. SP1 ha sido auditado en múltiples ocasiones por varias de las principales empresas de seguridad ZK y ha obtenido excelentes resultados en competiciones de auditoría pública con "cero vulnerabilidades críticas".
Varios proyectos conocidos han adoptado SP1 para construir ZKP, asegurando más de 1,000 millones de dólares en activos en cadena (TVL). Desde Rollup hasta puentes entre cadenas, desde oráculos hasta protocolos de privacidad, SP1 se está convirtiendo en una parte importante de la infraestructura blockchain.
Escenarios de aplicación de SP1
SP1 tiene múltiples aplicaciones en el campo de la blockchain:
Rollup: Construir ZK Rollup utilizando SP1, generando pruebas de conocimiento cero de la transición de estado, conectando la cadena principal para lograr un alto rendimiento y bajo costo.
Puente entre cadenas: SP1 puede verificar el consenso de Layer 1, construyendo un puente entre cadenas seguro y eficiente.
Interoperabilidad: a través de SP1, los Rollups pueden lograr determinación rápida e interoperabilidad entre sí.
Oráculo: SP1 soporta cálculos masivos fuera de la cadena y genera pruebas verificables en la cadena, lo que reduce significativamente los costos de Gas.
Privacidad: SP1 puede realizar transacciones y estados privados, protegiendo la seguridad de los datos del usuario.
Agregación: SP1 puede agregar ZKP similares, reduciendo aún más el costo de verificación en la cadena.
En general, SP1 como un proyecto zkVM de alto rendimiento y fácil de usar, está brindando un apoyo importante para el desarrollo de la infraestructura blockchain.