Důvěřuj, ale prověřuj, pojďme znovu zkontrolovat tvrzení solxu pomocí halmos 1. Ukládání proměnných úložiště do mezipaměti Halmo můžeme použít ke sledování přístupu k úložišti např. pro computeFactorial(5), skutečně vidíme, že solc se dotýká úložiště při každé iteraci, ale solx zapisuje pouze výsledek (!)
EVM Equivalence na @ZKsync byl jen začátek. Roky jsme v tichosti budovali směrem k lepší budoucnosti pro @Ethereum. Představujeme ⚡️ solx — nový výkonný kompilátor 🧵 Solidity-to-EVM
Zobrazit originál
4,61 tis.
34
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.