경제·프로토콜 레벨 공격 1부에서 다룬 취약점은 모두 코드 라인 안에 원인이 있었습니다. 재진입이든 오버플로우든, 문제가 된 함수 자체에 결함이 있었죠. 그러나 2부에서 다루는 공격들은 성격이 다릅니다. 이들은 코드가 완벽해도 성립합니다. 각 함수는 명세대로 한 치의 오차도 없이 정확히 동작하는데, 그 함수들이 놓인 경제적 환경을 공격자가 조작하기 때문입니다. 여기서는 오라클 조작(플래시론 결합)과 MEV, 두 가지를 다룹니다….
스마트 컨트랙트 코드 취약점 블록체인 보안 사고가 뉴스에 오르면 대개 “코드가 뚫렸다”는 한 문장으로 압축됩니다. 하지만 현실의 블록체인 실패는 완전히 다른 층위들에 걸쳐 있습니다. 코드 자체의 버그, 경제적 설계의 허점, 합의 알고리즘의 한계, 그리고 온체인 밖 운영의 실패까지 — 이 시리즈는 이 네 층위를 대표하는 10가지 사례를 차례로 짚어 갑니다. 1부에서 다루는 것은 가장 직관적인…
“실전 오라클” 시리즈 4편(마지막) — 스마트 컨트랙트 엔지니어를 위한 실습형 연재. 어떤 사실은 평균 낼 시장도, 읽을 공개 피드도 없습니다. 모델의 리스크 스코어, proof-of-reserves 증명, 오프체인 연산의 출력 같은 것들. 이럴 땐 분산 시스템의 가장 오래된 수법으로 돌아갑니다. 서로 독립적인 여럿이 보증하게 하고, 임계치의 동의를 요구하는 것. 이것이 서명 쿼럼(signature quorum)이고, AI 출력이 온체인에 앵커되는…
“실전 오라클” 시리즈 3편 — 스마트 컨트랙트 엔지니어를 위한 실습형 연재. Chainlink에서 적은 낡음이었습니다. 온체인 TWAP에서 적은 조작으로 뒤집히고, 설계 전체가 단일 블록의 가격 밀치기를 경제적으로 무의미하게 만드는 데 있습니다. Uniswap V3 TWAP 오라클이 실제로 어떻게 작동하는지, 그리고 잘 도는 consult()를 익스플로잇 가능한 것으로 바꾸는 세 함정을 봅시다. 왜 시간 가중이 플래시론을 무력화하는가 AMM의 스팟…
“실전 오라클” 시리즈 2편 — 스마트 컨트랙트 엔지니어를 위한 실습형 연재. 수백 개 튜토리얼에서 보게 되는 Chainlink 연동은 이렇습니다. 컴파일되고, 숫자를 반환하고, 프로토콜을 날려 먹을 만큼 위험합니다. 실제로 배포할 버전을 검사 하나씩 쌓아 만들면서, 왜 각 줄이 자기 자리를 차지하는지 이해해 봅시다. 데이터 피드란 실제로 무엇인가 Chainlink은 푸시 오라클입니다. 오프체인 탈중앙 오퍼레이터 집합이 여러 거래소의…
“실전 오라클” 시리즈 1편 — 스마트 컨트랙트 엔지니어를 위한 실습형 연재. 이 시리즈의 모든 컨트랙트는 OpenZeppelin 5.x로 컴파일하고 실제 EVM에서 검증했습니다. 한 줄 요약은 이미 아실 겁니다. 스마트 컨트랙트는 바깥세상을 호출할 수 없다. 이 시리즈는 그 제약이 실제로 여러분에게 무엇을 강제하는지, 함정이 어디 묻혀 있는지, 그리고 데모가 아니라 공격자를 상대로 살아남는 오라클 소비 코드를 어떻게…
“오라클 문제” 시리즈 4편(마지막) — Web3에서 가장 어려운 질문을 쉬운 말로 풀어봅니다. 이제 길의 끝에 다다랐고, 정직해질 시간입니다. 세 편에 걸쳐 우리는 영리한 사람들이 신뢰를 전문가 패널, 시간 평균, 증인단의 정족수에 흩뿌리며(3편) 오라클 문제를 감당할 만한 크기로 줄이는 걸 지켜봤습니다. 이 기법들은 실재하고, 수십억 달러를 지키며, 실제로 작동합니다. 그런데 이 모두가 조용히 무너지는 종류의 문제가…
“오라클 문제” 시리즈 3편 — Web3에서 가장 어려운 질문을 쉬운 말로 풀어봅니다. 지금까지는 소식이 우울했습니다. 블록체인은 바깥세상을 볼 수 없고(1편), AI가 그걸 마법처럼 고쳐주지도 못합니다(2편). 그런데도 매일 수십억 달러가 바깥 데이터에 의존하는 시스템을 통해 흐르고, 대부분은 털리지 않습니다. 어떻게일까요? 답은 누군가 전령을 완벽하게 믿을 수 있게 만드는 법을 찾아서가 아닙니다. 그런 사람은 없습니다. 답은 더…
“오라클 문제” 시리즈 2편 — Web3에서 가장 어려운 질문을 쉬운 말로 풀어봅니다. 1편에서 우리는 블록체인의 기묘한 약점을 만났습니다. 바깥세상과 완전히 차단된 완벽한 기계라서, 현실에 대해 뭐라도 알려면 전령 — 오라클 — 에 기대야 하고, 그 전령은 거짓말을 할 수 있다는 것. 여기까지 오면 아주 자연스러운 생각이 떠오릅니다. 지금은 인공지능의 시대입니다. AI는 바로 이런 일을 잘하기로…
“오라클 문제” 시리즈 1편 — Web3에서 가장 어려운 질문을 쉬운 말로 풀어봅니다. 창문 하나 없는 밀폐된 방에 갇힌 천재 회계사를 떠올려 보세요. 문틈으로 질문을 밀어 넣으면 그녀는 완벽하게 답합니다. 단, 방 안에 이미 있는 서류만으로 계산할 수 있는 문제일 때만요. 오늘 날씨나 지금 금값을 물으면 그녀는 막힙니다. 창문이 없으니까요. 그녀는 오직 방 안에 있는 것만…