상세 보기
이더리움 스마트 계약 프로그램의 ERC-20 API 기능 명세의관례상 표준과 적합성 리뷰 방법
A De Facto Standard for ERC-20 API Functional Specifications and Its Conformance Review Method for Ethereum Smart Contracts
- 문현아;
- 박수용
초록
이더리움 토큰 스마트 계약의 표준 API인 ERC-20은 지갑이나 분산 거래소같은 응용 프로그램들에서 호환성을 보장하기 위해 도입되었다. 그러나API의 동작에 대한 엄밀한 기능 명세와 표준 적합성 리뷰 도구는 지원되고 있지 않아 호환성 취약점 문제가 발생할 수 있다. 본 논문에서는 이더리움블록체인의 ERC-20 토큰 스마트 계약 프로그램들의 관례상 표준에 부합하는지 검사하는 새로운 리뷰 절차와 이를 지원하는 도구를 제안하였다. 기존 이더리움 블록체인 시장 상위 100개의 토큰 스마트 계약 프로그램들을 ERC-20 API 기능 동작면에서 분석한 지식을 바탕으로 관례상 표준을명시적으로 정의하였고, 이렇게 정의된 관례상 표준으로 새로운 ERC-20 스마트 계약 프로그램을 체계적으로 리뷰할 수 있는 방법을 설계할 수있었다. 이 리뷰 방법을 지원하는 도구를 개발하고 벤치마크 프로그램에 대해 실험 평가하였다.
키워드
Ethereum; Smart Contracts; Conformance; Review; 이더리움; 스마트 계약; 적합성; 리뷰
- 제목
- 이더리움 스마트 계약 프로그램의 ERC-20 API 기능 명세의관례상 표준과 적합성 리뷰 방법
- 제목 (타언어)
- A De Facto Standard for ERC-20 API Functional Specifications and Its Conformance Review Method for Ethereum Smart Contracts
- 저자
- 문현아; 박수용
- 발행일
- 2022-10
- 저널명
- 정보처리학회 논문지
- 권
- 11
- 호
- 10
- 페이지
- 399 ~ 408