Comienza la Revolución del Escalado en Ethereum

Cuando Vitalik propuso el trilema blockchain, quizás no anticipó que necesitaríamos resolver una cuarta dimensión: programabilidad. Como alguien que ha visto numerosas soluciones de escalado, puedo decir que zkSync 2.0 representa algo fundamentalmente diferente.

Desglose de la Tecnología

La joya de la corona es su implementación zkEVM, un prodigio criptográfico que ejecuta contratos inteligentes generando pruebas de conocimiento cero. Lo fascinante es cómo han mantenido compatibilidad con EVM optimizando la eficiencia en generación de pruebas.

Componentes clave:

• Conjunto de instrucciones zkEVM completas
• Compilador Solidity/Zinc a bytecode zkEVM
• Integración full-node para despliegue

Importancia para Desarrolladores

Las operaciones serán familiares, con excepciones deliberadas como:

1. Exclusión temporal de operaciones ADDMOD/SMOD
2. KECCAK256 reemplazado temporalmente
3. No SELFDESTRUCT (siguiendo a Ethereum)

El modelo de gas es innovador: ajuste dinámico basado en precios L1 y costos ZKP.

La Clave: Integración zkPorter

zkPorter ofrece un sistema off-chain para disponibilidad de datos, aumentando rendimiento exponencialmente:

• Cuentas zkRollup (máxima seguridad)
• Cuentas zkPorter (menor costo) Todas interoperables en un mismo árbol de estados.

Detalles Criptográficos

Sistema PLONK probado, tablas UltraPLONK personalizadas y curva BN-254 de Ethereum. La separación entre circuitos y entornos ejecutables es especialmente inteligente.

Próximos Pasos

El equipo se enfoca en:

1. Robustez del compilador
2. Agregación recursiva de pruebas
3. Mejoras al lenguaje Zinc
4. Posible frontend en Rust