Доверяй, но проверяй, давайте дважды проверим утверждения solx с помощью halmos 1. кэширование переменных хранения Мы можем использовать halmos для отслеживания доступа к хранилищу, например, computeFactorial(5), мы действительно видим, что solc обращается к хранилищу на каждой итерации, но solx записывает только результат (!).
Эквивалентность EVM на @ZKsync была лишь началом. На протяжении многих лет мы тихо строили лучшее будущее для всех @Ethereum. Представляем ⚡️ solx — мощный новый компилятор Solidity-to-EVM 🧵
Показать оригинал
4,62 тыс.
34
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.