Development of an intelligent platform to automate the process of auditing smart contracts in Blockchain (Q78649)
Jump to navigation
Jump to search
Project Q78649 in Poland
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Development of an intelligent platform to automate the process of auditing smart contracts in Blockchain |
Project Q78649 in Poland |
Statements
8,074,763.5 zloty
0 references
10,523,848.75 zloty
0 references
76.73 percent
0 references
1 September 2019
0 references
31 August 2022
0 references
BLOCK SOLUTIONS SPÓŁKA Z OGRANICZONĄ ODPOWIEDZIALNOŚCIĄ
0 references
51°46'23.2"N, 19°28'42.2"E
0 references
Projekt dotyczy realizacji prac B+R z zakresu wykorzystania technik sztucznej inteligencji do stworzenia inteligentnego, automatycznego i autonomicznego narzędzia do przeprowadzania audytów bezpieczeństwa smart contractów – cyfrowych umów w formie aplikacji działających na platformie Ethereum w technologii blockchain. Głównym celem niniejszego projektu jest minimalizacja możliwości wystąpienia błędów w smart contractcie. Cel ten zamierzamy osiągnąć przez zastosowanie technologii z zakresu AI: uczenia maszynowego i sposobów reprezentacji wiedzy, które zostaną zaimplementowane w systemie. Będzie on w stanie wykryć zagrożenia związane z działalnością smart contractu oraz odpowiednio wcześnie poinformować jego udziałowców. Dzięki realizacji projektu możliwe będzie przeprowadzanie automatycznych analiz kodu smart contractu w celu wyszukiwania potencjalnych błędów narażających powiązane smart contractem strony na zamrożenie bądź utratę środków finansowych na nim zabezpieczonych. Narzędzie będzie w stanie samodzielnie, bez pomocy analityka zlokalizować błąd i wskazać jego genezę. Audyty bezpieczeństwa przeprowadzane są obecnie przez doświadczonych specjalistów, doskonale wykwalifikowanych z obszaru technologii blockchain. Innowacją, poza wykorzystaniem sztucznej inteligencji, będzie znaczne przyspieszenie audytów, które obecnie mogą trwać nawet kilka tygodni. Dzięki realizacji projektu możliwe to będzie w przeciągu zaledwie kilku godzin, a cały proces będzie mógł odbywać się autonomicznie. Cały proces będzie także w znaczni mniejszym stopniu narażony na ludzkie błędy. Rezultat projektu będzie dedykowany przede wszystkim funduszom inwestycyjnym z branży blockchain, ICO oraz mniejszym przedsiębiorcom i osobom prywatnym dokonujących rozliczeń za pomocą smart contractów. Rezultat (Polish)
0 references
The project concerns the implementation of R & D work on the use of artificial intelligence techniques to create an intelligent, automatic and autonomous tool for carrying out security audits of smart contracts – digital contracts in the form of applications operating on the Ethereum platform in blockchain technology. The main objective of this project is to minimise the possibility of errors in a smart contract. We intend to achieve this by using AI technology: machine learning and ways of representing knowledge that will be implemented in the system. It will be able to detect the risks associated with the activities of the smart contract and inform its shareholders in good time. Thanks to the implementation of the project, it will be possible to carry out automated analysis of the smart contract code to search for potential errors that expose the website’s smart contract-related to freezing or loss of funds secured on it. The tool will be able to independently, without the help of an analyst, locate the error and indicate its origin. Security audits are currently carried out by experienced specialists, perfectly qualified from blockchain technology. Innovation, in addition to the use of artificial intelligence, will be a significant acceleration of audits, which can now last up to a few weeks. This will be possible in just a few hours thanks to the implementation of the project and the whole process will be able to take place autonomously. The whole process will also be significantly less exposed to human error. The result of the project will be dedicated primarily to investment funds from blockchain, ICO and smaller entrepreneurs and private individuals who perform settlements using smart contracts. Result (English)
14 October 2020
0 references
Identifiers
POIR.01.01.01-00-1193/18
0 references