Um jogador do SNARK realmente anunciou que estava seguindo o STARK? A era STARK com @zksync está chegando em breve @Starknet está tremendo!
Então, qual é a nova versão Boojum da atualização do zkSync? Por que o zkSync anunciou sua atualização 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 comentar e discutir rapidamente. 1/5
Simplificando, Boojum é a versão de transição do zkSync do sistema à prova SNARK para STARK.
Isso significa que por muito tempo, o sistema de certificação Prover do zkSync terá a capacidade de interface do Stark. A maioria das necessidades convencionais ainda usará a certificação SNARK madura. Os aplicativos individuais, especialmente aqueles no ambiente multi-chain zk Stack, devem usar o zk sistema de certificação.Isso pode ser alcançado conectando-se ao boojum. 2/5
O ponto chave neste círculo é que Boojum é uma escolha inevitável para zkSync implementar a estratégia multi-chain zk Stack.
Comparado com STARK, o método de prova SNARK depende de verificação recursiva e é adequado para prova de dedução zk baseada na mesma chave pública no mesmo sistema, enquanto a prova STARK pode ser baseada em métodos de verificação não interativos, permitindo implementação complexa não recursiva em um estado de cadeia cruzada. 3/5
Esta é a principal diferença entre os dois sistemas de prova SNARK e STARK.
Comparado com o método de verificação do SNARK baseado em suposições matemáticas, o processo de verificação do STARK contém uma grande quantidade de informações redundantes, de modo que os recursos do algoritmo computacional são relativamente altos e as taxas também são altas.
Portanto, a cadeia principal zkSync usará SNARK como principal sistema de certificação no futuro, e STARK é apenas uma extensão de sua estratégia multi-cadeia. 4/5
Isso está de acordo com o espírito de desenvolvimento leve e eficiente do zkSync.
Portanto, o Boojum do zkSync não está na mesma dimensão estratégica do Starknet, mas representará certas ameaças a outros, como Op Stark, Arbitrum orbit e polygon2.0.
Você deve saber que a transição do zkSync para STARK equivale a reconhecer as deficiências técnicas do SNARK e usar os trunfos dos produtos concorrentes para romper seu próprio teto. O padrão e a ambição desta onda de jogadores L2 são realmente um após o outro. 5/5