A maioria dos zkVMs parece ótima no papel. O SP1 foi construído para o mundo real. Succinct não usou Risc0, zkSync, ou zkVM do Polygon e por um bom motivo. O SP1 não é um copycat. É um zkVM inovador construído 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 não o fizeram e aqui está o porquê: A maioria dos zkVMs não é de uso geral o suficiente Muitos não suportam a recursão fora da caixa Alguns estão fortemente acoplados a DSLs personalizadas (por exemplo, Cairo) Outros carecem de transparência ou estão profundamente incorporados em pilhas de rollup maiores Sucinta precisava de algo mais: → Um zkVM que pode executar qualquer programa, em qualquer lugar, e prová-lo de forma eficiente. Isso é o SP1. O que é o SP1? O SP1 é um zkVM modular de alto desempenho integrado ao Rust que suporta: - Computação de uso geral - Recursão eficiente - Prova de portabilidade para outras cadeias E, crucialmente, flexibilidade de código aberto Foi concebido a partir dos primeiros princípios em torno de algumas ideias centrais: • ZK precisa ser acessível. • A geração de provas deve ser composta e verificável em todas as cadeias. • Os desenvolvedores não devem ter que aprender criptografia para usar ZK. O SP1 é construído em uma ISA (arquitetura de conjunto de instruções) personalizada e 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? Em comparação com outros zkVMs, o SP1 se destaca de algumas grandes maneiras: Projetado para prova no mundo real Não otimizado para jogos de conhecimento zero ou competição rollup, otimizado para verificação multicadeia. Extremamente modular Você pode modificar o SP1, trocar componentes e conectar-se a diferentes curvas de teste ou estratégias de recursão. Experiência de desenvolvedor nativa da ferrugem Escreva programas ZK em Rust seguro e eficiente, não 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 é importante agora O futuro da criptomoeda é multi-cadeia. 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 otimizados 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 motor 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 ser intrested 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_