A maioria dos zkVMs parece ótima no papel. O SP1 foi construído para o mundo real. O Succinct não usou Risc0, zkSync ou zkVM do Polygon e por um bom motivo. O SP1 não é um imitador. É um zkVM básico criado para alimentar a próxima geração de infraestrutura sem confiança. Veja por que isso é importante: Por que criar um novo zkVM? @SuccinctLabs poderia ter escolhido zkVMs existentes. Risc0, Cairo ou mesmo zkEVMs. Mas eles não o fizeram e aqui está o porquê: A maioria das zkVMs não é de uso geral o suficiente Muitos não suportam recursão pronta para uso Alguns são fortemente acoplados a DSLs personalizadas (por exemplo, Cairo) Outros carecem de transparência ou estão profundamente incorporados em pilhas de rollup maiores Succinct precisava de algo mais: → Um zkVM que pode executar qualquer programa, em qualquer lugar, e comprová-lo com eficiência. Isso é SP1. O que é SP1? O SP1 é um zkVM modular de alto desempenho construído em Rust que suporta: - Computação de uso geral - Recursão eficiente - Comprovação de portabilidade para outras cadeias E flexibilidade de código aberto crucial Ele foi projetado a partir dos primeiros princípios em torno de algumas ideias principais: • ZK precisa ser acessível. • A geração de provas deve ser combinável e verificável em todas as cadeias. • Os desenvolvedores não deveriam ter que aprender criptografia para usar o ZK. O SP1 é construído em uma ISA (arquitetura de conjunto de instruções) personalizada, não em uma cópia do EVM, tornando-o muito mais eficiente e extensível. E já está sendo usado para alimentar clientes leves de cadeia cruzada, AVSs EigenLayer e muito mais. O que torna o SP1 diferente? Comparado a outros zkVMs, o SP1 se destaca de algumas maneiras importantes: Projetado para provas do mundo real Não otimizado para jogos de conhecimento zero ou competição de rollup, otimizado para verificação de várias cadeias. Extremamente modular Você pode modificar o SP1, trocar componentes e conectar-se a diferentes curvas de prova ou estratégias de recursão. Experiência do desenvolvedor nativo do Rust Escreva programas ZK em Rust seguro e eficiente, não em DSLs exóticas. Suporte integrado para provas recursivas Crucial para escalabilidade e capacidade de composição na verificação de muitos eventos off-chain on-chain. Por que isso importa agora O futuro das criptomoedas é multi-chain. Isso significa mais clientes leves, mais pontes e mais sistemas de prova compartilhados. Mas provar o estado de uma cadeia em outra com segurança requer zkVMs otimizadas não apenas para taxa de transferência, mas para flexibilidade e portabilidade. O SP1 faz exatamente isso. → Não é apenas um primitivo ZK - é o mecanismo de prova por trás da interoperabilidade sem confiança. No próximo post, detalhamos a Succinct Prover Network: como ela executa a computação ZK off-chain e o que isso desbloqueia para desenvolvedores e cadeias. Marcando Gigachads que podem estar interessados neste 👇 - @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_