Головний науковець Certora Мулі Сагів: безпека блокчейну — це не лише код
За повідомленням CoinWorld, головний науковий співробітник Certora Мулі Сагів вважає, що найбільші ризики безпеки у сфері криптовалют пов’язані не зі складними вразливостями коду, а з простішими проблемами, такими як управління ключами та людські помилки. На конференції Breakpoint 2025 він підкреслив, що аудит не гарантує безпеки, і закликав поєднувати формальну верифікацію з ручною перевіркою. Сагів зазначив, що формальна верифікація, інтегрована в конвеєр безперервної інтеграції (CI), може виявити «невідоме невідоме», але попередив, що її ефективність залежить від правильного визначення властивостей. Він також применшив важливість штучного інтелекту як екзистенційної загрози, вважаючи його інструментом як для атакуючих, так і для захисників.
Відмова від відповідальності: зміст цієї статті відображає виключно думку автора і не представляє платформу в будь-якій якості. Ця стаття не повинна бути орієнтиром під час прийняття інвестиційних рішень.
Вас також може зацікавити
Генеральний директор Apple Тім Кук вперше звернувся до всіх співробітників: наступного тижня презентація iPhone буде "непересічною подією"
У своїй першій листі до всіх співробітників як новий CEO, Тім Кук зазначив: "Наступного тижня у нас буде грандіозний запуск, який буде по-справжньому надзвичайним. Не менш захопленим я відчуваю себе й від майбутнього після цього, зважаючи на вражаючі продукти, які зараз знаходяться в розробці, а також на ті, про які ми ще навіть не уявляли, але які разом вигадаємо та створимо в майбутньому."
Дані: ETH впав нижче 2400 доларів
Відновлення конфлікту між США та Іраном призвело до стрімкого зростання цін на нафту WTI та Brent.
Ціни на криптовалюти
Більше
