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
(Removed claim: co-financing rate (P837): 76.73 percentage) |
(Changed an Item: Import item from Poland) |
||||||||||
Property / EU contribution | Property / EU contribution | ||||||||||
| 1,795,019.93 Euro
| ||||||||||
Property / budget | Property / budget | ||||||||||
| 2,339,451.58 Euro
| ||||||||||
Property / location (string) | |||||||||||
WOJ.: ŁÓDZKIE, POW.: Łódź | |||||||||||
Property / location (string): WOJ.: ŁÓDZKIE, POW.: Łódź / rank | |||||||||||
Normal rank | |||||||||||
Property / priority axis | |||||||||||
Property / priority axis: SUPPORT FOR R & D WORK BY ENTERPRISES / rank | |||||||||||
Normal rank | |||||||||||
Property / co-financing rate | |||||||||||
76.73 percent
| |||||||||||
Property / co-financing rate: 76.73 percent / rank | |||||||||||
Normal rank |
Revision as of 01:14, 20 October 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
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
El proyecto se refiere a la realización de trabajos de I+D sobre el uso de técnicas de inteligencia artificial para crear una herramienta inteligente, automática y autónoma para llevar a cabo auditorías de seguridad de contratos inteligentes – contratos digitales en forma de aplicaciones que operan en la plataforma Ethereum en tecnología blockchain. El objetivo principal de este proyecto es minimizar la posibilidad de errores en el contrato inteligente. Tenemos la intención de lograrlo mediante el uso de tecnologías de IA: aprendizaje automático y formas de representar el conocimiento que se implementará en el sistema. Podrá detectar los riesgos asociados al funcionamiento del contrato inteligente e informar a sus accionistas a su debido tiempo. Gracias a la ejecución del proyecto, será posible realizar análisis automatizados del código de contrato inteligente con el fin de encontrar posibles errores que expongan a los sitios web asociados al contrato inteligente a congelar o perder fondos asegurados en él. La herramienta será capaz de independientemente, sin la ayuda de un analista, localizar el error e indicar sus orígenes. Las auditorías de seguridad son realizadas actualmente por especialistas experimentados, perfectamente cualificados en el campo de la tecnología blockchain. Además del uso de la inteligencia artificial, la innovación acelerará significativamente las auditorías, que pueden tardar hasta varias semanas. Gracias a la ejecución del proyecto, esto será posible en tan solo unas horas, y todo el proceso podrá llevarse a cabo de forma autónoma. Todo el proceso también estará significativamente menos expuesto al error humano. El resultado del proyecto se dedicará principalmente a los fondos de inversión de la industria de la cadena de bloques, ICO y pequeños empresarios y particulares que se asientan mediante contratos inteligentes. Resultado (Spanish)
19 January 2022
0 references
Projektet vedrører gennemførelsen af F & U-arbejde med anvendelse af kunstig intelligens til at skabe et intelligent, automatisk og autonomt værktøj til gennemførelse af sikkerhedsrevisioner af intelligente kontrakter – digitale kontrakter i form af applikationer, der opererer på Ethereum-platformen i blockchain-teknologi. Hovedformålet med dette projekt er at minimere risikoen for fejl i en intelligent kontrakt. Vi har til hensigt at opnå dette ved hjælp af AI-teknologi: maskinlæring og måder at repræsentere viden, der vil blive implementeret i systemet. Den vil være i stand til at opdage de risici, der er forbundet med aktiviteterne i forbindelse med smart-kontrakten, og informere sine aktionærer i god tid. Takket være gennemførelsen af projektet, vil det være muligt at foretage automatisk analyse af smart kontrakt kode for at søge efter potentielle fejl, der udsætter hjemmesiden smart kontrakt-relaterede indefrysning eller tab af midler sikret på det. Værktøjet vil være i stand til uafhængigt, uden hjælp fra en analytiker, lokalisere fejlen og angive dens oprindelse. Sikkerhedsrevisioner udføres i øjeblikket af erfarne specialister, perfekt kvalificeret fra blockchain-teknologi. Innovation vil ud over brugen af kunstig intelligens være en betydelig fremskyndelse af revisionerne, som nu kan vare op til et par uger. Dette vil være muligt om få timer takket være projektets gennemførelse, og hele processen vil kunne finde sted selvstændigt. Hele processen vil også være betydeligt mindre udsat for menneskelige fejl. Resultatet af projektet vil primært blive afsat til investeringsfonde fra blockchain, ICO og mindre iværksættere og privatpersoner, der udfører afregninger ved hjælp af intelligente kontrakter. Resultat (Danish)
25 July 2022
0 references
Το έργο αφορά την υλοποίηση εργασιών έρευνας και ανάπτυξης για τη χρήση τεχνικών τεχνητής νοημοσύνης για τη δημιουργία ενός έξυπνου, αυτόματου και αυτόνομου εργαλείου για τη διενέργεια ελέγχων ασφάλειας έξυπνων συμβάσεων &ndash· ψηφιακές συμβάσεις με τη μορφή εφαρμογών που λειτουργούν στην πλατφόρμα Ethereum στην τεχνολογία blockchain. Κύριος στόχος αυτού του έργου είναι η ελαχιστοποίηση της πιθανότητας σφαλμάτων σε μια έξυπνη σύμβαση. Σκοπεύουμε να το επιτύχουμε αυτό χρησιμοποιώντας την τεχνολογία ΤΝ: μηχανική μάθηση και τρόποι εκπροσώπησης των γνώσεων που θα εφαρμοστούν στο σύστημα. Θα είναι σε θέση να εντοπίζει τους κινδύνους που συνδέονται με τις δραστηριότητες της έξυπνης σύμβασης και να ενημερώνει εγκαίρως τους μετόχους της. Χάρη στην υλοποίηση του έργου, θα είναι δυνατή η αυτοματοποιημένη ανάλυση του κώδικα έξυπνων συμβάσεων για την αναζήτηση πιθανών σφαλμάτων που εκθέτουν την ιστοσελίδα â EUR "έξυπνη σύμβαση-σχετικά με τη δέσμευση ή την απώλεια των κεφαλαίων που είναι εξασφαλισμένα σε αυτό. Το εργαλείο θα είναι σε θέση να εντοπίσει ανεξάρτητα, χωρίς τη βοήθεια αναλυτή, το σφάλμα και να υποδείξει την προέλευσή του. Οι έλεγχοι ασφαλείας διενεργούνται επί του παρόντος από έμπειρους ειδικούς, άριστα καταρτισμένους από την τεχνολογία blockchain. Η καινοτομία, εκτός από τη χρήση της τεχνητής νοημοσύνης, θα αποτελέσει σημαντική επιτάχυνση των ελέγχων, οι οποίοι μπορούν πλέον να διαρκέσουν έως και μερικές εβδομάδες. Αυτό θα είναι εφικτό μέσα σε λίγες ώρες χάρη στην υλοποίηση του έργου και η όλη διαδικασία θα είναι σε θέση να πραγματοποιηθεί αυτόνομα. Η όλη διαδικασία θα είναι επίσης σημαντικά λιγότερο εκτεθειμένη σε ανθρώπινο σφάλμα. Το αποτέλεσμα του έργου θα αφιερωθεί κυρίως σε επενδυτικά κεφάλαια από blockchain, ICO και μικρότερους επιχειρηματίες και ιδιώτες που εκτελούν διακανονισμούς με τη χρήση έξυπνων συμβάσεων. Αποτέλεσμα (Greek)
25 July 2022
0 references
Projekt se odnosi na provedbu istraživanja iamp; D rad na korištenju tehnika umjetne inteligencije za stvaranje inteligentnog, automatskog i autonomnog alata za provođenje sigurnosnih revizija pametnih ugovora – digitalni ugovori u obliku aplikacija koje djeluju na Ethereum platformi u blockchain tehnologiji. Glavni je cilj ovog projekta smanjiti mogućnost pogrešaka u pametnom ugovoru. To namjeravamo postići primjenom tehnologije umjetne inteligencije: strojno učenje i načini predstavljanja znanja koje će se implementirati u sustav. Moći će otkriti rizike povezane s aktivnostima pametnog ugovora i pravodobno obavijestiti svoje dioničare. Zahvaljujući provedbi projekta bit će moguće provesti automatiziranu analizu koda pametnog ugovora kako bi se pronašle moguće pogreške koje izlažu web-mjesto smart ugovor povezan sa zamrzavanjem ili gubitkom sredstava osiguranih na njemu. Alat će moći neovisno, bez pomoći analitičara, locirati pogrešku i naznačiti njezino podrijetlo. Sigurnosne revizije trenutno provode iskusni stručnjaci, savršeno kvalificirani iz blockchain tehnologije. Inovacije, osim upotrebe umjetne inteligencije, bit će znatno ubrzanje revizija, koje sada mogu trajati i do nekoliko tjedana. To će biti moguće za samo nekoliko sati zahvaljujući provedbi projekta, a cijeli će se proces moći odvijati samostalno. Cijeli proces također će biti znatno manje izložen ljudskoj pogrešci. Rezultat projekta bit će prvenstveno posvećen investicijskim fondovima iz blockchaina, ICO-a te manjih poduzetnika i privatnih osoba koje obavljaju nagodbu koristeći pametne ugovore. Rezultat (Croatian)
25 July 2022
0 references
Proiectul se referă la punerea în aplicare a activităților de cercetare și dezvoltare privind utilizarea tehnicilor de inteligență artificială pentru a crea un instrument inteligent, automat și autonom pentru efectuarea de audituri de securitate ale contractelor inteligente & amp;ndash; contracte digitale sub formă de aplicații care funcționează pe platforma Ethereum în tehnologia blockchain. Obiectivul principal al acestui proiect este de a reduce la minimum posibilitatea apariției unor erori într-un contract inteligent. Intenționăm să realizăm acest lucru prin utilizarea tehnologiei IA: învățarea automată și modalitățile de reprezentare a cunoștințelor care vor fi puse în aplicare în sistem. Aceasta va fi în măsură să detecteze riscurile asociate activităților contractului inteligent și să informeze acționarii în timp util. Datorită punerii în aplicare a proiectului, va fi posibil să se efectueze o analiză automată a codului contractului inteligent pentru a căuta posibile erori care expun contractul inteligent al site-ului web – legat de înghețarea sau pierderea fondurilor garantate pe acesta. Instrumentul va fi capabil să localizeze eroarea în mod independent, fără ajutorul unui analist, și să indice originea acesteia. Auditurile de securitate sunt efectuate în prezent de specialiști cu experiență, perfect calificați de tehnologia blockchain. Inovarea, pe lângă utilizarea inteligenței artificiale, va reprezenta o accelerare semnificativă a auditurilor, care poate dura până la câteva săptămâni. Acest lucru va fi posibil în doar câteva ore datorită punerii în aplicare a proiectului și întregul proces va putea avea loc în mod autonom. Întregul proces va fi, de asemenea, mult mai puțin expus la erori umane. Rezultatul proiectului va fi dedicat în primul rând fondurilor de investiții de la blockchain, ICO și antreprenorilor mai mici și persoanelor fizice care efectuează decontări utilizând contracte inteligente. Rezultatul (Romanian)
25 July 2022
0 references
Projekt sa týka realizácie R & D práce na používaní techník umelej inteligencie na vytvorenie inteligentného, automatického a autonómneho nástroja na vykonávanie bezpečnostných auditov inteligentných zmlúv – digitálne zmluvy vo forme aplikácií fungujúcich na platforme Ethereum v technológii blockchain. Hlavným cieľom tohto projektu je minimalizovať možnosť chýb v inteligentnej zmluve. Plánujeme to dosiahnuť pomocou technológie umelej inteligencie: strojové učenie a spôsoby reprezentácie vedomostí, ktoré budú implementované v systéme. Bude môcť odhaliť riziká spojené s činnosťami inteligentnej zmluvy a včas informovať svojich akcionárov. Vďaka realizácii projektu bude možné vykonať automatizovanú analýzu inteligentného zmluvného kódu s cieľom hľadať možné chyby, ktoré odhaľujú inteligentnú zmluvu webovej stránky súvisiacu so zmrazením alebo stratou finančných prostriedkov, ktoré sú na ňom zabezpečené. Nástroj bude schopný nezávisle, bez pomoci analytika, lokalizovať chybu a uviesť jej pôvod. Bezpečnostné audity v súčasnosti vykonávajú skúsení špecialisti, dokonale kvalifikovaní z technológie blockchainu. Okrem využívania umelej inteligencie bude inovácia významným zrýchlením auditov, ktoré teraz môže trvať až niekoľko týždňov. To bude možné len za pár hodín vďaka realizácii projektu a celý proces sa bude môcť uskutočniť samostatne. Celý proces bude tiež výrazne menej vystavený ľudským chybám. Výsledok projektu bude venovaný predovšetkým investičným fondom z blockchainu, ICO a menším podnikateľom a súkromným osobám, ktoré vykonávajú osady pomocou inteligentných zmlúv. Výsledok (Slovak)
25 July 2022
0 references
Il-proġett jikkonċerna l-implimentazzjoni tar-R & Ż; il-ħidma fuq l-użu ta’ tekniki tal-intelliġenza artifiċjali biex tinħoloq għodda intelliġenti, awtomatika u awtonoma għat-twettiq ta’ awditi tas-sigurtà ta’ kuntratti intelliġenti – kuntratti diġitali fil-forma ta’ applikazzjonijiet li joperaw fuq il-pjattaforma Ethereum fit-teknoloġija tal-blockchain. L-objettiv ewlieni ta’ dan il-proġett huwa li jimminimizza l-possibbiltà ta’ żbalji f’kuntratt intelliġenti. Aħna biħsiebna niksbu dan billi nużaw it-teknoloġija tal-IA: tagħlim awtomatiku u modi kif jiġi rrappreżentat l-għarfien li se jiġi implimentat fis-sistema. Se tkun tista’ tidentifika r-riskji assoċjati mal-attivitajiet tal-kuntratt intelliġenti u tinforma lill-azzjonisti tagħha fil-ħin. Bis-saħħa tal-implimentazzjoni tal-proġett, se jkun possibbli li titwettaq analiżi awtomatizzata tal-kodiċi tal-kuntratt intelliġenti biex tfittex żbalji potenzjali li jesponu l-EUR websajtâ smart kuntratt-relatati mal-iffriżar jew telf ta ‘fondi assigurati fuqha. L-għodda se tkun tista’ b’mod indipendenti, mingħajr l-għajnuna ta’ analista, tillokalizza l-iżball u tindika l-oriġini tiegħu. L-awditi tas-sigurtà bħalissa qed jitwettqu minn speċjalisti b’esperjenza, li huma perfettament ikkwalifikati mit-teknoloġija tal-blockchain. L-innovazzjoni, minbarra l-użu tal-intelliġenza artifiċjali, se tkun aċċellerazzjoni sinifikanti tal-awditi, li issa tista’ ddum sa ftit ġimgħat. Dan se jkun possibbli fi ftit sigħat biss bis-saħħa tal-implimentazzjoni tal-proġett u l-proċess kollu se jkun jista’ jsir b’mod awtonomu. Il-proċess kollu se jkun ukoll ferm inqas espost għal żball uman. Ir-riżultat tal-proġett se jkun iddedikat primarjament għall-fondi ta’ investiment mill-blockchain, l-ICO u l-intraprendituri iżgħar u l-individwi privati li jwettqu saldu permezz ta’ kuntratti intelliġenti. Riżultat (Maltese)
25 July 2022
0 references
O projeto diz respeito à execução do trabalho de I & D sobre a utilização de técnicas de inteligência artificial para criar uma ferramenta inteligente, automática e autónoma para a realização de auditorias de segurança de contratos inteligentes – contratos digitais na forma de aplicações operando na plataforma Ethereum em tecnologia blockchain. O principal objetivo deste projeto é minimizar a possibilidade de erros num contrato inteligente. Pretendemos alcançar este objetivo utilizando a tecnologia de IA: aprendizado de máquina e formas de representar o conhecimento que serão implementados no sistema. Poderá detetar os riscos associados às atividades do contrato inteligente e informar os seus acionistas em tempo útil. Graças à implementação do projeto, será possível realizar uma análise automatizada do código de contrato inteligente para procurar potenciais erros que expõem o contrato inteligente do site relacionado ao congelamento ou perda de fundos garantidos sobre ele. A ferramenta será capaz de, de forma independente, sem a ajuda de um analista, localizar o erro e indicar a sua origem. Atualmente, as auditorias de segurança são realizadas por especialistas experientes, perfeitamente qualificados da tecnologia blockchain. A inovação, para além da utilização da inteligência artificial, constituirá uma aceleração significativa das auditorias, que pode agora durar até algumas semanas. Isto será possível em apenas algumas horas graças à execução do projeto e todo o processo poderá decorrer de forma autónoma. Todo o processo também será significativamente menos exposto a erros humanos. O resultado do projeto será dedicado principalmente a fundos de investimento de blockchain, ICO e pequenos empresários e particulares que realizam acordos usando contratos inteligentes. Resultado (Portuguese)
25 July 2022
0 references
Hanke koskee tutkimus- ja kehitystyötä, joka koskee tekoälytekniikoiden käyttöä älykkään, automaattisen ja autonomisen välineen luomiseksi älykkäiden sopimusten jaamp;ndashin turvallisuusauditointeihin. digitaaliset sopimukset lohkoketjuteknologian Ethereum-alustalla toimivien sovellusten muodossa. Hankkeen päätavoitteena on minimoida virheet älykkäässä sopimuksessa. Aiomme saavuttaa tämän tekoälyteknologian avulla: koneoppiminen ja tavat edustaa tietoa, joka toteutetaan järjestelmässä. Se pystyy havaitsemaan älysopimuksen toimintaan liittyvät riskit ja ilmoittamaan osakkeenomistajilleen hyvissä ajoin. Hankkeen toteuttamisen ansiosta on mahdollista tehdä automatisoitu analyysi älysopimuskoodista, jotta voidaan etsiä mahdollisia virheitä, jotka paljastavat verkkosivuston älykkäät sopimukset, jotka liittyvät siihen kiinnitettyjen varojen jäädyttämiseen tai menetykseen. Työkalu pystyy itsenäisesti ilman analyytikon apua, paikantamaan virheen ja ilmoittamaan sen alkuperän. Turvallisuustarkastuksia suorittavat tällä hetkellä kokeneet asiantuntijat, jotka ovat täysin päteviä lohkoketjuteknologiasta. Tekoälyn käytön lisäksi innovointi vauhdittaa merkittävästi tarkastuksia, jotka voivat nyt kestää jopa muutaman viikon. Tämä on mahdollista vain muutamassa tunnissa hankkeen toteuttamisen ansiosta, ja koko prosessi voidaan toteuttaa itsenäisesti. Koko prosessi on myös huomattavasti vähemmän alttiita inhimilliselle virheelle. Hankkeen tulokset kohdennetaan ensisijaisesti lohkoketjujen, ICO:n ja pienten yrittäjien ja yksityishenkilöiden sijoitusrahastoihin, jotka suorittavat siirtoja älykkäitä sopimuksia käyttäen. Tulos (Finnish)
25 July 2022
0 references
Projekt se nanaša na izvajanje raziskav in razvoja na področju uporabe tehnik umetne inteligence za oblikovanje inteligentnega, samodejnega in avtonomnega orodja za izvajanje varnostnih revizij pametnih pogodb & amp;ndash; digitalne pogodbe v obliki aplikacij, ki delujejo na platformi Ethereum v blockchain tehnologiji. Glavni cilj tega projekta je čim bolj zmanjšati možnost napak v pametni pogodbi. To nameravamo doseči z uporabo tehnologije umetne inteligence: strojno učenje in načini predstavljanja znanja, ki se bo izvajalo v sistemu. Lahko bo odkril tveganja, povezana z dejavnostmi pametne pogodbe, in pravočasno obvestil svoje delničarje. Zahvaljujoč izvajanju projekta, bo mogoče izvesti avtomatizirano analizo pametne pogodbene kode za iskanje morebitnih napak, ki izpostavljajo spletno stran je pametno pogodbo, povezane z zamrznitvijo ali izgubo sredstev, zavarovanih na njej. Orodje bo lahko neodvisno, brez pomoči analitika, lociralo napako in navedlo njen izvor. Revizije varnosti trenutno izvajajo izkušeni strokovnjaki, ki so popolnoma usposobljeni iz blockchain tehnologije. Inovacije bodo poleg uporabe umetne inteligence znatno pospešile revizije, ki lahko zdaj trajajo do nekaj tednov. To bo mogoče v samo nekaj urah zaradi izvajanja projekta in celoten proces bo lahko potekal samostojno. Celoten proces bo tudi bistveno manj izpostavljen človeški napaki. Rezultat projekta bo namenjen predvsem investicijskim skladom blockchain, ICO ter manjšim podjetnikom in posameznikom, ki naselbine izvajajo s pametnimi pogodbami. Rezultat (Slovenian)
25 July 2022
0 references
Projekt se týká provádění výzkumu a vývoje v oblasti využívání technik umělé inteligence k vytvoření inteligentního, automatického a autonomního nástroje pro provádění bezpečnostních auditů inteligentních smluv – digitální smlouvy ve formě aplikací fungujících na platformě Ethereum v technologii blockchain. Hlavním cílem tohoto projektu je minimalizovat možnost chyb v inteligentní smlouvě. Toho hodláme dosáhnout využitím technologie umělé inteligence: strojové učení a způsoby reprezentace znalostí, které budou v systému zavedeny. Bude schopen odhalit rizika spojená s činnostmi inteligentní smlouvy a včas informovat své akcionáře. Díky realizaci projektu bude možné provést automatizovanou analýzu inteligentního smluvního kódu pro vyhledávání možných chyb, které vystavují webové stránky inteligentní smlouvy související se zmrazením nebo ztrátou finančních prostředků na ní zajištěných. Nástroj bude schopen nezávisle, bez pomoci analytika, lokalizovat chybu a uvést její původ. Bezpečnostní audity jsou v současné době prováděny zkušenými odborníky, kteří jsou dokonale kvalifikovaní z technologie blockchain. Inovace, kromě využívání umělé inteligence, budou významným zrychlením auditů, které nyní mohou trvat až několik týdnů. To bude možné jen za pár hodin díky realizaci projektu a celý proces se bude moci uskutečnit samostatně. Celý proces bude také výrazně méně vystaven lidské chybě. Výsledek projektu bude věnován především investičním fondům z blockchainu, ICO a menším podnikatelům a soukromým osobám, kteří provádějí vypořádání pomocí inteligentních smluv. Výsledek (Czech)
25 July 2022
0 references
Projektas susijęs su MTTP įgyvendinimu; D veikla, susijusi su dirbtinio intelekto metodų naudojimu, siekiant sukurti pažangią, automatinę ir autonominę priemonę pažangių sutarčių saugumo auditams atlikti; skaitmeninės sutartys programų, veikiančių Ethereum platformoje blockchain technologijos forma. Pagrindinis šio projekto tikslas – sumažinti klaidų galimybę išmaniojoje sutartyje. Ketiname tai pasiekti naudodami dirbtinio intelekto technologijas: mašinų mokymasis ir žinių, kurios bus įgyvendintos sistemoje, atvaizdavimo būdai. Ji galės nustatyti riziką, susijusią su išmaniosios sutarties veikla, ir laiku informuoti savo akcininkus. Projekto įgyvendinimo dėka bus galima atlikti automatinę išmaniojo sutarties kodo analizę, kad būtų galima ieškoti galimų klaidų, kurios atskleistų svetainės išmaniąją sutartį, susijusią su lėšų įšaldymu ar praradimu. Įrankis galės savarankiškai, be analitiko pagalbos, rasti klaidą ir nurodyti jos kilmę. Saugumo auditus šiuo metu atlieka patyrę specialistai, puikiai kvalifikuoti iš blokų grandinės technologijos. Inovacijos, be dirbtinio intelekto naudojimo, bus reikšmingas audito paspartinimas, kuris dabar gali trukti iki kelių savaičių. Tai bus įmanoma vos per kelias valandas dėl projekto įgyvendinimo ir visas procesas galės vykti savarankiškai. Visas procesas taip pat bus žymiai mažiau veikiamas žmogaus klaidų. Projekto rezultatas visų pirma bus skirtas investicijų fondams iš blockchain, ICO ir mažesnių verslininkų ir privačių asmenų, kurie atlieka atsiskaitymus naudodami išmaniąsias sutartis. Rezultatas (Lithuanian)
25 July 2022
0 references
Projekts attiecas uz pētniecības un analīzes īstenošanu; D darbu pie mākslīgā intelekta metožu izmantošanas, lai izveidotu inteliģentu, automātisku un autonomu instrumentu viedo līgumu drošības revīziju veikšanai; digitālie līgumi formā lietojumprogrammas, kas darbojas Ethereum platformas blockchain tehnoloģiju. Šā projekta galvenais mērķis ir līdz minimumam samazināt kļūdu iespējamību viedā līgumā. Mēs plānojam to panākt, izmantojot MI tehnoloģiju: mašīnmācīšanās un veidi, kā pārstāvēt zināšanas, kas tiks ieviestas sistēmā. Tā varēs atklāt riskus, kas saistīti ar viedā līguma darbību, un savlaicīgi informēt savus akcionārus. Pateicoties projekta īstenošanai, būs iespējams veikt automatizētu viedā līguma koda analīzi, lai meklētu iespējamās kļūdas, kas pakļauj tīmekļa vietnei viedo līgumu, kas saistīts ar līdzekļu iesaldēšanu vai zaudēšanu. Rīks varēs patstāvīgi, bez analītiķa palīdzības atrast kļūdu un norādīt tās izcelsmi. Drošības auditus pašlaik veic pieredzējuši speciālisti, kas ir pilnīgi kvalificēti no blokķēdes tehnoloģijas. Inovācija papildus mākslīgā intelekta izmantošanai būs ievērojams revīzijas paātrinājums, kas tagad var ilgt līdz pat dažām nedēļām. Tas būs iespējams tikai dažu stundu laikā, pateicoties projekta īstenošanai, un viss process varēs notikt autonomi. Viss process arī būs daudz mazāk pakļauts cilvēka kļūdām. Projekta rezultāts galvenokārt tiks veltīts ieguldījumu fondiem no blokķēdes, ICO un mazākiem uzņēmējiem un privātpersonām, kas veic norēķinus, izmantojot viedos līgumus. Rezultāts (Latvian)
25 July 2022
0 references
Проектът се отнася до осъществяването на научноизследователска и развойна дейност; D работа по използването на техники за изкуствен интелект за създаване на интелигентен, автоматичен и автономен инструмент за извършване на одити на сигурността на интелигентни договори; цифрови договори под формата на приложения, работещи на платформата Ethereum в blockchain технология. Основната цел на този проект е да се сведе до минимум възможността за грешки в интелигентния договор. Възнамеряваме да постигнем това, като използваме технологии с ИИ: машинно самообучение и начини за представяне на знания, които ще бъдат внедрени в системата. Тя ще може да открива рисковете, свързани с дейностите по интелигентния договор, и своевременно да информира своите акционери. Благодарение на изпълнението на проекта ще бъде възможно да се извърши автоматизиран анализ на интелигентния договорен код, за да се търсят потенциални грешки, които излагат уебсайта на интелигентния договор, свързан със замразяване или загуба на средства, обезпечени с него. Инструментът ще може самостоятелно, без помощта на анализатор, да намери грешката и да посочи произхода ѝ. В момента одитите на сигурността се извършват от опитни специалисти, перфектно квалифицирани по технологията blockchain. Иновациите, в допълнение към използването на изкуствен интелект, ще бъдат значително ускоряване на одитите, които вече могат да продължат до няколко седмици. Това ще бъде възможно само след няколко часа благодарение на изпълнението на проекта и целият процес ще може да се осъществи самостоятелно. Целият процес също ще бъде значително по-малко изложен на човешка грешка. Резултатът от проекта ще бъде предназначен предимно за инвестиционни фондове от blockchain, ICO и по-малки предприемачи и частни лица, които извършват селища, като използват интелигентни договори. Резултат (Bulgarian)
25 July 2022
0 references
A projekt a mesterségesintelligencia-technikák alkalmazásával kapcsolatos R & D munka végrehajtására irányul, amely intelligens, automatikus és autonóm eszközt hoz létre az intelligens szerződések és amp;ndash biztonsági ellenőrzésének elvégzésére; digitális szerződések formájában alkalmazások működő Ethereum platform blockchain technológia. E projekt fő célja, hogy minimálisra csökkentse az intelligens szerződésekben előforduló hibák lehetőségét. Ezt a mesterségesintelligencia-technológia használatával kívánjuk elérni: gépi tanulás és a tudás képviseletének módjai, amelyeket a rendszerben valósítanak meg. Képes lesz felismerni az intelligens szerződés tevékenységeihez kapcsolódó kockázatokat, és kellő időben tájékoztatni részvényeseit. A projekt végrehajtásának köszönhetően lehetőség lesz az intelligens szerződés kódjának automatizált elemzésére, hogy olyan potenciális hibákat keressenek, amelyek a weboldalon biztosított pénzeszközök befagyasztásával vagy elvesztésével kapcsolatos intelligens szerződéssel függenek össze. Az eszköz képes lesz önállóan, elemző segítsége nélkül megtalálni a hibát, és jelezni annak eredetét. Biztonsági ellenőrzések jelenleg végzik tapasztalt szakemberek, tökéletesen képzett blockchain technológia. Az innováció a mesterséges intelligencia használata mellett az ellenőrzések jelentős felgyorsulását jelenti, amely most akár néhány hétig is eltarthat. Ez a projekt megvalósításának köszönhetően csak néhány óra múlva lehetséges, és az egész folyamat önállóan is megvalósulhat. Az egész folyamat is jelentősen kevésbé lesz kitéve emberi hibának. A projekt eredménye elsősorban a blokkláncból, az ICO-ból és a kisebb vállalkozókból és magánszemélyekből származó befektetési alapokra irányul, akik intelligens szerződésekkel telepítenek. Eredmény (Hungarian)
25 July 2022
0 references
Baineann an tionscadal le cur chun feidhme na hoibre T & F ar theicnící intleachta saorga a úsáid chun uirlis chliste, uathoibríoch agus uathrialaitheach a chruthú chun iniúchtaí slándála a dhéanamh ar chonarthaí cliste – conarthaí digiteacha i bhfoirm iarratas ag feidhmiú ar an ardán Ethereum i dteicneolaíocht blockchain. Is é príomhchuspóir an tionscadail seo ná an fhéidearthacht earráidí i gconradh cliste a íoslaghdú. Tá sé beartaithe againn é sin a bhaint amach trí úsáid a bhaint as teicneolaíocht IS: meaisínfhoghlaim agus bealaí chun eolas a léiriú a chuirfear i bhfeidhm sa chóras. Beidh sé in ann na rioscaí a bhaineann le gníomhaíochtaí an chonartha chliste a bhrath agus a scairshealbhóirí a chur ar an eolas in am trátha. A bhuíochas le cur i bhfeidhm an tionscadail, beidh sé indéanta a chur i gcrích anailís uathoibrithe ar an gcód conartha cliste chun cuardach a dhéanamh earráidí féideartha a nochtadh ar an websiteâ EURs conradh cliste a bhaineann le reo nó caillteanas cistí urraithe ar sé. Beidh an uirlis in ann go neamhspleách, gan cabhair ó anailísí, an earráid a aimsiú agus a thionscnamh a léiriú. Tá iniúchtaí slándála á ndéanamh faoi láthair ag speisialtóirí a bhfuil taithí acu, atá láncháilithe ó theicneolaíocht blockchain. Cuirfidh an nuálaíocht, chomh maith le húsáid na hintleachta saorga, dlús suntasach le hiniúchtaí, rud a mhairfidh suas le cúpla seachtain anois. Beidh sé seo indéanta laistigh de chúpla uair an chloig a bhuí le cur chun feidhme an tionscadail agus beidh an próiseas iomlán in ann tarlú go neamhspleách. Beidh an próiseas iomlán a bheith i bhfad níos lú faoi lé earráid an duine. Déanfar toradh an tionscadail a thiomnú go príomha do chistí infheistíochta ó bhlocshlabhra, ó ICO agus ó fhiontraithe beaga agus ó dhaoine príobháideacha a dhéanann lonnaíochtaí trí úsáid a bhaint as conarthaí cliste. Toradh (Irish)
25 July 2022
0 references
Projektet gäller genomförandet av FoU- arbete med användning av artificiell intelligensteknik för att skapa ett intelligent, automatiskt och autonomt verktyg för att utföra säkerhetsrevisioner av smarta kontrakt – digitala kontrakt i form av applikationer som fungerar på Ethereum-plattformen inom blockkedjeteknik. Huvudsyftet med detta projekt är att minimera risken för fel i ett smart kontrakt. Vi har för avsikt att uppnå detta genom att använda AI-teknik: maskininlärning och sätt att representera kunskap som kommer att implementeras i systemet. Den kommer att kunna upptäcka de risker som är förknippade med det smarta avtalets verksamhet och informera sina aktieägare i god tid. Tack vare genomförandet av projektet kommer det att vara möjligt att utföra automatiserad analys av den smarta kontraktskoden för att söka efter potentiella fel som exponerar webbplatsens smarta kontrakt – kopplat till frysning eller förlust av medel som säkrats på den. Verktyget kommer att kunna självständigt, utan hjälp av en analytiker, lokalisera felet och ange dess ursprung. Säkerhetsgranskningar utförs för närvarande av erfarna specialister, perfekt kvalificerade från blockkedjeteknik. Utöver användningen av artificiell intelligens kommer innovation att innebära en betydande ökning av revisionerna, som nu kan pågå i upp till några veckor. Detta kommer att vara möjligt på bara några timmar tack vare genomförandet av projektet och hela processen kommer att kunna genomföras självständigt. Hela processen kommer också att vara betydligt mindre utsatt för mänskliga misstag. Resultatet av projektet kommer främst att ägnas investeringsfonder från blockchain, ICO och mindre entreprenörer och privatpersoner som utför uppgörelser med hjälp av smarta kontrakt. Resultat (Swedish)
25 July 2022
0 references
Projekt hõlmab teadus- ja arendustöö rakendamist tehisintellekti meetodite kasutamisel, et luua arukas, automaatne ja autonoomne vahend nutilepingute turbeauditite tegemiseks – digitaalsed lepingud kujul rakendused tegutsevad Ethereum platvormi blockchain tehnoloogia. Projekti peamine eesmärk on minimeerida vigade võimalust nutilepingus. Me kavatseme seda saavutada tehisintellekti tehnoloogia abil: masinõpe ja teadmiste esindamise viisid, mida süsteemis rakendatakse. Ta on võimeline tuvastama aruka lepingu tegevusega seotud riske ja teavitama oma aktsionäre õigeaegselt. Tänu projekti rakendamisele on võimalik läbi viia nutilepingu koodi automatiseeritud analüüs, et otsida võimalikke vigu, mis paljastavad veebisaidi aruka lepingu, mis on seotud sellega tagatud rahaliste vahendite külmutamise või kaotamisega. Vahend suudab iseseisvalt, ilma analüütiku abita leida vea ja näidata selle päritolu. Turvaauditeid viivad praegu läbi kogenud spetsialistid, kes on plokiahela tehnoloogiast täiesti kvalifitseeritud. Innovatsioon, lisaks tehisintellekti kasutamisele, kiirendab oluliselt auditite läbiviimist, mis võib nüüd kesta kuni paar nädalat. See on võimalik vaid mõne tunni pärast tänu projekti rakendamisele ja kogu protsess saab toimuda iseseisvalt. Kogu protsess on ka märkimisväärselt vähem avatud inimlikule eksimusele. Tulemus projekti on pühendatud peamiselt investeerimisfondid blockchain, ICO ja väiksemad ettevõtjad ja eraisikud, kes täidavad arveldusi kasutades nutilepinguid. Tulemus (Estonian)
25 July 2022
0 references
WOJ.: ŁÓDZKIE, POW.: Łódź
0 references
Identifiers
POIR.01.01.01-00-1193/18
0 references