Mapa dotacji

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