Development of an intelligent platform to automate the process of auditing smart contracts in Blockchain (Q78649): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in nl, and other parts: Adding Dutch translations) |
(Changed label, description and/or aliases in it, and other parts: Adding Italian translations) |
||||||||||||||
| label / it | label / it | ||||||||||||||
Sviluppo di una piattaforma intelligente per automatizzare il processo di auditing dei contratti intelligenti nella rete Blockchain | |||||||||||||||
| Property / summary | |||||||||||||||
Il progetto riguarda l'attuazione di lavori di R & S sull'uso di tecniche di intelligenza artificiale per creare uno strumento intelligente, automatico e autonomo per effettuare audit di sicurezza dei contratti intelligenti – contratti digitali sotto forma di applicazioni che operano sulla piattaforma Ethereum nella tecnologia blockchain. L'obiettivo principale di questo progetto è ridurre al minimo la possibilità di errori nel contratto intelligente. Intendiamo raggiungere questo obiettivo utilizzando le tecnologie di IA: apprendimento automatico e modi di rappresentare le conoscenze che saranno implementate nel sistema. Sarà in grado di individuare i rischi associati al funzionamento del contratto intelligente e di informare i suoi azionisti in tempo utile. Grazie all'implementazione del progetto, sarà possibile effettuare analisi automatizzate del codice smart contract al fine di individuare potenziali errori che espongono i siti web associati allo smart contract a congelare o perdere i fondi garantiti su di esso. Lo strumento sarà in grado di individuare autonomamente, senza l'aiuto di un analista, l'errore e indicarne le origini. Gli audit di sicurezza sono attualmente effettuati da specialisti esperti, perfettamente qualificati nel campo della tecnologia blockchain. Oltre all'uso dell'intelligenza artificiale, l'innovazione accelererà notevolmente gli audit, che possono richiedere fino a diverse settimane. Grazie alla realizzazione del progetto, questo sarà possibile in poche ore, e l'intero processo sarà in grado di svolgersi in modo autonomo. L'intero processo sarà inoltre significativamente meno esposto all'errore umano. Il risultato del progetto sarà dedicato principalmente ai fondi di investimento del settore blockchain, dell'ICO e dei piccoli imprenditori e privati che si stabiliscono con contratti intelligenti. Risultato (Italian) | |||||||||||||||
| Property / summary: Il progetto riguarda l'attuazione di lavori di R & S sull'uso di tecniche di intelligenza artificiale per creare uno strumento intelligente, automatico e autonomo per effettuare audit di sicurezza dei contratti intelligenti – contratti digitali sotto forma di applicazioni che operano sulla piattaforma Ethereum nella tecnologia blockchain. L'obiettivo principale di questo progetto è ridurre al minimo la possibilità di errori nel contratto intelligente. Intendiamo raggiungere questo obiettivo utilizzando le tecnologie di IA: apprendimento automatico e modi di rappresentare le conoscenze che saranno implementate nel sistema. Sarà in grado di individuare i rischi associati al funzionamento del contratto intelligente e di informare i suoi azionisti in tempo utile. Grazie all'implementazione del progetto, sarà possibile effettuare analisi automatizzate del codice smart contract al fine di individuare potenziali errori che espongono i siti web associati allo smart contract a congelare o perdere i fondi garantiti su di esso. Lo strumento sarà in grado di individuare autonomamente, senza l'aiuto di un analista, l'errore e indicarne le origini. Gli audit di sicurezza sono attualmente effettuati da specialisti esperti, perfettamente qualificati nel campo della tecnologia blockchain. Oltre all'uso dell'intelligenza artificiale, l'innovazione accelererà notevolmente gli audit, che possono richiedere fino a diverse settimane. Grazie alla realizzazione del progetto, questo sarà possibile in poche ore, e l'intero processo sarà in grado di svolgersi in modo autonomo. L'intero processo sarà inoltre significativamente meno esposto all'errore umano. Il risultato del progetto sarà dedicato principalmente ai fondi di investimento del settore blockchain, dell'ICO e dei piccoli imprenditori e privati che si stabiliscono con contratti intelligenti. Risultato (Italian) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: Il progetto riguarda l'attuazione di lavori di R & S sull'uso di tecniche di intelligenza artificiale per creare uno strumento intelligente, automatico e autonomo per effettuare audit di sicurezza dei contratti intelligenti – contratti digitali sotto forma di applicazioni che operano sulla piattaforma Ethereum nella tecnologia blockchain. L'obiettivo principale di questo progetto è ridurre al minimo la possibilità di errori nel contratto intelligente. Intendiamo raggiungere questo obiettivo utilizzando le tecnologie di IA: apprendimento automatico e modi di rappresentare le conoscenze che saranno implementate nel sistema. Sarà in grado di individuare i rischi associati al funzionamento del contratto intelligente e di informare i suoi azionisti in tempo utile. Grazie all'implementazione del progetto, sarà possibile effettuare analisi automatizzate del codice smart contract al fine di individuare potenziali errori che espongono i siti web associati allo smart contract a congelare o perdere i fondi garantiti su di esso. Lo strumento sarà in grado di individuare autonomamente, senza l'aiuto di un analista, l'errore e indicarne le origini. Gli audit di sicurezza sono attualmente effettuati da specialisti esperti, perfettamente qualificati nel campo della tecnologia blockchain. Oltre all'uso dell'intelligenza artificiale, l'innovazione accelererà notevolmente gli audit, che possono richiedere fino a diverse settimane. Grazie alla realizzazione del progetto, questo sarà possibile in poche ore, e l'intero processo sarà in grado di svolgersi in modo autonomo. L'intero processo sarà inoltre significativamente meno esposto all'errore umano. Il risultato del progetto sarà dedicato principalmente ai fondi di investimento del settore blockchain, dell'ICO e dei piccoli imprenditori e privati che si stabiliscono con contratti intelligenti. Risultato (Italian) / qualifier | |||||||||||||||
point in time: 15 January 2022
| |||||||||||||||
Revision as of 22:30, 15 January 2022
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
Das Projekt betrifft die Durchführung von FuE-Arbeiten zum Einsatz von Techniken der künstlichen Intelligenz, um ein intelligentes, automatisches und autonomes Instrument zur Durchführung von Sicherheitsaudits bei Smart Contracts &ndash zu schaffen; digitale Verträge in Form von Anwendungen, die auf der Ethereum-Plattform in der Blockchain-Technologie betrieben werden. Hauptziel dieses Projekts ist die Minimierung von Fehlern im Smart Contract. Wir beabsichtigen, dies durch den Einsatz von KI-Technologien zu erreichen: maschinelles Lernen und Möglichkeiten zur Darstellung des Wissens, das im System umgesetzt wird. Sie wird in der Lage sein, die mit dem Betrieb des Smart Contract verbundenen Risiken zu erkennen und seine Aktionäre rechtzeitig zu informieren. Dank der Umsetzung des Projekts wird es möglich sein, automatisierte Analysen des intelligenten Vertragscodes durchzuführen, um mögliche Fehler zu finden, die die mit dem Smart-Vertrag verbundenen Websites aussetzen, um gesicherte Gelder einzufrieren oder zu verlieren. Das Tool wird in der Lage sein, unabhängig, ohne die Hilfe eines Analysten, den Fehler zu finden und seine Ursprünge anzuzeigen. Sicherheitsaudits werden derzeit von erfahrenen Spezialisten durchgeführt, die perfekt auf dem Gebiet der Blockchain-Technologie qualifiziert sind. Neben dem Einsatz künstlicher Intelligenz wird Innovation die Audits deutlich beschleunigen, die bis zu mehreren Wochen in Anspruch nehmen können. Dank der Umsetzung des Projekts wird dies in nur wenigen Stunden möglich sein, und der gesamte Prozess wird autonom stattfinden können. Der gesamte Prozess wird auch deutlich weniger menschlichen Fehlern ausgesetzt sein. Das Ergebnis des Projekts wird in erster Linie Investitionsfonds aus der Blockchain-Industrie, ICO und kleineren Unternehmern und Privatpersonen gewidmet, die sich mit intelligenten Verträgen abwickeln. Ergebnis (German)
7 December 2021
0 references
Het project betreft de uitvoering van O & O-werkzaamheden met betrekking tot het gebruik van kunstmatige intelligentietechnieken om een intelligent, automatisch en autonoom instrument te creëren voor het uitvoeren van beveiligingsaudits van slimme contracten – digitale contracten in de vorm van toepassingen die werken op het Ethereum platform in blockchain technologie. Het hoofddoel van dit project is de mogelijkheid van fouten in het slimme contract tot een minimum te beperken. We zijn van plan dit te bereiken door gebruik te maken van KI-technologieën: machine learning en manieren om de kennis te vertegenwoordigen die in het systeem zal worden geïmplementeerd. Zij zal de aan de werking van het slimme contract verbonden risico’s kunnen detecteren en haar aandeelhouders tijdig op de hoogte kunnen stellen. Dankzij de uitvoering van het project zal het mogelijk zijn om geautomatiseerde analyses van de slimme contractcode uit te voeren om potentiële fouten te vinden die de websites in verband met het slimme contract blootstellen aan het bevriezen of verliezen van fondsen die erop zijn beveiligd. De tool zal in staat zijn om onafhankelijk, zonder de hulp van een analist, de fout te lokaliseren en de oorsprong ervan aan te geven. Beveiligingsaudits worden momenteel uitgevoerd door ervaren specialisten, perfect gekwalificeerd op het gebied van blockchain technologie. Naast het gebruik van kunstmatige intelligentie zal innovatie de audits aanzienlijk versnellen, wat nu tot enkele weken kan duren. Dankzij de uitvoering van het project zal dit binnen enkele uren mogelijk zijn en zal het hele proces autonoom kunnen plaatsvinden. Het hele proces zal ook aanzienlijk minder worden blootgesteld aan menselijke fouten. Het resultaat van het project zal in de eerste plaats worden gewijd aan beleggingsfondsen van de blockchain-industrie, ICO en kleinere ondernemers en particulieren die zich vestigen met behulp van slimme contracten. Resultaat (Dutch)
16 December 2021
0 references
Il progetto riguarda l'attuazione di lavori di R & S sull'uso di tecniche di intelligenza artificiale per creare uno strumento intelligente, automatico e autonomo per effettuare audit di sicurezza dei contratti intelligenti – contratti digitali sotto forma di applicazioni che operano sulla piattaforma Ethereum nella tecnologia blockchain. L'obiettivo principale di questo progetto è ridurre al minimo la possibilità di errori nel contratto intelligente. Intendiamo raggiungere questo obiettivo utilizzando le tecnologie di IA: apprendimento automatico e modi di rappresentare le conoscenze che saranno implementate nel sistema. Sarà in grado di individuare i rischi associati al funzionamento del contratto intelligente e di informare i suoi azionisti in tempo utile. Grazie all'implementazione del progetto, sarà possibile effettuare analisi automatizzate del codice smart contract al fine di individuare potenziali errori che espongono i siti web associati allo smart contract a congelare o perdere i fondi garantiti su di esso. Lo strumento sarà in grado di individuare autonomamente, senza l'aiuto di un analista, l'errore e indicarne le origini. Gli audit di sicurezza sono attualmente effettuati da specialisti esperti, perfettamente qualificati nel campo della tecnologia blockchain. Oltre all'uso dell'intelligenza artificiale, l'innovazione accelererà notevolmente gli audit, che possono richiedere fino a diverse settimane. Grazie alla realizzazione del progetto, questo sarà possibile in poche ore, e l'intero processo sarà in grado di svolgersi in modo autonomo. L'intero processo sarà inoltre significativamente meno esposto all'errore umano. Il risultato del progetto sarà dedicato principalmente ai fondi di investimento del settore blockchain, dell'ICO e dei piccoli imprenditori e privati che si stabiliscono con contratti intelligenti. Risultato (Italian)
15 January 2022
0 references
Identifiers
POIR.01.01.01-00-1193/18
0 references