취약점 요약

Flare의 ISCProofVerifier는 UTXO 체인(Bitcoin 등)에서 결제 증명(Payment proof)을 검증합니다.

그런데 현재 구조체가 uint8(1바이트, 최대 255)로 인덱스를 저장하기 때문에, 입력(input)이나 출력(output)이 255개를 초과하는 트랜잭션은 검증이 불가능합니다.

→ 즉, 비트코인 같은 UTXO 체인에서 수천~수만 개의 입력/출력을 가진 트랜잭션이 발생하면, Flare 시스템은 이를 처리하지 못하고 실패하게 됩니다.

알아야 하는 정보

• UTXO(Unspent Transaction Output)
  • 비트코인 같은 체인에서 쓰이는 거래 모델.
  • 하나의 트랜잭션은 여러 개의 input과 output을 가질 수 있음.
  • 예: input 20,000개, output 13,107개짜리 트랜잭션도 존재.
• 문제 맥락
  • Flare의 Payment Proof 구조체는 input/output 인덱스를 uint8로 저장 → 최대 255까지.
  • 하지만 실제 트랜잭션은 255를 훨씬 초과할 수 있음.

발생 위치

• ISCProofVerifier.sol

문제의 코드

// Index of the transaction input indicating source address on
// UTXO chains, 0 on non-UTXO chains.
uint8 inUtxo;

// Output index for a transaction with multiple outputs on UTXO chains,
// 0 on non-UTXO chains.
// The same as in the 'utxo' parameter from the request.
uint8 utxo;

문제점

• uint8 타입이라 0~255까지만 표현 가능
• UTXO가 256개 이상인 트랜잭션은 증명 불가 → 검증 실패