Что такое Veridise?

Veridise — компания, занимающаяся безопасностью блокчейнов, которая проводит аудит смарт-контрактов, схем с нулевым разглашением и реализаций блокчейнов с использованием методов формальной верификации в сочетании с ручной проверкой и собственными инструментами. Она обрабатывает код клиентов с помощью автоматических анализаторов, фаззеров и настраиваемых детекторов для выявления уязвимостей, после чего проводит экспертный ручной анализ и проверку исправлений, в результате чего создаются подробные отчеты, которые клиенты могут публиковать или хранить в тайне. Компания обслуживает протоколы в DeFi, блокчейнах Layer 1/2, кросс-чейн мостах и проектах ZK.