Uma rápida olhada nas novas ferramentas de prova de conhecimento zero baseadas em SNARK, Lasso e Jolt, lançadas pela a16z

Editores: Felix, PANews

a16z Crypto lançou duas tecnologias relacionadas ao SNARK: Lasso e Jolt. Entre eles, Lasso é um novo parâmetro de pesquisa que pode aumentar significativamente o custo do provador; Jolt (Just One Lookup Table) é uma estrutura projetada para Rollups compatível com a Ethereum Virtual Machine, uma nova maneira de construir SNARK VMs usando o método Lasso. Lasso e Jolt podem acelerar significativamente o dimensionamento e a criação de aplicativos na Web3 e, juntos, representam uma nova abordagem para o design SNARK que pode melhorar o desempenho de cadeias de ferramentas amplamente implantadas em uma ordem de grandeza ou mais. Ele também fornece uma experiência de desenvolvedor melhor e mais conveniente e facilita a auditoria. Lasso e Jolt abordam três preocupações principais: desempenho, experiência do desenvolvedor e auditabilidade.

Desempenho mais rápido

Lasso é um novo parâmetro de pesquisa em que o provador promete menos e menores valores do que o trabalho anterior. A equipe de pesquisa da a16z crypto disse que o Lasso pode melhorar significativamente a velocidade geral dos provadores SNARK, em comparação com ferramentas como a cadeia de ferramentas Halo2, o desempenho pode ser melhorado em dez vezes, ajudando assim a desenvolver rollups ZK mais rápidos. Espera-se que o desempenho aumente cerca de 40 vezes após a conclusão da otimização. Portanto, a equipe acredita que a tecnologia de provador da Lasso superará todas as tecnologias de provador SNARK de conhecimento zero existentes empregadas pelas principais soluções de dimensionamento Ethereum L2.

Jolt implementa a “singularidade de pesquisa” - uma visão originalmente proposta por Barry Whitehat da Ethereum Foundation para permitir ferramentas mais simples e circuitos leves centrados em pesquisa. A equipe espera que o Jolt alcance um desempenho semelhante ou melhor em relação ao zkVM existente e, mais importante, forneça uma experiência de desenvolvedor mais simplificada e acessível.

Experiência de desenvolvedor mais conveniente

O Lasso fornece um caminho mais amigável ao desenvolvedor e auditável para implementar o zkVM do que as abordagens existentes.

Abordagens anteriores ao projeto SNARK formulavam instruções de CPU como circuitos e os otimizavam manualmente - uma tarefa de baixo nível e propensa a erros que exigia conhecimento de linguagem específica do domínio. Por outro lado, os desenvolvedores de diferentes ecossistemas de linguagem devem ser capazes de usar o Lasso com relativa facilidade.

Isso ocorre porque em Lasso uma instrução é definida por sua decomposição de subtabela: sua “grande” tabela de pesquisa pode ser composta de várias “subtabelas” menores. Mais importante, essas decomposições podem ser descritas sucintamente em linguagens de programação de alto nível. Por exemplo, uma instrução pode ser implementada em apenas 50 linhas de Rust. Além disso, muitas instruções em diferentes conjuntos de instruções são conceitualmente iguais e uma grande quantidade de código pode ser repetida - por exemplo, WASM, EVM e RISC-V especificam as mesmas operações básicas de aritmética, bit a bit e comparação.

Mais fácil de revisar

A maneira como o Lasso simplifica a experiência do desenvolvedor também facilita a auditoria do que os métodos anteriores. A auditabilidade do zkVM é especialmente valiosa, pois muitos SNARKs já ganharam enorme valor em blockchains hoje. Como o Lasso implementa a lógica de instrução em Rust e incentiva a duplicação de código entre conjuntos de instruções, ele concentra as áreas a serem auditadas em uma base de código relativamente pequena e legível.

Atualmente, além do trabalho necessário para implementar totalmente o Jolt, há muitas tarefas em andamento ou aguardando para serem concluídas por outros desenvolvedores, incluindo:

• Implementar/integrar diferentes esquemas de comprometimento polinomial, como variantes multilineares de KZG (PST, Zeromorph, etc.), Dory, Ligero, Brakedown e Sona
• Realize a otimização do parâmetro do produto descrita na Seção 6 do documento Quarks
• Benchmarking e tratamento de erros mais extensos
• Utilize a recursão SNARK para obter uma verificação de prova eficiente na cadeia

Referências: The Block, a16z Crypto

Leitura relacionada: Zero Knowledge Proof | O que é ZK-STARK e quais são suas vantagens técnicas?