Trust but verify, let's double check solx's claims with halmos 1. caching storage variables We can use halmos to trace storage access for e.g. computeFactorial(5), we can indeed see that solc touches storage on every iteration but solx only writes the result (!)
EVM Equivalence on @ZKsync was just the beginning. For years, we’ve been quietly building toward a better future for all of @Ethereum. Introducing ⚡️ solx — a powerful new Solidity-to-EVM compiler 🧵
9,64 k
0
Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX n’est pas l’auteur du ou des articles cités et ne revendique aucun droit d’auteur sur le contenu. Le contenu est fourni à titre d’information uniquement et ne représente pas les opinions d’OKX. Il ne s’agit pas d’une approbation de quelque nature que ce soit et ne doit pas être considéré comme un conseil en investissement ou une sollicitation d’achat ou de vente d’actifs numériques. Dans la mesure où l’IA générative est utilisée pour fournir des résumés ou d’autres informations, ce contenu généré par IA peut être inexact ou incohérent. Veuillez lire l’article associé pour obtenir davantage de détails et d’informations. OKX n’est pas responsable du contenu hébergé sur des sites tiers. La détention d’actifs numériques, y compris les stablecoins et les NFT, implique un niveau de risque élevé et leur valeur peut considérablement fluctuer. Examinez soigneusement votre situation financière pour déterminer si le trading ou la détention d’actifs numériques vous convient.