이 논문은 스마트 계약의 취약점과 완화 방안에 대한 문헌 조사와 실험 보고서를 제공한다.
주요 내용은 다음과 같다:
이더리움 스마트 계약의 가장 일반적인 취약점을 설명하고 이를 완화하기 위한 방안을 제시한다. 특히 NFT 분할 소유권과 관련된 고유한 위험을 다룬다.
스마트 계약 취약점을 탐지하는 다양한 방법론(정적 분석, 동적 분석, 형식 검증)을 소개하고 비교한다.
이더리움 커뮤니티에서 널리 사용되는 도구들(Oyente, Slither, Mythril 등)을 실행하고 테스트하여 평가한다.
스마트 계약을 안전하게 구현하기 위한 완전한 지침을 제시한다.
Іншою мовою
із вихідного контенту
arxiv.org
Ключові висновки, отримані з
by Wejdene Haou... о arxiv.org 04-01-2024
https://arxiv.org/pdf/2403.19805.pdfГлибші Запити