Ooh! Fantastic! Formal verification (using Lean in this case) could help prevent some of the bugs, like the undetectable counterfeiting vulnerability that was disclosed three days ago in Solana’s encrypted-amounts feature. Long-term, this is important work:
We received a grant from the @ethereumfndn Verified zkEVM program to develop Lean blueprints for STIR and WHIR—two IOPP protocols for Reed-Solomon codes. We're advancing formal verification for a safer zkEVM future. #zkEVM #FormalVerification @EF_ESP
2,4 тыс.
0
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.