안녕하세요, BQ개발자입니다.
지난 편에서 아비트럼의 사기 증명이 3년간 한 번도 발생하지 않았다고 했죠.
그런데 댓글로 중요한 지적을 받았습니다.
그 3년의 대부분은 화이트리스트 검증인만 참여할 수 있는 '허가형' 시스템이었다는 거예요.
🤔 3600 ETH의 역설
3600 ETH 담보금.
이게 아비트럼 보안의 핵심이면서 동시에 딜레마입니다.
공격자가 거짓 주장을 올리려면 3600 ETH를 걸어야 해요.
패배하면 전액 몰수. 약 100억원이 날아가죠.
그런데 여기서 문제.
정직한 방어자도 새로운 올바른 주장을 올리려면 똑같이 3600 ETH가 필요합니다.
공격자를 막는 방패가, 동시에 정직한 참여자도 막는 칼이 되는 거예요.
원인은 '지연 공격'이라는 취약점이었습니다.
악의적인 공격자가 시빌 공격으로 가짜 신원 100개를 만들어서 동시에 거짓 주장을 올린다고 생각해보세요.
기존 시스템은 이걸 하나씩 순차적으로 처리해야 했어요. 첫 번째 도전이 끝나야 두 번째를 시작하는 구조.
각 도전이 며칠씩 걸리니 100개면 수백 일. 그동안 모든 인출이 멈춰버리죠.
그래서 아비트럼은 3년간 화이트리스트로만 운영했던 거예요.
누구나 참여할 수 있게 하면 이런 공격에 무력했으니까요.
아비트럼은 BOLD 프로토콜이 도입하면서 변화를 시도하고 있습니다.
핵심은 '순차 처리'를 '병렬 처리'로 바꾸는 것. 도전의 대상을 '사람'이 아닌 '상태' 자체로 바꿔서, 100명이 거짓을 주장해도 정직한 검증인 한 명이 모든 거짓을 동시에 처리할 수 있도록 설계했다고 해요. 각 진영에 약 6.4일씩 주어지는 '체스 시계' 메커니즘으로 전체 분쟁을 12-14일 안에 끝내려는 시도도 하고 있고요.
이론상으론 지연 공격 문제를 해결한 것처럼 보이죠.
하지만 3600 ETH라는 진입장벽은 여전합니다.
작은 L2 체인이나 프로젝트가 이 금액을 감당할 수 있을까요?
✏️ 아직 열리지 않은 무허가 시대
BOLD가 도입된 지 1년도 안 됐어요.
진짜 무허가 환경이 어떻게 작동할지는 이제부터 지켜봐야 할 것 같습니다.
커뮤니티가 자금을 모아 방어하는 trustless bonding pool이 활성화될까요?
아니면 결국 자본력 있는 소수만 참여하는 구조가 될까요?
3600 ETH는 분명 공격을 막는 강력한 방패입니다.
동시에 진정한 탈중앙화를 가로막는 칼이기도 하고요.
이 딜레마를 어떻게 풀어갈지, 아비트럼의 실험은 계속되고 있는 것 같네요.
---
다음 편에서는 BOLD가 어떤식으로 동작하는지 좀 더 깊게 파보도록 하겠습니다!
여러분의 좋아요와 공유는 사랑입니다 🥰
#BQ개발자 #아비트럼 #BOLD #무허가검증 #Layer2
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥4❤1
안녕하세요, BQ개발자입니다.
지난 편에서 3600 ETH가 만드는 딜레마를 얘기했죠.
공격을 막는 방패이면서 동시에 참여를 막는 칼이라고요.
BOLD는 이 문제의 근본 원인인 '지연 공격'을 해결하려고 하는데,
접근 방식이 좀 독특해서 소개드려보겠습니다!
기존 시스템의 문제를 다시 보면...
공격자 100명이 각각 거짓 주장을 올리면, 정직한 검증인이 100번 싸워야 했어요.
BOLD가 바꾼 건 간단합니다.
싸움의 주체를 '검증인'에서 '상태'로 바꾼 거죠.
아비트럼의 상태는 결정론적이거든요.
같은 입력이면 항상 같은 출력. 올바른 상태는 단 하나뿐.
그럼 정직한 검증인들은 모두 같은 상태를 계산하게 되고,
자연스럽게 같은 '팀'이 되는 거예요.
1️⃣ All-vs-All이 가능한 이유
여기서 핵심은 정직한 검증인들이 서로 소통할 필요가 없다는 거더라고요.
각자 독립적으로 노드를 돌리면 똑같은 답이 나오니까.
한 명이 올바른 상태를 방어하면, 그게 모든 정직한 검증인을 대표하는 행동이 되는 거죠.
반대로 공격자들은?
거짓 상태 A를 주장하는 공격자와 거짓 상태 B를 주장하는 공격자는 같은 팀이 될 수 없어요.
서로 다른 거짓말을 하고 있으니까. 그래서 공격자가 100명이어도 정직한 상태는 하나.
정직한 검증인 한 명이 그 하나의 상태만 방어하면 되는 구조가 만들어진 느낌..?
2️⃣ 체스 시계로 시간을 강제한다
그래도 문제가 하나 더 있었던 것 같아요.
공격자가 계속 응답을 미루면서 시간을 끌 수 있다는 거.
BOLD는 '체스 시계' 방식을 도입했습니다.
각 진영에 약 6.4일씩 시간을 주고, 자기 차례에 움직이지 않으면?
시간 초과로 패배. 간단하죠. 이제 공격자가 아무리 많아도,
아무리 버티려 해도... 최대 12-14일이면 분쟁이 끝나요. 무한 지연이 불가능해진 거죠.
3️⃣ 아직 증명되지 않은 실험
BOLD가 이론적으로는 탄탄해 보이는데요.
실전 테스트는 아직 충분하지 않은 것 같습니다.
메인넷에 적용된 지 약 1년 정도 됐고, 진짜 무허가 환경에서 대규모 공격이 일어난 적도 없으니까요.
100명의 공격자가 실제로 나타났을 때 병렬 처리가 얼마나 효율적일지는...
체스 시계 메커니즘이 예상대로 작동할지도...
3600 ETH 담보금이 충분한 억제력이 될지도 아직은 모르겠긴 하네요
✏️ 기술적 해법의 한계
BOLD를 파헤치면서 든 생각은,
아무리 정교한 프로토콜도 결국 경제적 인센티브에 의존한다는 거였어요.
'상태 대결'이라는 기술적 혁신도 결국 3600 ETH라는 경제적 장벽이 있어야 작동하고.
체스 시계도 담보금 몰수라는 패널티가 있어야 의미가 있죠.
BOLD는 분명 중요한 진전인 것 같아요.
지연 공격이라는 오래된 문제에 대한 창의적인 해법이니까.
다만 이게 진짜 탈중앙화의 완성인지, 아니면 또 다른 형태의 제한인지는...
앞으로 좀 더 지켜봐야될 것 같습니다!
---
여러분의 좋아요와 공유는 사랑입니다 🥰
#BQ개발자 #아비트럼 #BOLD #Layer2 #블록체인
Please open Telegram to view this post
VIEW IN TELEGRAM
❤4
안녕하세요, 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는 여기에 '상태 중심 대결'이라는 아이디어를 더한 거였어요.
간단한 수학 원리가 수십억 달러의 보안을 책임지고 있다는 게
때로는 복잡한 암호학보다 이런 기본적인 효율성이 더 중요한 것 같습니다.
---
여러분의 좋아요와 공유는 사랑입니다 🥰
#BQ개발자 #아비트럼 #이분법게임 #BOLD #Layer2
Please open Telegram to view this post
VIEW IN TELEGRAM
❤5