Veridise Inc. — американская компания, специализирующаяся на формальной верификации безопасности смарт-контрактов и блокчейн-протоколов. Её технологии и инструменты аудита предназначены для выявления уязвимостей и обеспечения надёжности децентрализованных приложений и финансовых систем.