La mayoría de los zkVM se ven muy bien en papel.
SP1 fue construido para el mundo real.
Succinct no usó Risc0, zkSync o zkVM de Polygon y por una buena razón.
SP1 no es un imitador.
Es un zkVM desde cero construido para impulsar la próxima generación de infraestructura sin confianza.
He aquí por qué eso es importante:
¿Por qué construir una nueva zkVM?
@SuccinctLabs podría haber elegido zkVM existentes. Risc0, Cairo o incluso zkEVM.
Pero no lo hicieron y he aquí por qué:
La mayoría de las zkVM no son lo suficientemente de uso general
Muchos no apoyan la recursividad lista para usar
Algunos están estrechamente acoplados con DSL personalizados (por ejemplo, Cairo)
Otros carecen de transparencia o están profundamente arraigados en pilas de rollup más grandes
Succinct necesitaba algo más:
→ Un zkVM que podría ejecutar cualquier programa, en cualquier lugar, y probarlo de manera eficiente.
Eso es SP1.
¿Qué es SP1?
SP1 es un zkVM modular y de alto rendimiento integrado en Rust que admite:
- Computación de propósito general
- Recursión eficiente
- Portabilidad a prueba a otras cadenas
Y lo que es más importante, flexibilidad de código abierto
Está diseñado a partir de los primeros principios en torno a algunas ideas centrales:
• ZK debe ser accesible.
• La generación de pruebas debe ser componible y verificable en todas las cadenas.
• Los desarrolladores no deberían tener que aprender criptografía para usar ZK.
SP1 se basa en una ISA (arquitectura de conjunto de instrucciones) personalizada, no en una copia de EVM, lo que la hace mucho más eficaz y extensible.
Y ya se está utilizando para alimentar clientes de luz de cadena cruzada, AVS EigenLayer y más.
¿Qué hace diferente a SP1?
En comparación con otros zkVM, SP1 se destaca en algunos aspectos importantes:
Diseñado para pruebas en el mundo real
No optimizado para juegos de conocimiento cero o competencia acumulada, optimizado para verificación multicadena.
Extremadamente modular
Puede modificar SP1, intercambiar componentes y conectarse a diferentes curvas de prueba o estrategias de recursividad.
Experiencia de desarrollador nativa de Rust
Escriba programas ZK en Rust seguros y eficientes, no en DSL exóticos.
Soporte incorporado para pruebas recursivas
Crucial para la escalabilidad y la componibilidad en la verificación de muchos eventos fuera de la cadena en la cadena.
Por qué esto es importante ahora
El futuro de las criptomonedas es multicadena.
Eso significa más clientes ligeros, más puentes y más sistemas de prueba compartidos.
Pero probar el estado de una cadena en otra de forma segura requiere zkVM que estén optimizadas no solo para el rendimiento, sino también para la flexibilidad y la portabilidad.
SP1 hace precisamente eso.
→ No es solo una primitiva ZK, es el motor de prueba detrás de la interoperabilidad sin confianza.
En la siguiente publicación, desglosamos la red Succinct Prover: cómo ejecuta la computación ZK fuera de la cadena y qué desbloquea esto para los desarrolladores y las cadenas.
Etiquetando Gigachads que podrían estar interesados en este 👇
- @SamuelXeus
- @TheDeFISaint
- @hmalviya9
- @poopmandefi
- @ayyeandy
- @DigiTektrades
- @zerokn0wledge_
- @LadyofCrypto1
- @milesdeutscher
- @1CryptoMama
- @Deebs_DeFi
- @RubiksWeb3hub
- @stacy_muur
- @TheDeFinvestor
- @splinter0n
- @izu_crypt
- @belizardd
- @eli5_defi
- @the_smart_ape
- @ViktorDefi
- @cryppinfluence
- @CryptoGirlNova
- @Haylesdefi
- @DeRonin_
- @0xAndrewMoh
- @defiinfant
- @DeFiMinty
- @Louround_
- @0xSalazar
- @crypthoem
- @CryptoShiro_

En criptografía, nos hemos vuelto buenos escalando.
Rollups. Capas DA. Secuenciadores compartidos.
Pero cuando se trata de interoperabilidad, todavía estamos atrapados en el pasado.
Confiamos en multisigs, oráculos confiables y puentes inseguros para pasar mensajes entre cadenas a pesar de saber que son la superficie de ataque más suave en criptografía.
@SuccinctLabs está cortando ese lío.
No construyendo otra capa de mensajería o L2...
Pero al introducir una nueva primitiva:
→ Una capa de prueba universal que permite a cualquier cadena verificar el cálculo de cualquier otra cadena, utilizando ZK.
Esto cambia el modelo por completo.
En lugar de confiar en terceros para atestiguar que algo sucedió en otra cadena...
Succinct le da a las cadenas el poder de probarlo por sí mismas.
Así es cómo:
La pila sucinta
En esencia, Succinct es una pila de infraestructura ZK modular compuesta por:
- SP1 zkVM – Un zkVM de código abierto de alto rendimiento construido desde cero. Optimizado para pruebas de uso general del mundo real, especialmente clientes ligeros y verificación entre cadenas.
- Universal Prover Network: SP1 impulsa una capa de prueba que puede ejecutar cálculos arbitrarios fuera de la cadena y producir pruebas sucintas que se pueden verificar en cualquier lugar.
- Succinct Gateway: una API orientada al desarrollador que abstrae toda la complejidad de ZK y permite a los equipos ejecutar cálculos sin confianza fuera de la cadena sin modificar su protocolo o contratos inteligentes.
Y esto no es vaporware.
Succinct ya está trabajando con:
Base, Arbitrum y Optimism → ejecutar clientes ligeros L2 sin confianza
Solana → puentes de Ethereum → utilizando encabezados de bloque probados por zk
EigenLayer AVS proyecta → que requieren pruebas fuera de la cadena
La tesis es simple:
La computación debe realizarse fuera de la cadena.
La verificación debe realizarse en la cadena.
El conocimiento cero lo hace posible y escalable.
@SuccinctLabs CT está sentando las bases para un mundo en el que:
1. Los puentes no necesitan oráculos
2. Los L2 no necesitan observadores de secuenciadores centralizados
3. Bitcoin puede hablar con Ethereum a través de pruebas, no de confianza
Este es el comienzo de una nueva primitiva criptográfica.
En la siguiente publicación, desglosamos SP1 zkVM y por qué es la parte más importante del rompecabezas.
Etiquetando Gigachads que podrían estar interesados en este 👇
- @SamuelXeus
- @TheDeFISaint
- @hmalviya9
- @poopmandefi
- @ayyeandy
- @DigiTektrades
- @zerokn0wledge_
- @LadyofCrypto1
- @milesdeutscher
- @1CryptoMama
- @Deebs_DeFi
- @RubiksWeb3hub
- @stacy_muur
- @TheDeFinvestor
- @splinter0n
- @izu_crypt
- @belizardd
- @eli5_defi
- @the_smart_ape
- @ViktorDefi
- @cryppinfluence
- @CryptoGirlNova
- @Haylesdefi
- @DeRonin_
- @0xAndrewMoh
- @defiinfant
- @DeFiMinty
- @Louround_
- @0xSalazar
- @crypthoem
- @CryptoShiro_

7.69 K
52
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.