Ethereum Smart Contract Vulnerability Checker

Date:

In this presentation, I introduced a unique vulnerability detection system based on the Ethereum network. Blockchain, underpinned by asymmetric encryption techniques, enables sharing of distributed records on a peer-to-peer network. Its potential extends beyond cryptocurrency, with platforms like Ethereum, which can execute code, receiving considerable attention. However, ‘smart contracts’, where code is written in blockchains like Ethereum, can host vulnerabilities if the code contains errors. While tools such as Oyente, Securify, Mythril, MAIAN, and Gasper have been developed to mitigate these vulnerabilities, they rely on the original Solidity files for analysis, posing difficulties for non-developers or those analyzing others’ smart contracts. To address this, we implemented the Kookmin Security Token—a smart contract that serves as both an interface and data storage—and a connected analysis server. This novel system enables users to send the address of the smart contract they wish to analyze and receive results effortlessly, marking a significant step forward in the accessibility of blockchain security.