Confía pero verifica, verifiquemos las afirmaciones de solx con halmos 1. Almacenamiento en caché de variables de almacenamiento Podemos usar halmos para rastrear el acceso al almacenamiento para, por ejemplo, computeFactorial(5), de hecho, podemos ver que solc toca el almacenamiento en cada iteración, pero solx solo escribe el resultado (!)
La equivalencia de EVM en @ZKsync fue solo el comienzo. Durante años, hemos estado construyendo silenciosamente hacia un futuro mejor para todos @Ethereum. Presentamos ⚡️ solx, un nuevo y potente compilador 🧵 de Solidity a EVM
Mostrar original
12,4 mil
72
El contenido de esta página lo proporcionan terceros. A menos que se indique lo contrario, OKX no es el autor de los artículos citados y no reclama ningún derecho de autor sobre los materiales. El contenido se proporciona únicamente con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo vinculado para obtener más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. El holding de activos digitales, incluyendo stablecoins y NFT, implican un alto grado de riesgo y pueden fluctuar en gran medida. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti a la luz de tu situación financiera.