Abstract: The present invention provides an apparatus for analyzing vulnerabilities of smart contract code, the apparatus including: a meta-information extraction unit configured to extract meta-information about input code, which is source code of a smart contract; an intermediate representation language conversion unit configured to convert the input code into an intermediate representation language based on the meta-information extracted by the meta-information extraction unit; a code analysis unit configured to detect whether there is vulnerable code or a rule violation case by analyzing the input code converted into the intermediate representation language by the intermediate representation language conversion unit; and a vulnerability detection unit configured to generate a final vulnerability model by detecting a vulnerability based on the vulnerable code or the rule violation case detected by the code analysis unit, and also provides an analysis method using the apparatus.

Abstract: The present invention is directed to a method and device for stake-based token management on a blockchain system. The method includes: a proof-of-stake token acquisition step in which a blockchain system issues a proof-of-stake token to the user of a user system based on a stake acquisition request signal for the acquisition of a proof-of-stake token received from the user system; a distribution target token deposit step in which the blockchain system receives a distribution target token transmission signal from a token distributor system and updates the cumulative amount of distribution target tokens deposited based on the distribution target token transmission signal; and a distribution target token withdrawal step in which the blockchain system receives a distribution target token withdrawal request signal from the user system and transmits distribution target tokens to the user of the user system based on the distribution target token withdrawal request signal.