Functions Analysis and Modeling with the Use of Special Solidity Scripts

Student: Polevoy Sergey

Supervisor: Rostislav Yavorskiy

Educational Programme: Mathematics (Bachelor)

Year of Graduation: 2018

In this work we reviewed various Ethereum blockchain system smart contracts verification methods. The contracts store inside the system as a compiled bytecode written in the blockchain. The original smart contracts are written in Solidity language, which is now the primary language on Ethereum platform. We successfully applied our static analyzer of C/C++ code, which we developed earlier, for the Solidity code. In this way we can solve some simple problems in smart contracts verification with the opportunity of further development. Also we developed a translater from Solidity to why3 for educational purposes.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses