다음에 대한 보안 감사
당신의 계약 프로토콜이 진행되는
Gizmolab은 모든 EVM 체인에서 스마트 컨트랙트을 감사하고, Solana는 고위 감사원에 의해 수동 검토, fuzzing 및 자동화된 분석, 그리고 Audit.new와 함께 자체 서비스 첫 번째 패스를 지원합니다.
당신이 배포하는 체인에서 감사
당신이 무엇을 배송하든, 우리는 거기에서 그것을 검토합니다. 완전한 EVM 범위와 깊은 Solana 전문 지식, 모든 목표에 적용되는 동일한 표준.
계정 안전, CPI 위험 및 PDA 정확성에 대해 검토된 기본 Rust 및 Anchor 프로그램 — 감사자가 놓치는 실패 모드EVM.
우리가 감사하는 언어
높은 수준의 Solidity에서부터 인라인 조립까지, Rust에서 Solana에 이르기까지 - 우리는 그것이 쓴 언어로 코드를 검토합니다.
견고함
EVM DeFi에 대한 자세한 정보 우리는 스토리지 레이아웃, 외부 통화, 액세스 제어 및 경로 업그레이드 라인에 따라 검토합니다.We review storage layout, external calls, access control, and upgrade paths line by line.
비퍼
자신의 발총으로 피톤 계약. 우리는 디코레이터, 재입구 잠금 및 컴파일러 버전 함정을 확인합니다.We check decorators, re-entrance locks, and compiler-version pitfalls.
Yul & Inline Assembly 근처 오락거리
가장 미묘한 버그가 숨어있는 낮은 수준의 최적화. 메모리 보안, 전화 데이터 처리 및 수동 ABI 디코딩.
녹
Native Solana 프로그램 계정 검증, 서명자 / 소유자 검사, CPI 보안 및 램프 포트에 대한 계산.
앵커
앵커 제한, PDA 파생, 계정 차별 요소 및 앵커가 당신을 위해 덮지 않는 틈새.
카이로 & Move
Starknet (Cairo) 및 Aptos / Sui (Move) 리뷰는 EVM 및 SVM 주류 외부에서 배송하는 팀에 사용할 수 있습니다.
프로토콜을 배출하는 버그
우리는 실시간 엑스플레이 뒤에 있는 취약성 클래스에 대해 테스트합니다 – 추가로 프로토콜의 설계에 특정한 무변수.
재진입
외부 통화, 콜백 및 토큰 호크를 통한 크로스 기능 및 읽기 전용 재입구.Cross-function and read-only reentrance across external calls, callbacks, and token hooks.
접근 제어
잃어버린 또는 깨진 권한, 특권 역할 오용 및 초기화자 / 소유권 격차.
오라클과 가격 조작
Spot-price dependence, TWAP gaming, flash-loan-driven manipulation, and stale feeds, 스토크 가격 의존성, TWAP 게임, 플래시 대출 주도 조작, 그리고 스탈 피드.
산술 및 반올림
오버플로, 정밀도 손실, 반올림 방향 및 볼트에 대한 공유 인플레이션 공격.
서명 및 재생
EIP-712 / 허가 처리, nonce 재사용, chain-id binding, cross-domain replay
MEV 및 선행 실행
샌드위치할 수 있는 흐름, 보호받지 못한 슬립, 그리고 주문에 의존하는 상태 전환.
업그레이드 가능성 및 프록시
스토리지 충돌, 초기화되지 않은 구현 및 안전하지 않은 대리인 통화 패턴.
Solana 계정 안전
계정 혼란, 소유자 / 서명자 확인, PDA 거짓말 및 검사되지 않은 CPI.
How an Audit Runs 하는 방법
명확하고 반복 가능한 참여 - 위협 모델에서 커뮤니티가 신뢰할 수있는 게시 된 보고서까지.
범위 및 위협 모델
우리는 귀하의 건축, 신뢰의 경계, 그리고 결코 깨지지 않아야하는 불변자 - 단일 줄을 읽기 전에.
직접 검토
고위 감사원들은 코드 라인을 줄로 읽는다. 대부분의 중요한 발견은 단순한 도구가 아닌 의도를 이해하는 인간에게서 나온다.
자동화된 분석
정적 분석, fuzzing, 그리고 상징적 실행 스트레스 무변화 및 표면 가장자리 케이스 눈이 놓치지 않는다.
심각도 평가 결과
각 문제는 명확한 심각성, 영향, 재생, 그리고 구체적인 해결책을 얻습니다 - 흐릿한 깃발이 아닙니다.
교정 지원
우리는 당신의 엔지니어와 함께 수정, 질문에 대답, 당신이 배송 패치를 다시 확인을 통해 작업합니다.
재감사 및 보고
해결책에 대한 마지막 통과, 당신은 당신의 커뮤니티와 파트너에게 게시 할 수있는 깨끗한 보고서.
당신이 걷는 것과 함께 무엇을
버그 목록뿐만 아니라 팀이 문제를 해결하고 코드가 안전하다는 것을 증명하는 데 필요한 모든 것이 있습니다.
전체 감사 보고서
결과, 심각성, 재생 단계 및 복구 지침을 포함한 구조화 된 보고서.A structured report with findings, severity, reproduction steps, and remediation guidance.
심각도 등급
비판적 → 높은 → 중간 → 낮은 → 정보, 실제 세계 영향과 확률에 의해 점수.
교정 지침
콘크리트 수정 및 패턴, 팀이 이들을 구현하는 동안 직접 지원.
재감사 및 공개 보고
수정 사항 확인 및 신뢰를 구축하기 위해 공유할 수 있는 선택적인 게시된 보고서.
Audit.new — 즉각적인 첫 번째 통과
Audit.new는 Gizmolab의 자체 서비스 감사 도구입니다. 계약을 중단하거나 리포를 연결하여 몇 분 만에 AI 지원 첫 번째 통과 검토를 받으십시오 - 일반적인 취약점 클래스, 위험한 패턴 및 먼저 찾을 수있는 곳의 분류.
그것은 완전한 참여를하기 전에 코드를 건강하게 확인하는 빠른 방법입니다. 실제 가치가있는 메인 네트워크로 향하는 모든 것에 대해, 그것은 상위 지도 된 수동 감사에 깨끗하게 손을 니다.