A Revolução da Escalabilidade da Ethereum Começa

Quando Vitalik propôs o trilema da blockchain, talvez não antecipasse a necessidade de resolver uma quarta dimensão: programabilidade. Como alguém que acompanhou diversas soluções de escalabilidade, posso afirmar que o zkSync 2.0 representa algo fundamentalmente diferente.

Desvendando a Tecnologia

O destaque é a implementação do zkEVM - uma maravilha criptográfica que executa contratos inteligentes enquanto gera provas de conhecimento zero. O mais fascinante é como mantiveram a compatibilidade com EVM enquanto otimizavam a eficiência na geração de provas.

Componentes-chave incluem:

• Conjunto de instruções zkEVM completo
• Compilador de Solidity/Zinc para bytecode zkEVM
• Integração de nós completos para implantação de contratos

Por Que Isso Importa para Desenvolvedores

As operações serão familiares para devs da Ethereum, com algumas exceções temporárias:

1. Operações como ADDMOD/SMOD (a serem implementadas)
2. KECCAK256 substituído por alternativas resistentes a colisões
3. Sem SELFDESTRUCT (seguindo a Ethereum)

O modelo de gas é inovador - ajustando-se dinamicamente com base nos preços do gas L1 e custos de geração ZKP.

O Diferencial: Integração zkPorter

O zkPorter oferece um sistema off-chain de disponibilidade de dados, aumentando a capacidade em duas ordens de magnitude. Imagine:

• Contas zkRollup (máxima segurança)
• Contas zkPorter (custo menor) Tudo interoperável na mesma árvore de estados.

Próximos Passos

A equipe está focada em:

1. Robustez do compilador
2. Agregação recursiva de provas
3. Melhorias na linguagem Zinc
4. Potencial frontend de compilador Rust