스마트 계약 감사 회사

요구사항 수집을 위한 소개 고객 컨설팅

• 감사 절차를 시작하기 전에 고객과 사전 협의합니다.
• 기능적 요구 사항과 비즈니스 로직을 이해합니다.
• 프로젝트의 백서와 옐로페이퍼를 살펴보세요.
• 스마트 계약의 의도된 동작을 파악하기 위해 코드 설계 패턴을 수집합니다.

정적 및 동적 코드 분석

150개 이상의 취약성 감지기를 갖춘 자동화 도구를 사용하여 다양한 분석 프로세스를 실행하고 코드 검토를 수행하여 다음을 식별합니다.

• 잠재적 오류
• 악성 코드
• 컴파일 문제

조건부 코드 테스트

• 로컬 샌드박스 환경에서 스마트 계약을 배포하고 테스트합니다.
• 가스 한도를 확인하고 불필요한 가스 소비를 방지합니다.

수동 코드 검증

다음과 같은 위협을 찾기 위해 스마트 계약을 줄별로 검사합니다.

• 타임스탬프 의존성
• 외부 통화
• 서비스 거부 공격

비즈니스 로직 검증

감사 도구를 활용하여 시스템이 비즈니스 로직에 따라 설계되었는지 확인합니다. 이 프로세스에는 다음이 포함됩니다.

• Surya와 같은 감사 도구를 사용하여 비즈니스 로직에 따라 스마트 계약 흐름 그래프 확인
• 비즈니스 요구 사항에 따라 기능 테스트/종료 시나리오 실행
• 비즈니스 로직과 관련된 중앙 집중화 및 기타 다양한 위험을 식별하고 가능한 솔루션을 제안합니다.

초기 감사 보고서 제출 및 버그 수정

• 감사 보고서의 초안을 고객과 공유하여 위험과 감사 과정에서 따른 단계를 강조합니다.
• 식별된 버그를 해결하기 위한 가능한 솔루션을 제공합니다.
• 클라이언트 측에서 버그 수정이 완료되면 무료로 3회 후속 감사를 실시합니다.

최종 감사 보고서 작성 및 전달

• 모든 버그 수정에 대한 고객의 승인을 받은 후, 기록된 모든 위험과 취약성 세부 사항 및 해당 상태를 포함하는 자세한 최종 감사 보고서를 작성합니다.
• 취약성 지침과 지속적인 검증 방법을 담은 완전한 보고서를 제공합니다.