Ого! Фантастика! Формальная проверка (в данном случае с использованием Lean) может помочь предотвратить некоторые ошибки, такие как уязвимость незаметного подделывания, которая была раскрыта три дня назад в функции зашифрованных сумм Solana. В долгосрочной перспективе это важная работа:
Мы получили грант от программы Verified zkEVM фонда @ethereumfndn для разработки Lean чертежей для STIR и WHIR — двух протоколов IOPP для кодов Рида-Соломона. Мы продвигаем формальную верификацию для более безопасного будущего zkEVM. #zkEVM #FormalVerification @EF_ESP
Показать оригинал
6,43 тыс.
29
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.