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
(BatchIngestion) |
(Changed an Item) |
||||||||||||||
| Property / end time | |||||||||||||||
| |||||||||||||||
| Property / end time: 31 October 2023 / rank | |||||||||||||||
| Property / date of last update | |||||||||||||||
| |||||||||||||||
| Property / date of last update: 24 May 2023 / rank | |||||||||||||||
| Property / end time | |||||||||||||||
31 December 2023
| |||||||||||||||
| Property / end time: 31 December 2023 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / date of last update | |||||||||||||||
13 December 2023
| |||||||||||||||
| Property / date of last update: 13 December 2023 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Revision as of 13:36, 13 December 2023
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 December 2023
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 des techniques d’intelligence artificielle pour créer un outil intelligent, automatique et autonome pour la réalisation d’audits de sécurité des contrats intelligents – contrats numériques sous forme d’applications opérant sur la plate-forme 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 des technologies d’IA: L’apprentissage automatique et les 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 aux activités 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 automatiques du code du contrat intelligent afin de détecter d’éventuelles erreurs qui exposent les sites internet associés au contrat intelligent au gel ou à la perte de fonds garantis sur celui-ci. L’outil sera capable de localiser de manière indépendante, sans l’aide d’un analyste, l’erreur et d’indiquer son origine. 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. L’innovation, en plus de l’utilisation de l’intelligence artificielle, sera une accélération significative des audits, qui peut désormais prendre jusqu’à quelques semaines. 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 blockchain, aux ICO et aux petits entrepreneurs et aux particuliers effectuant des règlements en utilisant des contrats intelligents. Le 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 für die Durchführung von Sicherheitsaudits von Smart Contracts &ndash zu schaffen; digitale Verträge in Form von Anwendungen, die auf der Ethereum-Plattform in der Blockchain-Technologie betrieben werden. Das Hauptziel dieses Projekts ist es, die Möglichkeit von Fehlern im Smart Contract zu minimieren. Dies wollen wir durch den Einsatz von KI-Technologien erreichen: maschinelles Lernen und Methoden der Darstellung von Wissen, das im System implementiert wird. Sie wird in der Lage sein, die mit den Aktivitäten des Smart Contract verbundenen Risiken zu erkennen und ihre Aktionäre rechtzeitig zu informieren. Dank der Umsetzung des Projekts wird es möglich sein, automatische Analysen des Smart Contract Codes durchzuführen, um mögliche Fehler zu finden, die die mit Smart Contract verbundenen Websites dem Einfrieren oder Verlust von darauf gesicherten Mitteln aussetzen. Das Tool wird in der Lage sein, unabhängig, ohne die Hilfe eines Analysten, den Fehler zu lokalisieren und seinen Ursprung anzugeben. Derzeit werden Sicherheitsaudits von erfahrenen Spezialisten durchgeführt, die im Bereich der Blockchain-Technologie perfekt qualifiziert sind. Neben dem Einsatz künstlicher Intelligenz wird Innovation eine deutliche Beschleunigung der Audits sein, die nun bis zu einigen Wochen dauern kann. 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 Investmentfonds aus der Blockchain-Industrie, ICOs und kleineren Unternehmern und Privatpersonen gewidmet sein, die mit intelligenten Verträgen Abrechnungen tätigen. Das Ergebnis (German)
7 December 2021
0 references
Het project betreft de uitvoering van O & O-werkzaamheden aan het gebruik van kunstmatige intelligentietechnieken om een intelligent, automatisch en autonoom instrument te creëren voor het uitvoeren van veiligheidsaudits van smart contracts – digitale contracten in de vorm van applicaties die werken op het Ethereum-platform in blockchain-technologie. Het belangrijkste doel van dit project is om de mogelijkheid van fouten in het slimme contract te minimaliseren. We zijn van plan dit te bereiken door gebruik te maken van AI-technologieën: machine learning en manieren om kennis te vertegenwoordigen die in het systeem zal worden geïmplementeerd. Zij zal in staat zijn om de risico’s in verband met de activiteiten van het slimme contract op te sporen en haar aandeelhouders tijdig te informeren. Dankzij de implementatie van het project zal het mogelijk zijn om automatische analyses van de slimme contractcode uit te voeren om mogelijke fouten te vinden die de websites in verband met smart contract blootstellen aan bevriezing of verlies van de daarop beveiligde fondsen. De tool zal onafhankelijk, zonder de hulp van een analist, in staat zijn om 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. Innovatie, naast het gebruik van kunstmatige intelligentie, zal een aanzienlijke versnelling van de audits zijn, die nu tot een paar weken kan duren. Dankzij de implementatie 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 voornamelijk worden gewijd aan investeringsfondsen uit de blockchain-industrie, ICO’s en kleinere ondernemers en particulieren die nederzettingen maken met behulp van slimme contracten. Het 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 lo svolgimento di audit di sicurezza degli smart contract – contratti digitali sotto forma di applicazioni che operano sulla piattaforma Ethereum in tecnologia blockchain. L'obiettivo principale di questo progetto è quello di ridurre al minimo la possibilità di errori nel contratto intelligente. Intendiamo raggiungere questo obiettivo utilizzando le tecnologie di IA: machine learning e modi di rappresentare la conoscenza che verrà implementata nel sistema. Sarà in grado di rilevare i rischi associati alle attività dello smart contract e di informare i propri azionisti in tempo utile. Grazie all'implementazione del progetto, sarà possibile effettuare analisi automatiche del codice smart contract al fine di individuare potenziali errori che espongono i siti associati allo smart contract al congelamento o alla perdita di fondi garantiti su di esso. Lo strumento sarà in grado di individuare autonomamente, senza l'aiuto di un analista, l'errore e indicarne l'origine. Gli audit di sicurezza sono attualmente effettuati da specialisti esperti, perfettamente qualificati nel settore della tecnologia blockchain. L'innovazione, oltre all'utilizzo dell'intelligenza artificiale, sarà una significativa accelerazione degli audit, che ora può richiedere fino a poche settimane. Grazie all'implementazione del progetto, ciò sarà possibile in poche ore e l'intero processo sarà in grado di svolgersi autonomamente. L'intero processo sarà anche significativamente meno esposto all'errore umano. Il risultato del progetto sarà dedicato principalmente ai fondi di investimento dell'industria blockchain, delle ICO e dei piccoli imprenditori e privati che effettuano transazioni utilizzando contratti intelligenti. Il risultato (Italian)
15 January 2022
0 references
El proyecto se refiere a la implementació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 los 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 lograr esto 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 a las actividades del contrato inteligente e informar a sus accionistas a su debido tiempo. Gracias a la implementación del proyecto, será posible realizar análisis automáticos del código de contrato inteligente con el fin de encontrar posibles errores que expongan los sitios web asociados con el contrato inteligente a la congelación o pérdida de fondos asegurados en él. La herramienta será capaz de localizar de forma independiente, sin la ayuda de un analista, el error e indicar su origen. Las auditorías de seguridad son llevadas a cabo actualmente por especialistas experimentados, perfectamente calificados en el área de la tecnología blockchain. La innovación, además del uso de la inteligencia artificial, será una aceleración significativa de las auditorías, que ahora pueden tardar hasta unas pocas semanas. Gracias a la implementación del proyecto, esto será posible en solo unas pocas 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 blockchain, las ICO y los empresarios más pequeños y los individuos privados que realizan acuerdos utilizando contratos inteligentes. El resultado (Spanish)
19 January 2022
0 references
Projektet vedrører gennemførelse af F & U-arbejde vedrørende 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 den intelligente kontrakt. Vi har til hensigt at opnå dette ved hjælp af AI-teknologier: maskinlæring og måder at repræsentere viden, der vil blive implementeret i systemet. Det vil være i stand til at opdage de risici, der er forbundet med aktiviteterne i den intelligente kontrakt og informere sine aktionærer i god tid. Takket være gennemførelsen af projektet vil det være muligt at foretage automatiske analyser af den intelligente kontraktkode for at finde potentielle fejl, der udsætter de websteder, der er forbundet med smart kontrakt, for at fastfryse eller miste midler, der er 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, der er fuldt kvalificerede inden for blockchain-teknologi. Innovation, ud over brugen af kunstig intelligens, vil være en betydelig fremskyndelse af revisioner, som nu kan tage op til et par uger. Takket være gennemførelsen af projektet vil dette være muligt på blot et par timer, 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 dedikeret til investeringsfonde fra blockchain industrien, ICO'er og mindre iværksættere og privatpersoner, der gør bosættelser ved hjælp af smarte kontrakter. Resultatet (Danish)
25 July 2022
0 references
Το έργο αφορά την υλοποίηση έργων Ε & Α σχετικά με τη χρήση τεχνικών τεχνητής νοημοσύνης για τη δημιουργία ενός ευφυούς, αυτόματου και αυτόνομου εργαλείου για τη διενέργεια ελέγχων ασφάλειας έξυπνων συμβάσεων & ndash· ψηφιακές συμβάσεις με τη μορφή εφαρμογών που λειτουργούν στην πλατφόρμα Ethereum στην τεχνολογία blockchain. Ο κύριος στόχος αυτού του έργου είναι να ελαχιστοποιήσει την πιθανότητα σφαλμάτων στην έξυπνη σύμβαση. Σκοπεύουμε να το επιτύχουμε αυτό χρησιμοποιώντας τεχνολογίες τεχνητής νοημοσύνης: μηχανική μάθηση και τρόποι αναπαράστασης της γνώσης που θα εφαρμοστεί στο σύστημα. Θα είναι σε θέση να εντοπίζει τους κινδύνους που συνδέονται με τις δραστηριότητες της έξυπνης σύμβασης και να ενημερώνει εγκαίρως τους μετόχους της. Χάρη στην υλοποίηση του έργου, θα είναι δυνατή η διενέργεια αυτόματων αναλύσεων του κώδικα έξυπνων συμβάσεων, προκειμένου να εντοπιστούν πιθανά σφάλματα που εκθέτουν τους ιστότοπους που σχετίζονται με την έξυπνη σύμβαση σε δέσμευση ή απώλεια κεφαλαίων που εξασφαλίζονται σε αυτό. Το εργαλείο θα είναι σε θέση να εντοπίσει ανεξάρτητα, χωρίς τη βοήθεια ενός αναλυτή, το σφάλμα και να υποδείξει την προέλευσή του. Οι έλεγχοι ασφαλείας πραγματοποιούνται επί του παρόντος από έμπειρους ειδικούς, άριστα καταρτισμένους στον τομέα της τεχνολογίας blockchain. Η καινοτομία, εκτός από τη χρήση της τεχνητής νοημοσύνης, θα αποτελέσει σημαντική επιτάχυνση των ελέγχων, η οποία μπορεί τώρα να διαρκέσει έως και μερικές εβδομάδες. Χάρη στην υλοποίηση του έργου, αυτό θα είναι δυνατό σε λίγες μόνο ώρες και η όλη διαδικασία θα είναι σε θέση να πραγματοποιηθεί αυτόνομα. Η όλη διαδικασία θα είναι επίσης σημαντικά λιγότερο εκτεθειμένη σε ανθρώπινο λάθος. Το αποτέλεσμα του έργου θα αφιερωθεί κυρίως σε επενδυτικά κεφάλαια από τη βιομηχανία blockchain, ICOs και μικρότερους επιχειρηματίες και ιδιώτες που κάνουν οικισμούς με τη χρήση έξυπνων συμβάσεων. Το αποτέλεσμα (Greek)
25 July 2022
0 references
Projekt se odnosi na provedbu istraživanja i razvoja na primjeni 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 platformi Ethereum u blockchain tehnologiji. Glavni je cilj ovog projekta smanjiti mogućnost pogrešaka u pametnom ugovoru. To namjeravamo postići primjenom tehnologija 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 automatske analize pametnog ugovornog koda kako bi se pronašle potencijalne pogreške koje izlažu internetske stranice povezane s pametnim ugovorom zamrzavanjem ili gubitkom sredstava osiguranih na njemu. Alat će moći samostalno, bez pomoći analitičara, locirati pogrešku i navesti njezino podrijetlo. Sigurnosne revizije trenutno provode iskusni stručnjaci, savršeno kvalificirani u području blockchain tehnologije. Inovacije, osim upotrebe umjetne inteligencije, bit će znatno ubrzanje revizija, koje sada mogu potrajati i do nekoliko tjedana. Zahvaljujući provedbi projekta, to će biti moguće za samo nekoliko sati, a cijeli proces moći će se odvijati samostalno. Cijeli proces će također biti znatno manje izložen ljudskim pogreškama. Rezultat projekta bit će prvenstveno namijenjen investicijskim fondovima iz blockchain industrije, ICO-ovima i manjim poduzetnicima te privatnim osobama koje sklapaju nagodbe pomoću pametnih ugovora. Rezultat (Croatian)
25 July 2022
0 references
Proiectul se referă la punerea în aplicare a lucrărilor de cercetare și dezvoltare privind utilizarea tehnicilor de inteligență artificială pentru a crea un instrument inteligent, automat și autonom pentru efectuarea de audituri în materie de siguranță a contractelor și a abordării inteligente; contracte digitale sub formă de aplicații care operează pe platforma Ethereum în tehnologia blockchain. Obiectivul principal al acestui proiect este de a minimiza posibilitatea de erori în contractul inteligent. Intenționăm să realizăm acest lucru prin utilizarea tehnologiilor IA: învățarea automată și modalitățile de reprezentare a cunoștințelor care vor fi implementate în sistem. Acesta va putea detecta riscurile asociate activităților contractului inteligent și își va putea informa acționarii în timp util. Datorită implementării proiectului, va fi posibil să se efectueze analize automate ale codului de contract inteligent pentru a găsi potențiale erori care expun site-urile asociate cu contractul inteligent la înghețarea sau pierderea fondurilor garantate pe acesta. Instrumentul va putea, în mod independent, fără ajutorul unui analist, să localizeze eroarea și să indice originea acesteia. Auditurile de securitate sunt în prezent efectuate de specialiști cu experiență, perfect calificați în domeniul tehnologiei blockchain. Inovarea, pe lângă utilizarea inteligenței artificiale, va reprezenta o accelerare semnificativă a auditurilor, care pot dura până la câteva săptămâni. Datorită implementării proiectului, acest lucru va fi posibil în doar câteva ore, iar întregul proces va putea avea loc în mod autonom. Întregul proces va fi, de asemenea, mult mai puțin expus la erorile umane. Rezultatul proiectului va fi dedicat în primul rând fondurilor de investiții din industria blockchain, ICO-urilor și antreprenorilor mai mici și persoanelor fizice care fac înțelegeri folosind contracte inteligente. Rezultatul (Romanian)
25 July 2022
0 references
Projekt sa týka vykonávania výskumno-vývojových prác 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 kontrakty 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. Chceme to dosiahnuť pomocou technológií umelej inteligencie: strojové učenie a spôsoby reprezentácie vedomostí, ktoré budú implementované v systéme. Bude schopný včas odhaliť riziká spojené s činnosťami inteligentnej zmluvy a včas informovať svojich akcionárov. Vďaka realizácii projektu bude možné vykonávať automatické analýzy inteligentného zmluvného kódu s cieľom nájsť potenciálne chyby, ktoré vystavujú webové stránky spojené s inteligentnou zmluvou zmrazeniu alebo strate finančných prostriedkov, ktoré sú na ňom zabezpečené. Nástroj bude schopný nezávisle, bez pomoci analytika, nájsť chybu a označiť jej pôvod. Bezpečnostné audity v súčasnosti vykonávajú skúsení odborníci, ktorí sú dokonale kvalifikovaní v oblasti technológie blockchainu. Inovácia, okrem využívania umelej inteligencie, bude významným zrýchlením auditov, ktoré teraz môžu trvať až niekoľko týždňov. Vďaka realizácii projektu to bude možné len za pár hodín 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 blockchain priemyslu, ICO a menších podnikateľov a súkromných osôb, ktoré vytvárajú osady pomocou inteligentných zmlúv. Výsledok (Slovak)
25 July 2022
0 references
Il-proġett jikkonċerna l-implimentazzjoni ta’ xogħlijiet ta’ R & Ż dwar l-użu ta’ tekniki ta’ intelliġenza artifiċjali biex tinħoloq għodda intelliġenti, awtomatika u awtonoma għat-twettiq ta’ awditi tas-sikurezza ta’ kuntratti undash intelliġenti; kuntratti diġitali fil-forma ta’ applikazzjonijiet li joperaw fuq il-pjattaforma Ethereum fit-teknoloġija blockchain. L-għan ewlieni ta’ dan il-proġett huwa li jimminimizza l-possibbiltà ta’ żbalji fil-kuntratt intelliġenti. Għandna l-intenzjoni li niksbu dan billi nużaw it-teknoloġiji tal-IA: it-tagħlim awtomatiku u l-modi ta’ 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 jitwettqu analiżijiet awtomatiċi tal-kodiċi tal-kuntratt intelliġenti sabiex jinstabu żbalji potenzjali li jesponu l-websajts assoċjati mal-kuntratt intelliġenti għall-iffriżar jew it-telf ta’ fondi assigurati fuqu. L-għodda se tkun tista’ b’mod indipendenti, mingħajr l-għajnuna ta’ analista, issib l-iżball u tindika l-oriġini tiegħu. L-awditi tas-sigurtà bħalissa jitwettqu minn speċjalisti b’esperjenza, ikkwalifikati perfettament fil-qasam tat-teknoloġija blockchain. L-innovazzjoni, minbarra l-użu tal-intelliġenza artifiċjali, se tkun aċċellerazzjoni sinifikanti tal-awditi, li issa tista’ tieħu sa ftit ġimgħat. Bis-saħħa tal-implimentazzjoni tal-proġett, dan se jkun possibbli fi ftit sigħat biss, u l-proċess kollu se jkun jista’ jsir b’mod awtonomu. Il-proċess kollu se jkun ukoll sinifikament inqas esposti għal żball tal-bniedem. Ir-riżultat tal-proġett se jkun iddedikat primarjament għall-fondi ta’ investiment mill-industrija tal-blockchain, l-ICOs u l-intraprendituri iżgħar u l-individwi privati li jagħmlu l-insedjamenti bl-użu ta’ kuntratti intelliġenti. Ir-riżultat (Maltese)
25 July 2022
0 references
O projeto diz respeito à implementação de I & D trabalhos 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 no contrato inteligente. Pretendemos alcançar este objetivo através da utilização de tecnologias 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 à execução do projeto, será possível realizar análises automáticas do código do contrato inteligente, a fim de encontrar potenciais erros que exponham os sítios Web associados ao contrato inteligente ao congelamento ou perda de fundos garantidos sobre o mesmo. 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 na área 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 levar até algumas semanas. Graças à implementação do projeto, isso será possível em apenas algumas horas, e todo o processo poderá ocorrer 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 da indústria de blockchain, ICOs e pequenos empresários e particulares que fazem assentamentos usando contratos inteligentes. O resultado (Portuguese)
25 July 2022
0 references
Hanke koskee tekoälytekniikoiden käyttöä koskevien t & k-töiden toteuttamista älykkään, automaattisen ja itsenäisen välineen luomiseksi älysopimusten ja -sopimusten turvallisuustarkastusten suorittamiseksi; digitaaliset sopimukset ovat sovelluksia, jotka toimivat Ethereum-alustalla lohkoketjutekniikassa. Hankkeen päätavoitteena on minimoida virheiden mahdollisuus älykkäässä sopimuksessa. Tavoitteenamme on saavuttaa tämä tekoälyteknologioiden avulla: koneoppimista ja tapoja edustaa tietoa, joka toteutetaan järjestelmässä. Se pystyy havaitsemaan älykkään sopimuksen toimintaan liittyvät riskit ja ilmoittamaan osakkeenomistajilleen hyvissä ajoin. Hankkeen toteutuksen ansiosta älysopimuskoodista voidaan tehdä automaattisia analyyseja, jotta voidaan löytää mahdollisia virheitä, jotka altistavat älykkääseen sopimukseen liittyvät verkkosivustot jäädyttämään tai menettämään siihen turvatut varat. 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ä lohkoketjuteknologian alalla. Tekoälyn käytön lisäksi innovaatiot nopeuttavat merkittävästi auditointeja, jotka voivat nyt kestää jopa muutaman viikon. Hankkeen toteutuksen ansiosta tämä on mahdollista vain muutamassa tunnissa, ja koko prosessi voidaan toteuttaa itsenäisesti. Koko prosessi on myös huomattavasti vähemmän altis inhimillisille virheille. Hankkeen tulos kohdennetaan pääasiassa lohkoketjuteollisuuden sijoitusrahastoihin, ICO: iin ja pienempiin yrittäjiin ja yksityishenkilöihin, jotka tekevät maksuja älykkäillä sopimuksilla. Tulos (Finnish)
25 July 2022
0 references
Projekt se nanaša na izvajanje raziskovalnih in razvojnih del na področju uporabe tehnik umetne inteligence za oblikovanje inteligentnega, samodejnega in avtonomnega orodja za izvajanje varnostnih revizij pametnih pogodb – 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 tehnologij umetne inteligence: strojno učenje in načini predstavljanja znanja, ki se bodo izvajali v sistemu. Lahko bo odkrila tveganja, povezana z dejavnostmi pametne pogodbe, in pravočasno obvestila svoje delničarje. Zahvaljujoč izvedbi projekta bo mogoče izvesti avtomatske analize kode pametne pogodbe, da bi našli morebitne napake, ki spletne strani, povezane s pametno pogodbo, izpostavljajo zamrznitvi ali izgubi sredstev, zavarovanih z njim. Orodje bo lahko neodvisno, brez pomoči analitika, odkrilo napako in navedlo njegov izvor. Varnostne revizije trenutno izvajajo izkušeni strokovnjaki, ki so popolnoma usposobljeni na področju tehnologije veriženja blokov. Inovacije bodo poleg uporabe umetne inteligence znatno pospešile revizije, ki lahko zdaj trajajo do nekaj tednov. Zahvaljujoč izvedbi projekta bo to mogoče v samo nekaj urah, celoten proces pa bo lahko potekal samostojno. Celoten proces bo tudi bistveno manj izpostavljen človeškim napakam. Rezultat projekta bo namenjen predvsem investicijskim skladom iz blockchain industrije, mednarodnih organizacij ICO ter manjših podjetnikov in posameznikov, ki naseljujejo s pametnimi pogodbami. Rezultat (Slovenian)
25 July 2022
0 references
Projekt se týká provádění výzkumných a vývojových prací na využívání technik umělé inteligence za účelem 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 blockchain technologii. Hlavním cílem tohoto projektu je minimalizovat možnost chyb v inteligentní smlouvě. Toho chceme dosáhnout pomocí technologií umělé inteligence: strojové učení a způsoby reprezentace znalostí, které budou implementovány v systému. Bude schopna odhalit rizika spojená s činnostmi inteligentní smlouvy a včas informovat své akcionáře. Díky realizaci projektu bude možné provést automatické analýzy inteligentního smluvního kódu, aby bylo možné nalézt možné chyby, které odhalí webové stránky spojené s inteligentní smlouvou zmrazením nebo ztrátou prostředků, které jsou na něm zajištěny. Nástroj bude schopen nezávisle, bez pomoci analytika, najít chybu a uvést její původ. Bezpečnostní audity jsou v současné době prováděny zkušenými odborníky, dokonale kvalifikovanými v oblasti 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ů. Díky realizaci projektu to bude možné během několika hodin a celý proces se bude moci uskutečnit autonomně. 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 blockchainového průmyslu, ICO a menším podnikatelům a soukromým osobám, které vytvářejí osady pomocí inteligentních smluv. Výsledek (Czech)
25 July 2022
0 references
Projektas susijęs su mokslinių tyrimų ir taikomosios veiklos darbų, susijusių su dirbtinio intelekto metodų naudojimu siekiant sukurti pažangią, automatinę ir savarankišką priemonę išmaniųjų sutarčių ir išmaniųjų sutarčių saugos auditams atlikti, įgyvendinimu; skaitmeninės sutartys programų, veikiančių Ethereum platforma blockchain technologijos forma. Pagrindinis šio projekto tikslas yra sumažinti klaidų galimybę išmaniojoje sutartyje. Mes ketiname tai pasiekti naudodami dirbtinio intelekto technologijas: mašininis mokymasis ir žinių pateikimo būdai, kurie bus įdiegti sistemoje. Jis galės aptikti 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 rasti galimas klaidas, dėl kurių svetainės, susijusios su išmaniąja sutartimi, įšaldomos arba prarandamos lėšos. Įrankis galės savarankiškai, be analitiko pagalbos, rasti klaidą ir nurodyti jos kilmę. Saugumo auditus šiuo metu atlieka patyrę specialistai, puikiai kvalifikuoti blockchain technologijos srityje. Inovacijos, be dirbtinio intelekto naudojimo, labai paspartins auditus, o tai dabar gali užtrukti iki kelių savaičių. Projekto įgyvendinimo dėka tai bus įmanoma vos per kelias valandas, o visas procesas galės vykti autonomiškai. Visas procesas taip pat bus žymiai mažiau veikiamas žmogaus klaidų. Projekto rezultatas bus skirtas visų pirma investiciniams fondams iš blockchain pramonės, ICO ir mažesnių verslininkų ir privačių asmenų, kurie atsiskaito naudodamiesi išmaniosiomis sutartimis. Rezultatas (Lithuanian)
25 July 2022
0 references
Projekts attiecas uz pētniecības un izstrādes darbu īstenošanu saistībā ar mākslīgā intelekta metožu izmantošanu, lai izveidotu inteliģentu, automātisku un autonomu rīku viedo līgumu un viedo līgumu drošības revīziju veikšanai; digitālie līgumi lietojumprogrammu veidā, kas darbojas Ethereum platformā blokķēdes tehnoloģijā. Šā projekta galvenais mērķis ir līdz minimumam samazināt kļūdu iespējamību viedajā līgumā. Mēs plānojam to panākt, izmantojot mākslīgā intelekta tehnoloģijas: 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 viedā līguma koda automātisku analīzi, lai atrastu iespējamās kļūdas, kas ar viedlīgumu saistītās tīmekļa vietnes pakļauj ar viedlīgumiem saistīto līdzekļu iesaldēšanai vai zaudēšanai. 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 blokķēžu tehnoloģiju jomā. Inovācija papildus mākslīgā intelekta izmantošanai ievērojami paātrinās revīzijas, kas tagad var ilgt līdz pat dažām nedēļām. Pateicoties projekta īstenošanai, tas būs iespējams tikai dažu stundu laikā, un viss process varēs notikt autonomi. Arī viss process būs ievērojami mazāk pakļauts cilvēka kļūdām. Projekta rezultāts galvenokārt tiks veltīts investīciju fondiem no blokķēdes nozares, 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
Проектът се отнася до изпълнението на научноизследователски и развойни дейности във връзка с използването на техники на изкуствен интелект за създаване на интелигентен, автоматичен и автономен инструмент за извършване на одити на безопасността на интелигентни договори – дигитални договори под формата на приложения, работещи на платформата Ethereum в блокчейн технологията. Основната цел на този проект е да се сведе до минимум възможността от грешки в интелигентния договор. Ние възнамеряваме да постигнем това чрез използване на технологии за изкуствен интелект: машинно обучение и начини за представяне на знания, които ще бъдат внедрени в системата. Тя ще може да открива рисковете, свързани с дейностите по интелигентния договор, и своевременно да информира своите акционери. Благодарение на изпълнението на проекта ще бъде възможно да се извършват автоматични анализи на кода на интелигентния договор, за да се открият потенциални грешки, които излагат уебсайтовете, свързани с интелигентния договор, на замразяване или загуба на средства, обезпечени по него. Инструментът ще може самостоятелно, без помощта на анализатор, да намери грешката и да посочи нейния произход. Понастоящем одитите на сигурността се извършват от опитни специалисти, перфектно квалифицирани в областта на блокчейн технологията. Иновациите, в допълнение към използването на изкуствен интелект, ще бъдат значително ускоряване на одитите, което сега може да отнеме до няколко седмици. Благодарение на изпълнението на проекта това ще бъде възможно само за няколко часа и целият процес ще може да се проведе самостоятелно. Целият процес също ще бъде значително по-малко изложен на човешка грешка. Резултатът от проекта ще бъде посветен предимно на инвестиционни фондове от блокчейн индустрията, ICO и по-малки предприемачи и частни лица, които правят селища с помощта на интелигентни договори. Резултатът (Bulgarian)
25 July 2022
0 references
A projekt a mesterségesintelligencia-technikák alkalmazásával kapcsolatos K+F munkák végrehajtására irányul, hogy intelligens, automatikus és autonóm eszközt hozzon létre az intelligens szerződések és andash biztonsági ellenőrzéseinek elvégzésére; digitális szerződések az Ethereum platformon működő alkalmazások formájában a blokklánc-technológiában. A projekt fő célja az intelligens szerződés hibáinak minimalizálása. Ezt a mesterségesintelligencia-technológiák használatával kívánjuk elérni: a gépi tanulás és a tudás reprezentációjának módjai, amelyek a rendszerben bevezetésre kerülnek. Képes lesz felismerni az intelligens szerződés tevékenységeihez kapcsolódó kockázatokat, és időben tájékoztatni részvényeseit. A projekt megvalósításának köszönhetően lehetőség nyílik az intelligens szerződési kód automatikus elemzésére annak érdekében, hogy olyan potenciális hibákat találjanak, amelyek az intelligens szerződéssel kapcsolatos weboldalakat befagyasztják vagy elveszítik. 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. A biztonsági ellenőrzéseket jelenleg tapasztalt szakemberek végzik, akik tökéletesen képzettek a blokklánc technológia területén. Az innováció a mesterséges intelligencia használata mellett az ellenőrzések jelentős felgyorsítását is jelenti, ami most akár néhány hétig is eltarthat. A projekt megvalósításának köszönhetően ez néhány órán belül lehetséges lesz, és az egész folyamat önállóan fog végbemenni. Az egész folyamat jelentősen kevésbé lesz kitéve az emberi hibáknak. A projekt eredményeit elsősorban a blokklánc-ipar, az ICO-k és a kisebb vállalkozók és magánszemélyek befektetési alapjaira fordítják, amelyek intelligens szerződéseket használnak. Az eredmény (Hungarian)
25 July 2022
0 references
Baineann an tionscadal le cur chun feidhme oibreacha T & F maidir le húsáid teicnící intleachta saorga chun uirlis chliste, uathoibríoch agus uathrialach a chruthú chun iniúchtaí sábháilteachta 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í sa chonradh cliste a íoslaghdú. Tá sé beartaithe againn é sin a bhaint amach trí theicneolaíochtaí IS a úsáid: 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í le cur chun feidhme an tionscadail, beifear in ann anailísí uathoibríocha a dhéanamh ar an gcód conartha cliste chun earráidí a d’fhéadfadh a bheith ann a aimsiú a nochtann na suíomhanna gréasáin a bhaineann le conradh cliste do chalcadh nó caillteanas cistí a fuarthas air. 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á breá cáilithe i réimse na teicneolaíochta blockchain. Cuirfidh an nuálaíocht, chomh maith le húsáid na hintleachta saorga, dlús suntasach le hiniúchtaí, rud a d’fhéadfadh suas le cúpla seachtain a thógáil anois. A bhuíochas le cur i bhfeidhm an tionscadail, beidh sé seo indéanta i gceann cúpla uair an chloig, 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. Beidh toradh an tionscadail tiomnaithe go príomha do chistí infheistíochta ón tionscal blocshlabhra, ICOnna agus fiontraithe beaga agus daoine aonair príobháideacha a dhéanann lonnaíochtaí ag baint úsáide as conarthaí cliste. An toradh (Irish)
25 July 2022
0 references
Projektet avser genomförandet av FoU-arbeten på 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 &ndash. digitala kontrakt i form av applikationer som arbetar på Ethereum-plattformen inom blockchain-teknik. Huvudsyftet med detta projekt är att minimera risken för fel i det smarta kontraktet. 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 verksamheten i det smarta kontraktet och informera sina aktieägare i god tid. Tack vare genomförandet av projektet kommer det att vara möjligt att utföra automatiska analyser av den smarta kontraktskoden för att hitta potentiella fel som exponerar webbplatser i samband med smarta kontrakt för att frysa eller förlora medel som är säkrade på den. Verktyget kommer att kunna självständigt, utan hjälp av en analytiker, lokalisera felet och ange dess ursprung. Säkerhetsrevisioner utförs för närvarande av erfarna specialister, perfekt kvalificerade inom området blockchain-teknik. Innovation, utöver användningen av artificiell intelligens, kommer att innebära en betydande ökning av revisionerna, vilket nu kan ta upp till några veckor. Tack vare genomförandet av projektet kommer detta att vara möjligt på bara några timmar, och hela processen kommer att kunna ske självständigt. Hela processen kommer också att vara betydligt mindre utsatt för mänskliga fel. Resultatet av projektet kommer främst att ägnas åt investeringsfonder från blockchain-branschen, ICO och mindre entreprenörer och privatpersoner som gör bosättningar med hjälp av smarta kontrakt. Resultatet (Swedish)
25 July 2022
0 references
Projekt hõlmab tehisintellekti tehnoloogiate kasutamist käsitlevate teadus- ja arendustööde rakendamist arukate, automaatsete ja autonoomsete vahendite loomiseks arukate lepingute ohutusauditite ja -auditite tegemiseks; digitaalsed lepingud kujul rakendused tegutsevad Ethereum platvormi blockchain tehnoloogia. Projekti peamine eesmärk on minimeerida arukas lepingus vigade esinemise võimalust. Me kavatseme seda saavutada tehisintellekti tehnoloogiate abil: masinõpe ja teadmiste esindamise viisid, mida süsteemis rakendatakse. Ta suudab tuvastada aruka lepingu tegevusega seotud riskid ja teavitada sellest õigeaegselt oma aktsionäre. Tänu projekti elluviimisele on võimalik läbi viia nutika lepingukoodi automaatseid analüüse, et leida võimalikke vigu, mis paljastavad nutika lepinguga seotud veebisaidid sellele tagatud rahaliste vahendite külmutamiseks või kaotamiseks. Tööriist suudab iseseisvalt ilma analüütiku abita leida vea ja näidata selle päritolu. Turvaauditeid viivad praegu läbi kogenud spetsialistid, kes on täiuslikult kvalifitseeritud plokiahela tehnoloogia valdkonnas. Lisaks tehisintellekti kasutamisele kiirendab innovatsioon märkimisväärselt auditeid, mis võivad nüüd kesta kuni paar nädalat. Tänu projekti rakendamisele on see võimalik vaid mõne tunni pärast ja kogu protsess saab toimuda iseseisvalt. Samuti on kogu protsess oluliselt vähem mõjutatud inimlikest vigadest. Projekti tulemus on pühendatud peamiselt plokiahela tööstuse, ICOde ja väiksemate ettevõtjate ning eraisikute investeerimisfondidele, kes teevad arukaid lepinguid kasutades arveldusi. Tulemus (Estonian)
25 July 2022
0 references
WOJ.: ŁÓDZKIE, POW.: Łódź
0 references
13 December 2023
0 references
Identifiers
POIR.01.01.01-00-1193/18
0 references