스마트 계약(Smart Contract)은 블록체인 위에서 자동으로 실행되는 정해진 프로그램입니다.예를 들어, “A가 B에게 토큰을 보내면, B는 NFT를 받는다” 같은 조건을 코드로 작성해 두면, 사람이 개입하지 않아도 자동 실행됩니다. 하지만, 자동으로 동작하는 이 프로그램에 버그가 있거나, 해킹을 당한다면, 한 번 배포된 스마트 계약은 수정이 어렵기 때문에,버그나 해킹 한번이 치명적인 자산 손실 또는 신뢰 붕괴로 이어질 수 있습니다. 때문에 스마트 계약 보안 감사(Audit)가 매우 중요합니다.오늘은 Trail of Bits가 수행한 23개의 실제 감사 보고서를 분석한 논문을 요약해 더 자세히 알아 보겠습니다.1. Audit이란?Audit은 말 그대로 “검사” 또는 “검증”을 뜻합니다.스마트 계약 ..
