Centrifuge формально верифицировала 1 589 свойств ядра протокола
- —Верифицировано 1 589 свойств ядра протокола через Certora Prover
- —Проанализировано 1 445 мутантов кода для проверки строгости правил
- —Верификация охватывает логику V3.1–V3.3: распределение, портфели, мандаты
- —Работу выполнил независимый исследователь Алекс Зойд, документация от октября 2026
Почему важно: Формальная верификация усиливает доверие институционалов к RWA-протоколам, где одна ошибка в контракте может стоить миллионов.
Источник: Crypto Briefing