Довіряйте, але перевіряйте, давайте ще раз перевіримо заяви solx з halmos 1. Кешування змінних сховища Ми можемо використовувати halmos для відстеження доступу до сховища, наприклад, для computeFactorial(5), ми дійсно можемо бачити, що solc торкається сховища на кожній ітерації, але solx записує лише результат (!)
Еквівалентність EVM на @ZKsync була лише початком. Протягом багатьох років ми непомітно рухаємося до кращого майбутнього для всіх @Ethereum. Представляємо ⚡️ solx — новий потужний компілятор 🧵 Solidity-to-EVM
Показати оригінал
4,62 тис.
34
Вміст на цій сторінці надається третіми сторонами. Якщо не вказано інше, OKX не є автором цитованих статей і не претендує на авторські права на матеріали. Вміст надається виключно з інформаційною метою і не відображає поглядів OKX. Він не є схваленням жодних дій і не має розглядатися як інвестиційна порада або заохочення купувати чи продавати цифрові активи. Короткий виклад вмісту чи інша інформація, створена генеративним ШІ, можуть бути неточними або суперечливими. Прочитайте статтю за посиланням, щоб дізнатися більше. OKX не несе відповідальності за вміст, розміщений на сторонніх сайтах. Утримування цифрових активів, зокрема стейблкоїнів і NFT, пов’язане з високим ризиком, а вартість таких активів може сильно коливатися. Перш ніж торгувати цифровими активами або утримувати їх, ретельно оцініть свій фінансовий стан.