본문으로 건너뛰기
nonce.

부티크 감사.AI가 돕고, 사람이 검증.

자체 모델이 먼저 모든 줄을 읽습니다. 시니어 연구원이 모든 발견 사항을 증명하고 서명합니다. 12시간 이내 고정 가격, 3일 만에 보고서.

견적 요청

실제로 해킹된 다섯 개의 컨트랙트가 차례로 재생됩니다. 코드가 입력되고, 스캔이 결함을 표시하며, 메모가 피해 규모와 수정 방법을 알려 줍니다.

  • The DAO, 2016-06-17: 360만 ETH 탈취. splitDAO는 잔액을 0으로 만들기 전에 외부 호출로 보상을 지급해, 공격자가 재진입하며 같은 토큰을 거듭 분할했습니다. 모든 외부 호출 전에 잔액을 0으로 만드세요.
  • Parity Multisig, 2017-11-06: 513,774 ETH 동결. 공유 라이브러리가 초기화되지 않아 누구나 initWallet을 호출해 소유자가 되고 kill로 파괴할 수 있었습니다. 이를 위임하던 모든 지갑이 동결됐습니다. 배포 시 라이브러리를 초기화하고 자기 파괴 기능을 주지 마세요.
  • Wormhole, 2022-02-02: 120,000 wETH, 약 3억 2,500만 달러. verify_signatures는 호출자가 고른 계정에서 서명 검사를 읽고, 그것이 명령 sysvar인지 확인하지 않았습니다. 가짜 계정이 가디언 전체 승인으로 통과했습니다. sysvar 주소를 검증하는 load_instruction_at_checked를 사용하세요.
  • Nomad Bridge, 2022-08-01: 약 1억 9,000만 달러 탈취. 업그레이드가 신뢰 루트를 0x00으로 설정했습니다. 증명되지 않은 메시지는 0x00이 되어 process가 모든 메시지를 받아들였고, 수백 명이 첫 공격을 따라 했습니다. 0 루트를 절대 승인하지 말고, 증명되지 않은 메시지는 거부하세요.
  • Euler Finance, 2023-03-13: 약 1억 9,700만 달러 탈취. donateToReserves는 기부자의 지급 능력을 확인하지 않고 eToken을 소각했습니다. 공격자는 기부로 부실 채무를 만든 뒤 할인가로 스스로를 청산했습니다. 다른 출금처럼 기부 후 유동성을 확인하세요.
건 감사
180
건 치명적 취약점 발견
63
내 견적
12시간
내 보고서
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

감사 분야

  • 19 // Burn DAO Tokens
    20 Transfer(msg.sender, 0, balances[msg.sender]);
    21 withdrawRewardFor(msg.sender); // be nice, and get his rewards
    22 totalSupply -= balances[msg.sender];
    23 balances[msg.sender] = 0;
    24 paidOut[msg.sender] = 0;
    25 return true;
    높음H-01외부 호출 이후에 잔액을 기록함
  • EVM1~3일
  • Solana2~3일
  • Move1~3일
  • 사고 대응2시간 이내

자체 모델

nonce-sc-1

DeepSeek-V4.1 모델을 실제 익스플로잇 2,140건과 자체 펜테스트 380건으로 파인튜닝했습니다. 연구원보다 먼저 모든 줄을 읽고, 모델이 제기한 모든 발견 사항은 연구원이 증명하고 서명합니다.

기반 모델
DeepSeek-V4.1
학습 데이터
익스플로잇 2,140건 및 펜테스트 380건
감사에서의 역할
모델이 먼저, 그다음 사람

두 가지 감사 방식

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

  • 소스 코드

    모든 줄을 연구원 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

    포털에서 수정

    모든 수정을 검증합니다.

포털에서 보는 감사 현황

발견 즉시 공유합니다.
수정 즉시 반영합니다.

로그인

12시간 이내 고정 가격 견적

견적 요청