언제 맡기면 좋은가
코드를 쓰기 전
설계는 바꾸기 쉽지만 배포된 컨트랙트는 그렇지 않습니다.
큰 업그레이드 전
새 모듈, 새 통합, 상태 마이그레이션.
감사 전
설계를 먼저 정리하면 감사가 읽을 코드가 줄어듭니다.
받게 되는 것
위협 모델
누가 무엇을, 어떤 자금으로 호출할 수 있고 무엇을 얻는지.
아키텍처 검토
신뢰 경계, 업그레이드 경로, 관리자 키, 외부 통합.
경제 구조 검토
오라클, 인센티브, 파라미터와 그 실패 방식.
서면 검토
모든 문제를 심각도 순으로 정리하고, 이를 없애는 변경을 함께 제시합니다.
진행 방식
- 01
범위 논의 통화
설계와 우려 사항에 대한 짧은 통화.
- 02
검토
1~2주, 팀: 시니어 연구원 2명.
- 03
결과 설명
팀과 함께 검토 결과를 문제별로 살펴봅니다.
그다음은 감사
검토를 마친 설계는 같은 연구원과 함께 스마트 컨트랙트 감사로 이어집니다.