본문으로 건너뛰기

서비스

스마트 컨트랙트 감사

고정된 커밋을 우리 모델이 먼저 읽은 뒤, 시니어 연구원이 한 줄씩 읽습니다. 고정 가격, 수정 검토 포함, 원하시면 공개 보고서까지.

견적 요청

두 가지 감사 방식

같은 방법, 같은 연구원. 어드밴스드는 실제 상태에서 버그를 증명합니다.

  • 소스 코드

    모든 줄을 연구원 2명이 읽습니다.

    US$1,000부터

    • 시니어 연구원 2명
    • nonce-sc-1의 모든 줄 AI 펜테스트
    • 네트워크 10개, 체크리스트 항목 404개
    • 샌드박스에서 정적 분석과 퍼징
    • 모든 발견 사항을 3번의 검토로 확인
    • 모든 치명 및 높음 등급에 오프라인 증명
    • 수정 검토 포함
    • PDF, 에이전트용 마크다운, 포털
  • 어드밴스드

    배포된 프로토콜용

    메인넷 상태에서 증명한 익스플로잇.

    US$2,000부터

    • 소스 코드의 모든 항목
    • 시니어 연구원 3명
    • nonce-sc-1이 배포된 컨트랙트를 펜테스트
    • 메인넷 포크에서 EVM 익스플로잇 증명
    • 오라클 및 유동성 공격 시뮬레이션
    • 메인넷 상태에서 불변식 퍼징
    • 배포 스크립트와 관리자 키 검토
    • 배포된 코드 대조, 매일 재확인

최종 가격은 코드 줄 수, 체인, 마감일로 정해지며 12시간 이내에 보내드립니다.

세 단계

  1. 1

    저장소 보내기

    이메일과 링크 하나.

  2. 2

    고정 가격 받기

    12시간 이내.

  3. 3

    포털에서 수정

    모든 수정을 검증합니다.

감사 대상 네트워크

EVM9

  • EthereumSolidity, Vyper
  • ArbitrumSolidity, Vyper
  • OptimismSolidity, Vyper
  • BaseSolidity, Vyper
  • PolygonSolidity, Vyper
  • BNB ChainSolidity, Vyper
  • AvalancheSolidity, Vyper
  • LineaSolidity, Vyper
  • ScrollSolidity, Vyper

Solana1

  • SolanaRust, Anchor

Move2

  • SuiMove
  • AptosMove

ZK3

  • zkSyncSolidity, Vyper
  • StarknetCairo
  • Polygon zkEVMSolidity, Vyper
  • 회로Circom, Noir

기타 체인3

  • CosmosCosmWasm, Rust
  • StellarSoroban, Rust
  • TONTact, FunC, Tolk

코드를 고정하기 전에

보안 검토는 아직 바꾸기 쉬울 때 설계, 아키텍처, 경제 구조를 점검합니다.

보안 검토