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_