Atualização do zkSync: Por que um jogador SNARK desertou para STARK?

Um jogador do SNARK realmente anunciou que estava no mesmo nível do STARK? A era STARK com @zksync chegou tão cedo @Starknet tremendo!

Então, qual é a nova versão do Boojum atualizada pelo zkSync? Por que o zkSync anunciou a atualização do Stark tão rapidamente? Qual é a diferença essencial entre snark e stark? Que impacto esta atualização terá no mercado L2?

Do ponto de vista da discussão técnica, vamos revisar e discutir rapidamente.

1. Boojum é a versão de transição do zkSync do SNARK para o sistema de prova STARK. Isso significa que o sistema Prover proof do zkSync terá a capacidade de interface do STARK, mas ainda usará o sistema SNARK proof para atender às necessidades mais comuns.

2. Boojum é uma opção para o zkSync implementar a estratégia multi-chain do zk Stack. Comparado com o SNARK, o método de prova STARK tem a capacidade de verificação não interativa e é adequado para verificação não recursiva complexa em um ambiente de cadeia cruzada.

3. A principal diferença entre SNARK e STARK está no método de verificação. O SNARK é baseado em suposições matemáticas e é adequado para provas de dedução zk com base na mesma chave pública no mesmo sistema; enquanto o processo de prova do STARK contém informações redundantes e requer altos recursos de computação.

4. A cadeia principal zkSync ainda usará SNARK como o sistema de prova principal, e STARK é apenas uma capacidade de expansão de sua estratégia multi-cadeia. Isso é diferente da dimensão estratégica da Starknet, mas pode trazer alguma pressão competitiva para outras soluções L2, como Op Stark, Arbitrum Orbit e Polygon 2.0.

Em geral, o zkSync fez a transição para o sistema de prova STARK por meio da opção de atualização do Boojum, o que mostra que eles reconhecem que o SNARK tem limitações técnicas em alguns aspectos e usam as vantagens dos concorrentes para romper seu próprio teto técnico. Esta atualização pode ter um certo impacto no mercado L2, mas o impacto específico será afetado pela reação e adoção do mercado e dos desenvolvedores.