📌 아비트럼 시리즈 #5 : 10,000개를 단 하나로 - 이분법 게임의 정교함

안녕하세요, BQ개발자입니다.

지난 편들에서 BOLD와 지연 공격, 담보금 얘기를 했는데요.
오늘은 쉬어가는 느낌으로 수학 얘기 하나 다뤄보려고 합니다.

아비트럼에서 거짓 상태가 올라왔을 때, 그 상태를 만드는 데 10,000개의 연산이 있었다면?
이더리움은 10,000개 중 단 하나만 검증합니다.

🤔 log₂의 힘

10,000개 중 문제가 되는 하나를 찾는 데 필요한 최소 단계가 몇 번일까요.

매번 절반씩 줄여나간다면:

• 1단계: 10,000 → 5,000 (앞쪽인지 뒤쪽인지)
• 2단계: 5,000 → 2,500

• 3단계: 2,500 → 1,250

...

• 14단계: 2 → 1

log₂(10,000) ≈ 14단계면 충분합니다.

1️⃣ 프로토콜의 작동 방식

검증인 A가 거짓 상태를 주장하고 B가 도전했다고 해보죠.

프로토콜이 A에게 중간 지점의 상태를 요구해요.
B는 그 중간 상태를 보고 앞쪽이 맞는지 뒤쪽이 맞는지 판단하는 거죠.

이걸 14번 반복하면 정확히 어느 연산이 틀렸는지 특정됩니다.
8,234번째 연산이라던가.

이제 이더리움 L1이 그 연산 하나만 실행하는 거예요.
결과를 보고 누가 거짓말했는지 판명나죠.

2️⃣ 경제적 의미

L1이 10,000개를 검증한다면? 가스비 수백만원.
L1이 1개만 검증한다면? 가스비 수천원.

이 차이가 L2를 경제적으로 지속 가능하게 만드는 것 같아요.
검증 비용이 낮으니까 정직한 검증인의 부담이 줄고,
그래서 3600 ETH라는 높은 담보금과 균형을 이룬다는...

✏️ 아비트럼 전체를 떠받치는 수학

생각해보니 이분법이 BOLD만의 얘기는 아닌 것 같습니다

BOLD 이전부터 아비트럼의 핵심이었던 거죠.
이분법이 검증 비용을 극도로 낮춰서 전체 시스템이 돌아갈 수 있게 한 거고,
BOLD는 여기에 '상태 중심 대결'이라는 아이디어를 더한 거였어요.

간단한 수학 원리가 수십억 달러의 보안을 책임지고 있다는 게
때로는 복잡한 암호학보다 이런 기본적인 효율성이 더 중요한 것 같습니다.

---

여러분의 좋아요와 공유는 사랑입니다 🥰