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
Le projet concerne la mise en œuvre de travaux de R & D sur l’utilisation de techniques d’intelligence artificielle pour créer un outil intelligent, automatique et autonome pour effectuer des audits de sécurité des contrats intelligents – contrats numériques sous forme d’applications opérant sur la plateforme Ethereum dans la technologie blockchain. L’objectif principal de ce projet est de minimiser les risques d’erreurs dans le contrat intelligent. Nous avons l’intention d’y parvenir en utilisant les technologies de l’IA: apprentissage automatique et moyens de représenter les connaissances qui seront mises en œuvre dans le système. Elle sera en mesure de détecter les risques liés au fonctionnement du contrat intelligent et d’informer ses actionnaires en temps utile. Grâce à la mise en œuvre du projet, il sera possible d’effectuer des analyses automatisées du code du contrat intelligent afin de trouver d’éventuelles erreurs qui exposent les sites web associés au contrat intelligent à geler ou à perdre des fonds garantis sur celui-ci. L’outil sera capable, indépendamment, sans l’aide d’un analyste, de localiser l’erreur et d’indiquer ses origines. Les audits de sécurité sont actuellement réalisés par des spécialistes expérimentés, parfaitement qualifiés dans le domaine de la technologie blockchain. Outre l’utilisation de l’intelligence artificielle, l’innovation accélérera considérablement les audits, qui peuvent prendre jusqu’à plusieurs semaines maintenant. Grâce à la mise en œuvre du projet, cela sera possible en quelques heures, et l’ensemble du processus pourra se dérouler de manière autonome. L’ensemble du processus sera également beaucoup moins exposé à l’erreur humaine. Le résultat du projet sera principalement consacré aux fonds d’investissement de l’industrie de la chaîne de blocs, à l’ICO et aux petits entrepreneurs et aux particuliers qui s’installent à l’aide de contrats intelligents. Résultat (French)
30 November 2021
0 references
Identifiers
POIR.01.01.01-00-1193/18
0 references