Aveți încredere, dar verificați, să verificăm de două ori afirmațiile lui solx cu halmos
1. Stocarea variabilelor de stocare în cache
Putem folosi halmos pentru a urmări accesul la stocare pentru, de exemplu, computeFactorial(5), putem vedea într-adevăr că solc atinge stocarea la fiecare iterație, dar solx scrie doar rezultatul (!)



Echivalența EVM pe @ZKsync a fost doar începutul.
De ani de zile, am construit în liniște spre un viitor mai bun pentru toți @Ethereum.
Vă prezentăm ⚡️ solx - un nou compilator 🧵 puternic Solidity-to-EVM

12,41 K
72
Conținutul de pe această pagină este furnizat de terți. Dacă nu se menționează altfel, OKX nu este autorul articolului citat și nu revendică niciun drept intelectual pentru materiale. Conținutul este furnizat doar pentru informare și nu reprezintă opinia OKX. Nu este furnizat pentru a fi o susținere de nicio natură și nu trebuie să fie considerat un sfat de investiție sau o solicitare de a cumpăra sau vinde active digitale. În măsura în care AI-ul de generare este utilizat pentru a furniza rezumate sau alte informații, astfel de conținut generat de AI poate să fie inexact sau neconsecvent. Citiți articolul asociat pentru mai multe detalii și informații. OKX nu răspunde pentru conținutul găzduit pe pagini terțe. Deținerile de active digitale, inclusiv criptomonedele stabile și NFT-urile, prezintă un grad ridicat de risc și pot fluctua semnificativ. Trebuie să analizați cu atenție dacă tranzacționarea sau deținerea de active digitale este adecvată pentru dumneavoastră prin prisma situației dumneavoastră financiare.