Veridise란?

Veridise는 스마트 계약, 영지식 서킷, 블록체인 구현에 대해 형식 검증 방법과 수동 검토 및 자체 도구를 결합하여 감사를 수행하는 블록체인 보안 회사입니다. 고객 코드를 자동 분석기, 퍼저 및 맞춤형 탐지기를 통해 처리하여 취약점을 식별한 후, 전문가 수동 분석과 수정 사항 검증을 통해 세부 보고서를 작성하며, 이는 고객이 공개하거나 비공개로 유지할 수 있습니다. 회사는 DeFi, Layer 1/2 블록체인, 크로스체인 브리지 및 ZK 프로젝트 전반의 프로토콜에 서비스를 제공합니다.