CertiK отримав 2 гранти від Ethereum Foundation

robot
Генерація анотацій у процесі

Згідно з останнім звітом, у I кварталі 2025 року Організація Ethereum надала два гранти на дослідження CertiK, відомій компанії в галузі безпеки блокчейну. Ці проекти зосереджені на інструментах розробки та формальних методах для верифікації zkVM.

Оцінка інструмента Verus: CertiK оцінить Verus, інструмент верифікації Rust, для перевірки схем, написаних на Rust, та модулів компіляції EVM.

Спрощення верифікації zkVM: Проект розробляє стратегію для спрощення верифікації zkVM, зосереджуючи увагу на модульній арифметиці та випадках багатозначної упаковки в одному елементі області.

Офіційна технологія верифікації CertiK була широко застосована в багатьох провідних проектах Web3, таких як zkWasm, основний контракт TON, Cosmos SDK та HyperEnclave TEE групи Ant. Зміст має лише інформаційний характер і не є інвестиційною рекомендацією.

Дякую вам за прочитання цієї статті!

Ставте Лайк, Коментуйте та Слідкуйте за TinTucBitcoin, щоб завжди бути в курсі найновіших новин про ринок криптовалют і не пропустити жодної важливої інформації!

Переглянути оригінал
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Нагородити
  • Прокоментувати
  • Поділіться
Прокоментувати
0/400
Немає коментарів
  • Закріпити