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

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

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

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

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

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

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