Ооо Фантастичний! Офіційна перевірка (в даному випадку з використанням Lean) може допомогти запобігти деяким помилкам, таким як невиявлена вразливість підробки, яка була розкрита три дні тому в функції зашифрованих сум Solana. У довгостроковій перспективі це важлива робота:
Ми отримали грант від програми @ethereumfndn Verified zkEVM на розробку Lean-креслень для STIR та WHIR — двох протоколів IOPP для кодів Ріда-Соломона. Ми просуваємо офіційну верифікацію для безпечнішого майбутнього zkEVM. #zkEVM #FormalVerification @EF_ESP
Показати оригінал
6,16 тис.
27
Вміст на цій сторінці надається третіми сторонами. Якщо не вказано інше, OKX не є автором цитованих статей і не претендує на авторські права на матеріали. Вміст надається виключно з інформаційною метою і не відображає поглядів OKX. Він не є схваленням жодних дій і не має розглядатися як інвестиційна порада або заохочення купувати чи продавати цифрові активи. Короткий виклад вмісту чи інша інформація, створена генеративним ШІ, можуть бути неточними або суперечливими. Прочитайте статтю за посиланням, щоб дізнатися більше. OKX не несе відповідальності за вміст, розміщений на сторонніх сайтах. Утримування цифрових активів, зокрема стейблкоїнів і NFT, пов’язане з високим ризиком, а вартість таких активів може сильно коливатися. Перш ніж торгувати цифровими активами або утримувати їх, ретельно оцініть свій фінансовий стан.