본문으로 건너뛰기
FinGuard

보안 평가 보고서

FinGuard가 버그를 찾고, 증명하고, 검증하는 방법

전체 7계층 AI 보안 평가. 익명화 — 프로젝트명과 온체인 주소 마스킹 처리.

Download short sampleDownload full sample

Follows site language · anonymized samples · finguardaudit.com

Download branded sample reports

Anonymized FinGuard-branded audit samples: project names and on-chain addresses redacted; findings and scores remain readable so you see real delivery quality.

Smart Contract Audit (short sample)

12-page client-facing summary layout filled with anonymized demo data.

12 pagesDownload PDF

Full Technical Audit (deep sample)

21-page technical delivery layout filled with anonymized demo data.

21 pagesDownload PDF

감사 대상 컨트랙트

DeFiVault Staking (익명)

BSC · 0x7a…3F2c · 2026-07 평가

초기
C
수정 후
A
1
Critical
2
High
3
Medium
4
Low

7계층 방어 — 계층별 결과

L1정적 코드 감사정수 정밀도 및 접근 제어 결함 2건 발견
L2속성 / 불변량 테스트자산 보존 불변량 1건 위반
L3E2E / Pentest / Load / Consistency호출 표면에 exploit 가능 경로 없음
L4Multi-AI 교차 감사4개 AI Brain이 Critical 리스크 1건에 합의
L5AI Red-Blue Teaming샌드박스에서 exploit 성공 — $142만 유출 (증거는 아래)
L65-Brain War RoomWar Room 검토: 수정 후 잔여 리스크 허용 가능
L77×24 지속 모니터링출시 후 알림용 지속 모니터링 연동 완료
L5 · 샌드박스 exploit 증거CRITICAL

오라클 가격 조작 → Flash Loan으로 풀 유출

「위험해 보인다」가 아닙니다 — exploit은 강화 샌드박스에서 메인넷 포크 대상으로 실제 실행되었습니다. 공격 성공, 자금 인출.

공격 경로

  1. 50,000 BNB Flash Loan — 자기 자본 불필요
  2. 단일 DEX 스팟 가격 조작으로 담보 가치 부풀리기
  3. 부풀린 가치로 풀의 USDT 전액 과다 대출
  4. Flash Loan 상환, 순이익 $1,420,000
$ forge test --match exploit --fork bsc
[PASS] testExploit_OracleManipulation()
├─ flashLoan(50000 BNB) ✓
├─ manipulatePrice() price 312 → 1180 ✓
├─ borrowMax() drained 1,420,000 USDT ✓
└─ attacker profit: +1,420,000 USDT 💥 EXPLOIT CONFIRMED

근본 원인

담보가 단일 DEX 스팟 가격으로 평가되며, TWAP 또는 다중 소스 오라클 집계 없음.

수정 후 재테스트

Chainlink + TWAP 이중 소스 집계로 전환 후 동일 exploit 스크립트 재실행: 공격 실패, 자금 손실 없음.

FinGuard 전용 엔진

AI 기반 Monte Carlo 공격

AI가 고가치 공격 탐색 공간을 설계하고, Monte Carlo 샘플링이 수백만 건의 무작위 exploit 입력을 강화 샌드박스에 투입 — 매 라운드 커버리지 추적 및 피드백 학습으로, 수동 테스트로는 도달 불가능한 엣지 케이스를 탐색.

1,284,000
무작위 공격 샘플
94.7%
분기 커버리지
6
도달한 엣지 케이스
1
발견된 Critical 버그

L4 · Multi-AI 교차 검토 결론

보안 Brain오라클 조작을 Critical로 표시
금융 Brain자산 보존 불변량 위반 확인
성능 Brain새로운 Gas / DoS 리스크 없음
공격자 Brain수익성 있는 공격 경로 재현
Arbiter 판정:4개의 독립 AI가 합의 — 오탐이 아니며, 반드시 수정해야 할 Critical 취약점.

내 컨트랙트에도 이 보고서가 필요하신가요?

전체 7계층 방어 + 실시간 AI Red Team. 고정 1599 USDT, 당일 결과.

감사 잠금 해제요금제 보기