Halmos는 스마트 계약 테스트, 감사, 모니터링 및 위험 점검을 위한 보안 도구이자 서비스입니다. 이 서비스는 Web3 팀이 특화된 제품이나 개발자 워크플로를 활용하여 블록체인 애플리케이션, 스마트 계약, 지갑, 데이터 및 온체인 인프라를 다루는 데 도움을 줍니다.

다음 용도로 사용하세요:

• 배포 전에 계약 관련 버그를 찾아내세요.
• 퍼징, 정적 분석 또는 형식적 검증을 실행합니다.
• 감사 및 검토 워크플로를 지원합니다.
• 프로덕션 환경에서 프로토콜 관련 위험을 모니터링합니다.

가장 적합한 대상: 더 강력한 스마트 계약 보증 및 운영 보안이 필요한 팀.