Deel deze pagina, de waarheid is in ieders belang.

toepassingen, uitdagingen en toekomstige trends

In relatie tot certificaten van “common ownership“, maakt het volgende artikel duidelijk wat de meerwaarde is van het ver-democratiseren van onze soevereine gronden, privaatrechtelijk, met behulp van een zeer goedkope manier om contracten met elkaar aan te gaan. En daarmee certificaten van gezamenlijk eigendom, het meest duurzame waarden systeem is.

PS. Alle hyperlinks in de volgende tekst, verwijzen naar het originele document.

• Gepubliceerd:18 april 2021

• Shafaq Naheed Khan ,
• Faiza Loukil ,
• Chirine Ghedira-Guegan ,
• Elhadj Benkhelifa &
• Anoud Bani-Hani 

Peer-to-peer netwerken en toepassingen volume 14 , Pagina’s2901–2925 ( 2021 ) Citeer dit artikel

• 37k Toegangen
• 17 citaten
• 22 Altmetrisch
• Statistiekendetails

Abstract

In de afgelopen jaren heeft de snelle ontwikkeling van blockchain-technologie en cryptocurrencies de financiële sector beïnvloed door een nieuwe crypto-economie te creëren. Vervolgens zijn de volgende generatie gedecentraliseerde applicaties ontstaan ​​zonder tussenkomst van een vertrouwde derde partij dankzij de opkomst van slimme contracten, dit zijn computerprotocollen die zijn ontworpen om de onderhandeling en overeenkomst tussen meerdere onbetrouwbare partijen automatisch te vergemakkelijken, verifiëren en af ​​te dwingen. Ondanks de positieve kant van slimme contracten, blijven verschillende zorgen de acceptatie ervan ondermijnen, zoals beveiligingsrisico’s, kwetsbaarheden en juridische problemen. In dit artikel presenteren we een uitgebreid overzicht van blockchain-enabled slimme contracten vanuit zowel technisch als gebruiksoogpunt. Om dit te doen, presenteren we een taxonomie van bestaande blockchain-enabled smart contract-oplossingen, categoriseer de opgenomen onderzoekspapers en bespreek de bestaande op slimme contracten gebaseerde onderzoeken. Op basis van de bevindingen van de enquête identificeren we een reeks uitdagingen en openstaande kwesties die in toekomstige studies moeten worden aangepakt. Ten slotte identificeren we toekomstige trends.

Invoering

Al meer dan een decennium is de blockchain gevestigd als een technologie waarbij een gedistribueerde database alle transacties registreert die in een peer-to-peer-netwerk hebben plaatsgevonden. Het wordt beschouwd als een gedistribueerd computerparadigma dat het probleem met betrekking tot het vertrouwen van een gecentraliseerde partij met succes overwint. In een blockchain-netwerk werken verschillende knooppunten dus samen om een ​​set gedeelde transactierecords op een gedistribueerde manier te beveiligen en te onderhouden zonder afhankelijk te zijn van een vertrouwde partij. In 2008 introduceerde Satoshi Nakamoto Bitcoin [ 69 ], de eerste voorgestelde cryptocurrency die de blockchain introduceerde als een gedistribueerde infrastructurele technologie. Het stelde gebruikers in staat om veilig crypto-valuta’s, ook wel “bitcoins” genoemd, over te dragen zonder een gecentraliseerde toezichthouder. Trouwens, Ethereum [ 16], NXT [ 71 ] en Hyperledger Fabric [ 4 ] werden ook voorgesteld als op blockchain gebaseerde systemen die worden gebruikt voor de cryptocurrency. In tegenstelling tot Bitcoin kunnen ze slimme contracten (SC) gebruiken. Blockchain-technologie overlapt traditionele contracten door de voorwaarden van overeenkomsten tussen twee of meer partijen op te nemen, maar overtreft deze dankzij slimme contracten door de uitvoering van overeenkomsten in een gedistribueerde omgeving te automatiseren wanneer aan voorwaarden wordt voldaan.

Slimme contracten zijn uitvoerbare codes die bovenop de blockchain worden uitgevoerd om een ​​overeenkomst tussen onbetrouwbare partijen te vergemakkelijken, uit te voeren en af ​​te dwingen zonder tussenkomst van een vertrouwde derde partij [ 16 ]. Slimme contracten gaven netwerkautomatisering en de mogelijkheid om papieren contracten om te zetten in digitale contracten. In vergelijking met traditionele contracten stelden slimme contracten gebruikers in staat hun overeenkomsten en vertrouwensrelaties te codificeren door geautomatiseerde transacties aan te bieden zonder toezicht van een centrale autoriteit [ 89]. Om contractmanipulatie te voorkomen, worden slimme contracten gekopieerd naar elk knooppunt van het blockchain-netwerk. Door de uitvoering van de operaties door computers en diensten die worden geleverd door blockchain-platforms mogelijk te maken, kunnen menselijke fouten worden verminderd om geschillen over dergelijke contracten te voorkomen.

Hoewel slimme contracten de afgelopen jaren vooruitgang hebben geboekt, staan ​​ze nog steeds voor veel uitdagingen. Zo vond er in 2016 een beruchte kwaadaardige aanval plaats toen het slimme contract van de Decentralized Autonomous Organization (DAO) werd gemanipuleerd om ongeveer 2 miljoen Ether te stelen.^Voetnoot1 (50 miljoen USD op het moment) vanwege de kwetsbaarheid voor herintreding [ 103 ]. Naast het kwetsbaarheidsprobleem, worden slimme contracten geconfronteerd met verschillende uitdagingen, waaronder privacy-, juridische en prestatieproblemen.

Om actuele onderwerpen over slimme contracten te begrijpen, voeren we een uitgebreid onderzoek uit, met als doel onderzoeksgebieden die nader onderzoek nodig hebben, beter te identificeren en in kaart te brengen. De focus van dit onderzoek is het bestuderen van slimme contracten vanuit technisch oogpunt (bijv. Codificatie, beveiliging, prestatieproblemen) en het gebruiksoogpunt (bijv. slimme contracttoepassingen in financiën, gezondheidszorg, enz.). De belangrijkste bijdragen van dit artikel worden als volgt samengevat:

1. 1.We stellen een taxonomie voor van onderzoeken op basis van slimme contracten met blockchain, waaronder twee categorieën, namelijk SC-verbetering en SC-gebruik.
2. 2.We categoriseren 200 papers die we hebben geëxtraheerd uit verschillende digitale databases en bespreken de bestaande op slimme contracten gebaseerde onderzoeken.
3. 3.Op basis van de bevindingen van de enquête identificeren we een reeks slimme contractuitdagingen en openstaande problemen die in toekomstige studies moeten worden aangepakt. Daarom biedt deze enquête een nuttige referentie voor de onderzoekers die zich in hun toekomstige studies willen richten op de verbetering of het gebruik van slimme contracten.
4. 4.Ten slotte bespreken we toekomstige trends van slimme contracten en leggen we uit hoe ze betere oplossingen bieden voor de open onderzoeksuitdagingen.

Gezien bovenstaande bijdragen is de rest van dit artikel als volgt opgebouwd. Hoofdstuk  2 bespreekt achtergrondinformatie over blockchain- en slimme contracttechnologieën. Sectie  3 bespreekt bestaande beoordelingen die op slimme contracten gebaseerde benaderingen bestuderen. Hoofdstuk  4 beschrijft de gehanteerde onderzoeksmethodologie en de oplossingstaxonomie die wordt gebruikt om bestaande slimme contractgebaseerde oplossingen te categoriseren. In secties  5 – 8 presenteren we bestaande vorderingen op het gebied van door modellering aangestuurde verbetering van slimme contracten, door optimalisatie aangestuurde verbetering van slimme contracten, door hulpbronnen aangestuurd slim contractgebruik en door samenwerkingsgericht gebruik van slimme contracten tussen organisaties. Sectie  9bespreekt de onderzoeksresultaten door uitdagingen en toekomstige trends in het bestudeerde veld te introduceren. Ten slotte besluit paragraaf  10 het artikel.

Achtergrond

Zoals eerder vermeld, is blockchain-technologie naar voren gekomen als een gedistribueerd computerparadigma dat met succes het probleem overwint dat verband houdt met het vertrouwen van een gecentraliseerde partij. In een blockchain-netwerk werken verschillende knooppunten dus samen om een ​​set gedeelde transactierecords op een gedistribueerde manier te beveiligen en te onderhouden zonder afhankelijk te zijn van een vertrouwde partij. Specifieke knooppunten in het netwerk, bekend als miners, zijn verantwoordelijk voor het toevoegen van nieuwe blokken aan een gedistribueerd grootboek dat bekend staat als de blockchain.

Het eerste systeem was Bitcoin [ 69 ], waarmee gebruikers de valuta (bitcoins) veilig konden overboeken zonder een gecentraliseerde toezichthouder. In het blockchain-netwerk zijn miners verantwoordelijk voor het verzamelen van transacties, het oplossen van uitdagende rekenpuzzels (proof-of-work) om consensus te bereiken en het toevoegen van de transacties als blokken aan de blockchain. Sindsdien zijn er verschillende op blockchain gebaseerde ontwikkelingsplatforms voorgesteld die de mogelijkheid bieden om slimme contracten te hosten/gebruiken om automatisch gebeurtenissen en acties uit te voeren, namelijk NXT [ 71 ], Ethereum [ 16 ], Hyperledger Fabric [ 4 ], enz.

We beschrijven hieronder het operationele proces van slimme contracten en bespreken vervolgens enkele blockchain-platforms die de ontwikkeling van slimme contracten ondersteunen.

Operationeel proces van slimme contracten

Een smart contract is een gemeenschappelijke overeenkomst tussen twee of meer partijen. Het slaat informatie op, verwerkt invoer en schrijft uitvoer dankzij de vooraf gedefinieerde functies [ 16 ]. Het slimme contract kan bijvoorbeeld de constructorfunctie definiëren die het maken van een slim contract mogelijk maakt. Het hosten van een nieuw slim contract in de blockchain wordt mogelijk gemaakt door de constructorfunctie aan te roepen via een transactie, waarvan de afzender de eigenaar van het slimme contract wordt. Een zelfvernietigingsfunctie is een ander voorbeeld van de functies die in een slim contract kunnen worden gedefinieerd. Gewoonlijk kan alleen de eigenaar van het slimme contract het contract vernietigen door deze functie aan te roepen.

Een slim contract is waarschijnlijk een klasse die toestandsvariabelen, functies, functiemodificatoren, gebeurtenissen en structuren [ 16 ] omvat en die bedoeld is om relevante gebeurtenissen en acties uit te voeren en te controleren volgens de contractvoorwaarden. Bovendien kan het zelfs andere slimme contracten bellen. Elk slim contract bevat statussen en functies. De eerste zijn variabelen die bepaalde gegevens bevatten of het portefeuilleadres van de eigenaar (dwz het adres waarop het slimme contract is geïmplementeerd). We kunnen onderscheid maken tussen twee toestandstypen, namelijk constante toestanden , die nooit kunnen worden gewijzigd, en beschrijfbare toestanden , die toestanden in de blockchain opslaan. De laatste zijn stukjes code die staten kunnen lezen of wijzigen. We kunnen onderscheid maken tussen twee functietypes, namelijk:alleen-lezen functies , waarvoor geen gas nodig is ^Voetnoot2 om functies uit te voeren en te schrijven waarvoor gas nodig is, omdat de toestandsovergangen moeten worden gecodeerd in een nieuw blok van de blockchain. Bovendien is betalende valuta vereist om oneindig slimme contractruns te voorkomen.

Zoals eerder vermeld, wordt een slim contract gehost in de blockchain door de constructorfunctie ervan aan te roepen via een transactie die is ingediend bij het blockchain-netwerk, waarna de constructorfunctie wordt uitgevoerd en de uiteindelijke code van het slimme contract wordt opgeslagen op de blockchain. Eenmaal geïmplementeerd, kreeg de maker van het slimme contract de geretourneerde parameters (bijv. Contractadres), waarna gebruikers de functie van elk beschikbaar slim contract kunnen aanroepen door een transactie te verzenden.

Platformen voor slimme contracten

Slimme contracten kunnen worden ontwikkeld en geïmplementeerd in verschillende blockchain-platforms (bijv. NXT, Ethereum en Hyperledger Fabric). Verschillende platforms bieden onderscheidende kenmerken voor het ontwikkelen van slimme contracten, waaronder programmeertalen voor contracten, uitvoering van contractcodes en beveiligingsniveaus. Sommige platforms ondersteunen programmeertalen op hoog niveau om slimme contracten te ontwikkelen.

• Bitcoin [ 69 ] is een openbaar blockchainplatform dat kan worden gebruikt om cryptocurrency-transacties te verwerken, maar met een zeer beperkte rekencapaciteit. Bitcoin gebruikt een op stapels gebaseerde bytecode-scripttaal. De mogelijkheid om een ​​slim contract met rijke logica te maken met behulp van de Bitcoin-scripttaal is zeer beperkt. Er zouden grote veranderingen moeten worden aangebracht in zowel de mijnfuncties als de mijnbouwstimuleringsregelingen om slimme contracten op de blockchain van Bitcoin mogelijk te maken [ 52 ].
• NXT [ 71 ] is een open-source blockchainplatform dat volledig vertrouwt op een proof-of-stake consensusprotocol. Het bevat een selectie van slimme contracten die momenteel bestaan. Het is echter niet Turing-compleet, wat betekent dat alleen de bestaande sjablonen kunnen worden gebruikt en er geen gepersonaliseerd slim contract kan worden ingezet.
• Ethereum [ 16 ] is het eerste blockchainplatform voor het ontwikkelen van slimme contracten. Het ondersteunt geavanceerde en op maat gemaakte slimme contracten met behulp van een Turing-complete virtuele machine, de Ethereum virtual machine (EVM). EVM is de runtime-omgeving voor slimme contracten en elk knooppunt in het Ethereum-netwerk voert een EVM-implementatie uit en voert dezelfde instructies uit. Solidity, als een programmeertaal op hoog niveau, wordt gebruikt om slimme contracten te schrijven, en de contractcode wordt gecompileerd tot EVM-bytecode en geïmplementeerd op de blockchain voor uitvoering. Ethereum is momenteel het meest populaire ontwikkelplatform voor slimme contracten en kan worden gebruikt om verschillende soorten gedecentraliseerde applicaties (DApps) in verschillende domeinen te ontwerpen.
• In plaats van de openbare blockchain, zoals Bitcoin en Ethereum, dat elke partij aan het netwerk kan deelnemen, heeft Hyperledger Fabric [ 4 ] toestemming met alleen een verzameling bedrijfsgerelateerde organisaties die kunnen deelnemen via een lidmaatschapsserviceprovider, en het netwerk is gebouwd van de peers wiens eigendom zijn en worden bijgedragen door die organisaties. Hyperledger Fabric is een open-source gedistribueerd grootboektechnologieplatform op ondernemingsniveau, voorgesteld door IBM en ondersteunt slimme contracten. Het biedt modulariteit en veelzijdigheid voor een brede reeks industriële use-cases. De modulaire architectuur voor Hyperledger Fabric biedt plaats aan de diversiteit van zakelijke use-cases door middel van plug-and-play-componenten.

Slimme contracten van Ethereum en Hyperledger Fabric verschillen in meerdere opzichten. Terwijl Solidity de bekende programmeertaal is die wordt gebruikt om slimme Ethereum-contracten te schrijven, ondersteunt Hyperledger Fabric meertalige slimme contracten, zoals Go, Java en Javascript [ 4 ]. Voor de uitvoering van de contractcode wordt de contractcode in Ethereum opgenomen in een transactie, die wordt verspreid in het peer-to-peer-netwerk, en elke miner die deze transactie ontvangt, kan deze uitvoeren op zijn lokale virtuele machine [ 16 ]]. Wanneer in Hyperledger Fabric een transactie door de applicatie wordt aangemaakt, wordt de transactie alleen uitgevoerd en ondertekend door gespecificeerde peers (endorsing peers). Na ontvangst van het transactievoorstel van de applicatie voert elk van deze onderschrijvende peers dit zelfstandig uit door de kettingcode op te roepen waarnaar de transactie verwijst [ 4 ]. Voor beveiliging wordt chaincode uitgevoerd binnen een containeromgeving (bijv. Docker) voor isolatie.

Deze op blockchain gebaseerde ontwikkelingsplatforms worden gebruikt in de bestaande onderzoeken die we in de volgende secties beschrijven.

Gerelateerde literatuuroverzichten/enquêtes

We geven een kort overzicht van de bestaande beoordelingen die slimme contracten met blockchain hebben bestudeerd.

Hoewel er verschillende literatuurrecensies/-enquêtes zijn gepubliceerd om de op blockchain gebaseerde slimme contracten te bestuderen, zijn er nog steeds enkele voortdurende uitdagingen die niet zijn aangepakt. Tabel  1 geeft een vergelijkende samenvatting van de bestaande blockchain-enabled smart contract reviews/enquêtes volgens zes criteria, namelijk het voorstellen van een taxonomie, het overwegen van verschillende blockchain-platforms, het overwegen van toepassingsdomeinen, het behandelen van tools voor het verbeteren van slimme contracten, het identificeren van onderzoekshiaten en de reikwijdte van de literatuur beoordeling. We stellen vast dat er een gebrek is aan taxonomie die gericht is op het verbeteren van slimme contracten (dwz het aanpakken van problemen met de beveiliging van slimme contracten, privacy en prestaties) en het gebruik van slimme contracten (dwz het aanpakken van domeinspecifieke problemen).

Tabel 1 Bestaande slimme contractbeoordelingen/enquêtes: een vergelijkend overzichtTafel op ware grootte

Samenvattend kan worden gezegd dat de bestaande onderzoeken met betrekking tot slimme contracten met blockchain-ondersteuning zich richten op het classificeren van de papieren op basis van slimme contractkwesties. Ons werk breidt de bestaande onderzoeken uit door de toepassingsdomeinen van slimme contracten te bestuderen, de uitdagingen op het gebied van slimme contracten te analyseren en enkele onderzoekshiaten te introduceren die in toekomstige studies moeten worden aangepakt.

Onderzoeksmethodologie en oplossingstaxonomie

Hieronder beschrijven we de gehanteerde onderzoeksmethodiek, zoals de zoekstrategie, het filterproces en in- en exclusiecriteria. Daarnaast presenteren we de oplossingstaxonomie die is gebruikt om de uiteindelijke set van opgenomen artikelen te categoriseren.

Systematisch literatuuronderzoek

We gebruikten drie bestaande databases, namelijk ScienceDirect, IEEXplore en ACM Digital Library om naar relevante werken te zoeken met behulp van het trefwoord ‘smart contract’. In de eerste fase vonden we 523 publicaties zoals getoond in zowel Fig.  1a , dat het percentage van het verworven onderzoekspapier per digitale database weergeeft, als Fig.  1b , dat het totale aantal voorstudies weergeeft dat uit elke digitale database is verkregen.

Om de relevante artikelen te kiezen die in onze review moeten worden geanalyseerd, hebben we de primaire onderzoeken gefilterd die uit de databases zijn opgehaald. Om dit te doen, hebben we een reeks inclusie- en exclusiecriteria gedefinieerd, die zijn samengevat in Tabel  2 . Op basis van de resultaten van de eerste fase hebben we de set van inclusie- en exclusiecriteria toegepast om de publicaties die buiten de reikwijdte van deze review vallen, uit te sluiten. Daarom hebben we alleen studies opgenomen die aan alle inclusiecriteria voldoen. We hebben dubbele publicaties, enquêtes en literatuuroverzichten uitgesloten door onderzoeken te filteren op basis van de titel, het abstract en de lijst met trefwoorden.Tabel 2 Op- en uitsluitingscriteria voor relevante werkenTafel op ware grootte

Als resultaat van het filterproces hebben we 323 publicaties uitgesloten en 200 relevante publicaties opgenomen voor deze systematische review. In figuur  1b is ook het aantal relevante onderzoeken weergegeven dat in dit onderzoek is opgenomen uit elke digitale database.

Publicatietrends en categorisering

Om de trend van het slimme contractveld in termen van publicatiedatum te onderzoeken, toont figuur  2 het aantal opgenomen studies dat elk jaar van 2015 tot september 2020 wordt gepubliceerd. We zien dat het totale aantal gepubliceerde artikelen in het bestudeerde veld toeneemt in de afgelopen jaren, wat het belang van het onderwerp aangeeft. Zo groeit het slimme contractveld de afgelopen jaren snel.

Als resultaat van een diepgaande analyse van de studies die in deze review zijn opgenomen, is een uitgebreide taxonomie geconstrueerd om ontwerpers een extra ondersteuning te bieden bij het begrijpen van de verschillende dimensies waarmee ze rekening moeten houden bij het ontwerpen van een slim contract. De belangrijkste motivaties van dit onderzoek zijn het identificeren van (i) de belangrijkste publicaties over slimme contracten, (ii) de huidige stand van het onderzoek op dit gebied, en (iii) mogelijke hiaten in de literatuur die onderzoeksproblemen kunnen worden die moeten worden opgelost door de wetenschappelijke gemeenschap. Door middel van dit onderzoek streven we niet alleen naar het definiëren van de conceptuele achtergrond van op blockchain gebaseerde slimme contracten, maar ook om onderzoeksproblemen te identificeren die bij nieuwe onderzoeken moeten worden onderzocht. We categoriseren bestaand smart contract onderzoek namelijk in twee hoofdcategorieën, namelijk smart contract verbetering en smart contract gebruik. De eerste omvat onderzoeken die gericht zijn op het aanpakken van de uitdagingen op het gebied van slimme contracten, zoals functionaliteitsverificatie, prestaties, kwetsbaarheden en gebrek aan betrouwbare gegevensinvoer. Dit laatste omvat studies die gericht zijn op het aanpakken van domeinspecifieke uitdagingen met behulp van slimme contracten. Figuur 3 geeft de voorgestelde taxonomie weer van op blockchain gebaseerde slimme contracten, inclusief modelgestuurde verbetering van slimme contracten (zie sectie  5 ), optimalisatiegestuurde verbetering van slimme contracten (zie sectie  6 ), resourcegestuurd gebruik van slimme contracten (zie sectie  7 ), en op samenwerking gebaseerd gebruik van slimme contracten tussen organisaties (zie sectie  8 ).

Modelgestuurde verbetering van slimme contracten

Slimme contracten hebben de afgelopen jaren te lijden gehad van meerdere beveiligingskwetsbaarheden [ 8 ], die hebben geleid tot zowel diefstal als gigantische financiële verliezen. Dergelijke kwetsbaarheden hadden kunnen worden vermeden met behulp van formele analyse en verificatie van dergelijke slimme contracten voordat ze op de blockchain werden geïmplementeerd. Aangezien bestaande programmeertalen, zoals Solidity, niet zijn gebouwd voor formele verificatie, hebben verschillende onderzoekers alternatieve benaderingen voorgesteld om de verificatie van slimme contractfunctionaliteit te verbeteren. In deze categorie hebben we modelgestuurde slimme contractverbeteringsoplossingen besproken, die kunnen worden onderverdeeld in programmagerichte oplossingen (zie tabel  3 ) en formele verificatiegerichte oplossingen (zie tabel  4 ).

Tabel 3 Enkele voorbeelden van programmeergerichte oplossingenTafel op ware grootte

Tabel 4 Enkele voorbeelden van formele verificatiegerichte oplossingenTafel op ware grootte

Programmeergerichte oplossingen

De essentie van een slim contract is de computercode die automatisch op de computer kan worden uitgevoerd, dus het correct programmeren van slimme contracten is een belangrijke onderzoeksrichting. Verschillende onderzoekers voerden aan dat het ontwikkelen van nieuwe contracttalen een effectieve manier is om een ​​correct slim contract te schrijven. Tabel  3 presenteert enkele nieuw voorgestelde programmeertalen zoals SmaCoNat [ 78 ], Flint [ 83 ] en Scilla [ 85 ]. Regnath en Steinhorst [ 78 ] stelden bijvoorbeeld een door mensen leesbare, beveiligde en uitvoerbare programmeertaal voor, genaamd SmaCoNat. De auteurs hebben de grammatica van de programmeertaal omgezet in zinnen in natuurlijke taal om de leesbaarheid van het programma te verbeteren.

Nieuwe contracttalen beloofden de bestaande domeinspecifieke taalkwetsbaarheden aan te pakken. Omdat ze echter niet in de praktijk zijn gebracht, kunnen ze hun kwetsbaarheden hebben. Het ontwerpen en implementeren van veilige slimme contracten vereist dus nog steeds adaptieve software-engineeringtechnologieën en expertise uit meerdere onderzoeksdomeinen, zoals netwerken, programmeertalen, formele methoden en cryptografie.

Formele verificatiegerichte oplossingen

Doorgaans worden formele tests toegepast om ervoor te zorgen dat een software zich gedraagt ​​en presteert zoals verwacht in zijn specificaties en vereisten op basis van alle mogelijke invoervoorwaarden. Voor slimme contracten, Truffel [ 93], is een voorbeeld van een ontwikkelingsraamwerk voor Ethereum dat het mogelijk maakt om formele testgevallen te schrijven op basis van bepaalde wiskundige logica en regels voor slimme contracten die zijn geschreven in JavaScript- of Solidity-talen. Deze testgevallen kunnen in JavaScript worden geschreven en kunnen worden uitgevoerd op een testnetwerk om verschillende eigenschappen van slimme contracten te controleren. Zoals eerder vermeld, kunnen formele tests er alleen voor zorgen dat een slim contract deed wat het zou moeten doen op basis van de specificatie, maar het kan de ontwikkelaars van slimme contracten niet helpen om bugs of kwetsbaarheden te vinden. Daarom is geautomatiseerde formele verificatie een veelbelovende aanpak om bugs en andere fouten te detecteren om de functionele correctheid van slimme contracten te garanderen. Volgens [ 2], kan formele verificatie het hoogste niveau van vertrouwen bieden in het juiste gedrag van slimme contracten. Op dit moment is het gebruik van formele methoden om slimme contracten te verifiëren door verschillende onderzoekers op grote schaal toegepast, en in de praktijk zijn er significante resultaten geboekt. Tabel  4 presenteert enkele formele verificatiegerichte oplossingen. Bijvoorbeeld, Amani et al. [ 2 ] breidde een bestaande EVM-formalisatie in Isabelle/HOL uit met een degelijke programmalogica op het niveau van bytecode. Het principe van de methode is om de bytecodereeksen in lineaire codeblokken te organiseren en een logisch programma te creëren, waarbij elk blok als een reeks instructies wordt verwerkt. Elk onderdeel van de verificatie wordt gevalideerd in een enkel vertrouwd logisch raamwerk vanuit het perspectief van bytecode.

Momenteel bevinden formele verificatietools zich nog in de experimentele fase en worden ze nog niet veel gebruikt. Daarom verdient de onderzoeksrichting voor slimme contractformalisatie veel aandacht en biedt het het hoogste niveau van vertrouwen over het juiste gedrag van slimme contracten. Echte vooruitgang op dit onderzoeksgebied kan het vertrouwen in het slimme contract verbeteren, vooral wanneer het wordt gebruikt om kritieke systemen te ontwikkelen, zoals financiële, gezondheidszorg- en banksystemen.

Optimalisatie-gedreven slimme contractverbetering

Slimme contracten zijn naar voren gekomen als een nieuwe veelbelovende oplossing voor het ontwikkelen van volledig gedecentraliseerde applicaties zonder tussenkomst van een vertrouwde derde partij. Ondanks de positieve kant van slimme contracten, blijven verschillende zorgen de acceptatie ervan ondermijnen, namelijk prestatieproblemen, beveiligingsrisico’s en privacykwesties. Nieuwe smart contract-toepassingen stellen inderdaad hogere eisen op het gebied van contractuitvoeringstijd, uitvoeringskosten, beveiliging en privacy. In deze categorie bespreken we optimalisatiegestuurde slimme contractverbeteringsoplossingen, die kunnen worden onderverdeeld in op prestatie-optimalisatie gerichte oplossingen (zie tabel  5 ) en op beveiligingsoptimalisatie gerichte oplossingen (zie tabel  6 ).

Tabel 5 Enkele voorbeelden van op prestatie-optimalisatie gerichte oplossingenTafel op ware grootte

Tabel 6 Enkele voorbeelden van op optimalisatie gerichte oplossingen voor beveiligingTafel op ware grootte

Op prestatie-optimalisatie gerichte oplossingen

Slimme contractprestaties verwijzen naar het vermogen van slimme contractsystemen om binnen een redelijke responstijd te leveren en prestaties te behouden wanneer het aantal contracten toeneemt [ 1 ]. Tabel  5 geeft enkele voorbeelden van op prestatie-optimalisatie gerichte oplossingen. Sommige prestatieproblemen in blockchain-systemen, niet beperkt tot, zijn knelpunten in de doorvoer, beperkte schaalbaarheid, latentie van transacties. Om prestatieproblemen in slimme contractsystemen te verhelpen, hebben sommige onderzoekers oplossingen voorgesteld om slimme contracten parallel uit te voeren in plaats van sequentieel [ 26 , 34 ]. Bijvoorbeeld Gao et al. [ 34] hebben een parallel uitvoeringsschema voorgesteld dat gebaseerd is op twee belangrijke technieken, namelijk een eerlijk algoritme voor contractpartitie dat gebruikmaakt van lineaire programmering met gehele getallen om een ​​reeks slimme contracten in meerdere subsets te verdelen, en een willekeurig toewijzingsprotocol dat subsets willekeurig toewijst aan een subgroep van gebruikers. Er zijn andere onderzoeken voorgesteld voor slimme contractoptimalisatie door gas te besparen. Als de uitvoering van het slimme contract een hoeveelheid gas overschrijdt (ook wel gaslimiet genoemd), wordt er zelfs een uitzondering op gas gegenereerd, waardoor de huidige uitvoering wordt onderbroken. GasReducer [ 18 ] is bijvoorbeeld een hulpmiddel voor het automatisch detecteren van EVM-bewerkingsreeksen die kunnen worden vervangen door andere bewerkingen die dezelfde semantiek hebben maar minder gas nodig hebben, en deze vervolgens te vervangen door efficiënte code.

Op beveiligingsoptimalisatie gerichte oplossingen

Beveiliging van een slim contract verwijst naar de robuustheid ervan tegen aanvallen van kwaadwillende gebruikers die in het algemeen misbruik maken van de beveiligingsproblemen van het contract om winst te maken of het gebrek aan betrouwbare gegevensinvoer om kwaadaardige gegevens te injecteren. Tabel  6 geeft enkele voorbeelden van hulpprogramma’s voor het detecteren van kwetsbaarheden, transactionele privacymodellen en betrouwbare oplossingen voor gegevensinvoer.

Kwetsbaarheidsdetectie

Het ontdekken van mogelijke kwetsbaarheden in de uitvoering van contracten is belangrijk om de veiligheid en geloofwaardigheid van contracten te verbeteren. Verschillende onderzoeken vatten inderdaad de kwetsbaarheden van het contract systematisch samen en analyseerden de veiligheidsrisico’s [ 8 , 77 , 81 ]. Atzei et al. [ 8 ] hebben een taxonomie van smart contract-kwetsbaarheden op drie niveaus opgeleverd, namelijk Solidity, EVM en Blockchain. De meest beruchte aanval van de afgelopen jaren is de aanval van de Decentralized Autonomous Organization (DAO) die gebruikmaakte van een re-entrancy-kwetsbaarheid om ongeveer 2 miljoen Ether van een slim contract te stelen [ 103]. Een andere aanval is gebeurd met de SmartBillions, die een volledig gedecentraliseerd en transparant loterijsysteem presenteerde toen een aanvaller de block-hash van de loterijfunctie van het slimme contract tweemaal manipuleerde en het resultaat in zijn voordeel dwong om 400 Ether [ 62 ] te krijgen. Om de kwetsbaarheden van slimme contracten op te lossen, zijn er verschillende oplossingen voor kwetsbaarheidsdetectie voorgesteld. Sommige onderzoeken hebben oplossingen gegeven voor veelvoorkomende kwetsbaarheden, zoals Oyente [ 59 ], SmartInspect [ 15 ] en ContractFuzzer [ 47 ]. Sommige andere werkzaamheden waren gericht op specifieke kwetsbaarheden, zoals ReGuard [ 54 ] om herintredingsbugs te detecteren en EthRacer [ 48 ] om event-ordering bugs te detecteren.

Transactionele privacy

Het privacyprobleem vormt een echte uitdaging voor slimme contracten om kritieke functies geheim te houden, cryptografie toe te passen en te voorkomen dat gegevens op de blockchain openbaar worden gemaakt. Het gebrek aan transactieprivacy zou de acceptatie van slimme contracten kunnen beperken. Om dit probleem aan te pakken, Kosba et al. [ 49 ] hebben Hawk voorgesteld, een gedecentraliseerd slim contractsysteem. Hawk is een tool waarmee ontwikkelaars van slimme contracten privacybeschermende contracten kunnen bouwen zonder dat cryptografie hoeft te worden geïmplementeerd. De compiler genereerde automatisch een efficiënt cryptografisch protocol waarbij contractpartijen interactie hebben met de blockchain, met behulp van cryptografische primitieven zoals zero-knowledge proofs.

Betrouwbare gegevensinvoer

De uitvoering van slimme contracten vereist enkele externe gegevens over real-world toestanden en gebeurtenissen van buiten de blockchain. Daarom zijn betrouwbare mechanismen voor gegevensinvoer (ook wel Oracles genoemd) nodig om een ​​brug te slaan tussen blockchain en de buitenwereld (bijv. Web API). Zhang et al. [ 113] hebben Town Crier voorgesteld, die fungeerde als een link tussen bestaande algemeen vertrouwde niet-blockchain-gebaseerde websites en slimme contracten om geverifieerde gegevens te verstrekken aan slimme contracten met behoud van de vertrouwelijkheid met gecodeerde parameters. In het geval van kwaadaardige code of slechte gegevens die naar een slim contract worden gevoerd, verwerkt dit laatste de invoer zoals het is, wat een onjuist en onvoorspelbaar resultaat oplevert. Orakels behouden dus een enorme hoeveelheid macht over slimme contracten in de manier waarop ze worden uitgevoerd, omdat de gegevens die ze verstrekken bepalen hoe de slimme contracten worden uitgevoerd.

Kortom, er is de afgelopen jaren onderzoek gedaan naar het verbeteren van de beveiliging en prestaties van slimme contracten. Hoewel het parallel lopen van slimme contracten de contractuitvoering kan versnellen, staat het voor een uitdaging om tegelijkertijd van elkaar afhankelijke contracten uit te voeren. Bovendien kan het optimaliseren van slimme contractcodes potentiële kwetsbaarheden in contracten effectief verminderen en zorgen voor een efficiënte en veilige uitvoering van contracten. De bestaande onderzoeken zijn echter nog onvolwassen en onbekende kwetsbaarheden of bugs kunnen niet worden gedetecteerd om te worden vervangen. De optimalisatie van slimme contracten behoeft dus verder onderzoek.

Nadat we het slimme contract vanuit technisch oogpunt hebben besproken, presenteren we in de volgende twee secties de bestaande oplossingen die gericht zijn op het gebruik van slimme contracten in verschillende domeinen.

Gebruik van slimme contracten op basis van hulpbronnen

Zoals we weten, zijn slimme contracten uitvoerbare code die wordt gehost in de blockchain die informatie opslaat, invoer verwerkt en uitvoer schrijft dankzij hun vooraf gedefinieerde functies. Ze worden gebruikt om de transparantie van gegevensverwerking te verbeteren, apparaatbeheer met beperkte middelen te decentraliseren en wijzigingen van de overeenkomstvoorwaarden tijdens runtime mogelijk te maken terwijl ze bovenop een gedecentraliseerd en transparant netwerk worden uitgevoerd. In deze categorie bespreken we op hulpbronnen gebaseerde oplossingen voor slim contractgebruik, die kunnen worden onderverdeeld in oplossingen op het gebied van gegevensbeheer (zie Tabel  7 ), oplossingen op het gebied van apparaatbeheer (zie Tabel  8 ) en cloudgerelateerde oplossingen (zie Tabel  9 ). ).

Tabel 7 Enkele voorbeelden van op gegevensbeheer gerichte oplossingenTafel op ware grootte

Tabel 8 Enkele voorbeelden van op apparaatbeheer gerichte oplossingenTafel op ware grootte

Tabel 9 Enkele voorbeelden van cloudgerelateerde oplossingenTafel op ware grootte

Op gegevensbeheer gerichte oplossingen

In het verleden werden onbewerkte gegevens overgebracht naar een cloudserver om te worden opgeslagen en geanalyseerd. Deze gecentraliseerde oplossing heeft echter geleid tot ernstige bezorgdheid met betrekking tot verschillende aspecten, zoals de noodzaak om te vertrouwen op de beveiliging van de cloudinfrastructuur, controleverlies zodra gegevens worden geëxternaliseerd en een gebrek aan transparantie bij de verwerking van gegevens. Bijgevolg ontstond op blockchain gebaseerd gegevensbeheer als een platform om transparante gegevenstransacties tussen onbetrouwbare betrokken partijen op het netwerk te vergemakkelijken. Inderdaad, op peer-to-peer-netwerk gebaseerd gegevensbeheer is een eerlijker systeem in vergelijking met een systeem waarbij alle transacties worden afgehandeld door een centrale server. Tabel  7 geeft enkele voorbeelden van op databeheer gerichte oplossingen met betrekking tot de herkomst van gegevens, gegevenstoegang en het delen van gegevens.

Herkomst gegevens

Herkomst van gegevens verwijst naar een historisch overzicht van de gegevens en de oorsprong ervan, waaruit blijkt welk en hoe gegevensitem door wie en voor welk doel wordt opgeslagen, geopend en verwerkt. Zorgen voor de herkomst van gegevens kan de gegevenstransparantie vergroten en de gegevensintegriteit afdwingen. In dit opzicht kan een blockchain een onveranderlijke opslag van records bieden en kunnen slimme contracten worden gebruikt als verantwoordelijke voor het verifiëren van de gegevensoorsprong voordat ze worden opgeslagen. Soortgelijke ideeën worden toegepast in [ 6 , 44 ], waar een blockchain wordt gebruikt als een gedecentraliseerde en onveranderlijke opslag om de herkomst van gegevens mogelijk te maken. Zo hebben Javaid et al. [ 44] hebben een op blockchain gebaseerde gegevensherkomst en -integriteit voorgesteld voor een veilig IoT-omgevingsframework, genaamd BlockPro. Ethereum en twee slimme contracten werden gebruikt om het te implementeren. Het eerste slimme contract heeft de herkomst van gegevens vastgesteld door interactie met de IoT-apparaten en ervoor te zorgen dat ze legitiem zijn en dat de gegevens die worden geüpload afkomstig zijn van een bekende en vertrouwde oorsprong. Het tweede smart contract kan alleen door de eerste worden aangeroepen om data op te slaan op en data op te halen uit de blockchain.

Toegang tot data

Toegang tot gegevens wordt gegarandeerd volgens de rechten die aan de betrokken partijen in een netwerk zijn verleend om bepaalde bewerkingen op gegevens uit te voeren. Deze rechten worden uitgedrukt met behulp van beleid voor toegangscontrole, dat bestaat uit een reeks voorwaarden die worden geëvalueerd tegen de huidige context om de toegangsbeslissing te nemen telkens wanneer een verzoek wordt ontvangen [ 40 ]. Voor het verkrijgen van gedecentraliseerd zelfevaluatiebeleid is recentelijk toegangscontrolebeleid gecodificeerd als uitvoerbare code en beheerd via een peer-to-peer-netwerk, terwijl een centrale entiteit is geëlimineerd. Voor dit doel kunnen slimme contracten worden gebruikt om toegangscontrolebeleid uit te drukken om het beleidsevaluatieproces om te zetten in een gedistribueerde uitvoering van slimme contracten. In dit verband zijn verschillende onderzoeken [ 36 , 61 , 74, 88 , 112 , 114 ] zijn voorgesteld. Maesa et al. [ 61 ] stelde voor om een ​​blockchain te exploiteren om toegangscontrolebeleid op te slaan en attributen te beheren, evenals om het toegangsbeslissingsproces uit te voeren. Het toegangscontrolebeleid wordt weergegeven via een slim contract dat de opgeslagen voorwaarden evalueerde om de toegangsbeslissing te nemen.

Het delen van gegevens

Data delen verwijst naar het beschikbaar stellen van data aan andere partijen door de data-eigenaar. Er waren echter twee soorten uitdagingen waarmee gegevensuitwisselingsprogramma’s werden geconfronteerd, namelijk (i) het bereiken van goede gegevensuitwisseling terwijl de controle over de gedeelde gegevens verloren ging of (ii) slecht blijven in het delen om sterke controle over de gegevens te behouden. Om deze uitdagingen aan te gaan, wordt blockchain-technologie gebruikt omdat het een onveranderlijke opslag van records biedt die de transparantie van de gegevensverwerking verbeteren en uitvoerbare codes (dwz slimme contracten) kan hosten die gebruikers authenticeren, autorisaties verifiëren en daardoor zorgen voor een efficiënte en veilige uitwisseling van gegevens in een peer-to-peer netwerk. Er zijn verschillende onderzoeken voorgesteld die gebruikmaken van slimme contracten met blockchaintechnologie voor het delen van gegevens in de gezondheidszorg [ 22 , 72 , 111], cloudomgeving [ 70 ] en voor versiebeheer van digitale documenten [ 30 ]. In de zorgcontext worden medische hulpmiddelen en zorgtoepassingen steeds vaker door patiënten geadopteerd. Draadloze lichaamssensoren verzamelen echter gezondheidsdossiers die gevoelig zijn voor individuen. Bestaande systemen voor het beheer van elektronische patiëntendossiers worstelen met een evenwicht tussen gegevensprivacy en gegevenstoegang. Blockchain-technologie is een opkomende technologie die het delen van gegevens op een gedecentraliseerde en transactionele manier mogelijk maakt. Zo hebben Dagher et al. [ 22] hebben een op blockchain gebaseerd raamwerk voorgesteld, Ancile genaamd, voor veilige en efficiënte toegang tot medische dossiers door patiënten, zorgverleners en derden met behoud van de privacy van de patiënten. Ancile gebruikte slimme contracten, technieken voor gegevensverduistering en cryptografische technieken om de privacy en veiligheid in de gezondheidszorg te verbeteren. Onlangs hebben Yu et al. [ 111 ] hebben een op blockchain gebaseerd ondersteuningsplatform voor medisch onderzoek voorgesteld, dat gebruikmaakte van de kenmerken van de alliantieketen waarop ziekenhuizen en medische onderzoeksinstellingen als knooppunten worden behandeld. Onder hen moesten gebruikers zoals patiënten, artsen en onderzoekers zich registreren en authenticeren in de alliantieketen. Slimme contracten worden gebruikt om de pseudonieme adressen van CEMR’s te uploaden naar de alliantieketen.

Oplossingen voor apparaatbeheer

Een van de technische uitdagingen van het wereldwijd inzetten van miljarden apparaten is de mogelijkheid om ze te beheren en te synchroniseren. Het gebruik van het huidige model van het server-clientsysteem kan enkele beperkingen hebben voor apparaatbeheer, dus verschillende onderzoekers bestuderen de voordelen van het gebruik van blockchain op dit gebied. In het bijzonder worden slimme contracten gekozen om authenticatie, synchronisatie en gegevensintegriteit te garanderen terwijl ze bovenop een gedecentraliseerd en transparant netwerk worden uitgevoerd. Tabel  8 presenteert enkele nieuw voorgestelde oplossingen voor apparaatbeheer [ 29 , 45 , 58 , 90 , 96 , 104 , 116 ]. Bijvoorbeeld Ellul en Pace [ 29] hebben een gesplitste virtuele machine-architectuur voorgesteld om de integratie van apparaten met beperkte middelen met blockchain-systemen mogelijk te maken, genaamd AlkylVM. Elk blockchain-verbonden apparaat zou een instantie van AlkylVM uitvoeren, die communicatie tussen blockchain en IoT-apparaten mogelijk maakt met behulp van het Aryl blockchain-knooppunt. De laatste is verantwoordelijk voor het monitoren van slimme contracttransacties en gebeurtenissen waarvoor interactie met IoT-apparaten nodig is.

Cloud-gerelateerde oplossingen

Bij cloudcomputing komen zowel de serviceaanvrager als de serviceprovider een reeks vereisten, verplichtingen en rechten overeen die geldig zijn voor de hele contractlevenscyclus. Onlangs zijn door blockchain ingeschakelde slimme contracten gebruikt om wijzigingen in de overeenkomstvoorwaarden tijdens runtime mogelijk te maken door het definiëren van voorwaarden en acties. Tabel  9 presenteert enkele voorgestelde cloudgerelateerde oplossingen [ 42 , 84 , 98 , 118 ]. Zo hebben Zhou et al. [ 118] hebben een getuige-model voorgesteld voor het afdwingen van cloud Service Level Agreement (SLA) met behulp van slimme contracten. De speltheorie wordt gebruikt om te analyseren dat de getuige eerlijke monitoringservice moet bieden om zijn inkomsten te maximaliseren. De serviceprovider moet vergoedingen vooraf betalen aan het slimme contract voor het inhuren van getuigen. De serviceklant beslist vervolgens of hij de SLA accepteert. Zo ja, dan moet het ook de vergoedingen vooruitbetalen, inclusief de servicekosten en een deel van de huurkosten voor getuigen. Een kleine bug of aanval op slimme contracten kan echter leiden tot aanzienlijke problemen, zoals privacylekken of wijzigingen in de systeemlogica. Enkele van de kritieke beveiligingskwetsbaarheden kunnen zijn: afhankelijkheden van tijdstempels, verkeerd behandelde uitzonderingen, re-entrancy-aanvallen op slimme contracten in cloudgerelateerde oplossingen.

Hoewel slimme contracten voldoen aan veel voorwaarden met betrekking tot gegevens- / apparaatbeheer, hebben ze enkele nadelen, gebaseerd op basisontwerpprincipes van blockchain-technologie. Ten eerste zijn de gegevens die zijn opgeslagen op slimme contracten openbaar leesbaar via openbare transacties zonder leestoegangsbeperkingen. Het is dus vereist om te voorkomen dat privé- of apparaatsleutels op slimme contracten worden opgeslagen voor de openbare beschikbaarheid van de informatie. Voor het oplossen van transparantieproblemen met betrekking tot blockchain, kan toekomstig onderzoek de inzet van complexe cryptografische oplossingen onderzoeken voor het beveiligen van gegevens die zijn opgeslagen op slimme contracten zonder de kosten te verhogen. Ten tweede zijn de kosten voor het opslaan van gegevens op de blockchain erg hoog. Daarom,

Na het bespreken van de door hulpbronnen gestuurde oplossingen voor slim contractgebruik, presenteren we in de volgende sectie de bestaande oplossingen die gericht zijn op samenwerkingsgestuurd gebruik van slimme contracten tussen organisaties.

Gebruik van slimme contracten op basis van samenwerking tussen organisaties

Slimme contracten helpen om een ​​overeenkomst tussen verschillende onbetrouwbare partijen vast te leggen in de vorm van code die niet kan worden gewijzigd of gewijzigd zodra deze op de blockchain is geïmplementeerd. Slimme contractontwikkeling maakt het dus mogelijk traditionele contracten te vervangen en zorgt voor bedrijfsgroei in verschillende sectoren, namelijk supply chain management, logistiek en verzending, verzekeringen en liefdadigheid. In deze categorie bespreken we inter-organisatorische samenwerkingsgestuurde oplossingen voor slim contractgebruik, die kunnen worden onderverdeeld in op winst gerichte oplossingen (zie tabellen  10 ,  11 en  12 ) en niet op winst gerichte oplossingen (zie tabel  13 ).

Tabel 10 Enkele voorbeelden van op winst gerichte oplossingen: Tracking-basedTafel op ware grootte

Tabel 11 Enkele voorbeelden van op winst gerichte oplossingen: Digital asset-basedTafel op ware grootte

Tabel 12 Enkele voorbeelden van op winst gerichte oplossingen: Crowdsourcing-gerelateerdTafel op ware grootte

Tabel 13 Enkele voorbeelden van oplossingen zonder winstoogmerkTafel op ware grootte

Winstgerichte oplossingen

Het slimme contractprotocol is bedoeld om contracten veiliger, realtime en transparanter te maken, wat precies de uitdagingen zijn van de bestaande winstgerichte organisatieoverschrijdende samenwerking. Op winst gerichte oplossingen zijn gericht op het vergroten van de winst door de realtime trackingkosten te verlagen, grensoverschrijdende betalingen te verbeteren en de transparantie van gedistribueerde probleemoplossing te vergroten. Tabellen  10 ,  11 en  12 geven enkele voorbeelden van op winst gerichte oplossingen met betrekking tot respectievelijk op tracking gebaseerde oplossingen, op digitale activa gebaseerde oplossingen en crowdsourcing-gerelateerde oplossingen.

Op tracking gebaseerde oplossingen

Hoewel bedrijfsprocessen goed kunnen werken binnen een gecentraliseerd mechanisme dat interne activiteiten beheert met individuele lokale databases, bestaat er nog steeds een vraag naar transparantie over processen en vertrouwensrelaties tussen betrokken partijen. Realtime tracking kan inderdaad het onnodig wachten op de bevestiging van informatie verminderen. Het gebruik van een gedistribueerd systeem kan dus de transparantie en prestaties van bedrijfsprocessen verbeteren. Slimme contracten kunnen worden gebruikt om de overdracht van verschillende soorten eigendom van activa, onroerend goed en waarde te automatiseren en leiden daarom tot meer zichtbare en minder intermediaire werkprocessen. In dit verband zijn er verschillende onderzoeken voorgesteld met behulp van slimme contracten voor het beheer van de toeleveringsketen van voedingsmiddelen [ 11 , 17 , 53], gefabriceerde producten [ 24 , 43 , 50 , 102 ], verzonden artikelen [ 39 ], biodrugs [ 105 ] en geïmporteerde producten [ 108 ]. Bijvoorbeeld Casado-Vara et al. [ 17 ] hebben een model voorgesteld voor het volgen van landbouw met blockchain, slimme contracten en een systeem met meerdere agenten. De blockchain wordt gebruikt om alle transactie-informatie in de supply chain op te slaan. Bovendien gebruikte het multi-agentsysteem slimme contracten om het hele supply chain-proces efficiënter te beheren en tussenpersonen te verwijderen. Bovendien zal de wereldwijde halal-voedselmarkt volgens schattingen van de industrie in 2024 2,55 biljoen dollar bereiken [ 92]. Zo gebruiken verschillende bedrijven blockchain om de traceerbaarheid in de halal voedselvoorzieningsketen te verbeteren. Een in het VK gevestigd bedrijf is bijvoorbeeld een samenwerking aangegaan met een blockchain-platformaanbieder om vee en vers voedsel van boerderij tot tafel te volgen via de halal-voedselketen met behulp van de blockchain-technologie [ 92 ].

Op digitale activa gebaseerde oplossingen

Vanwege hun veerkracht tegen manipulatie zijn slimme contracten in veel scenario’s aantrekkelijk, vooral in scenario’s waarbij geldoverdrachten nodig zijn om bepaalde overeengekomen regels te respecteren, zoals bij financiële diensten. Daarom beheren, verzamelen en/of distribueren slimme contracten in het financiële toepassingsdomein het geld als een bij uitstek functie. Het ontbreken van een gecentraliseerde autoriteit verlaagde de kosten en zorgde in theorie voor meer controle en toegang tot de investeerders [ 46]. Hiertoe worden sommige slimme contracten gebruikt voor grensoverschrijdende betalingen zonder afhankelijk te zijn van banken. De blockchain-betalingsprovider, genaamd Ripple, is bijvoorbeeld een blockchain-oplossing voor betalingen die zich in de echte wereld heeft bewezen door bestaande bankgrootboeken te verbinden om bijna realtime grensoverschrijdende betalingen mogelijk te maken. Ripple kan ook de kosten verlagen en extra prijstransparantie bieden voor realtime grensoverschrijdende betalingen [ 3 ]. Tabel  11 geeft andere slimme contracten weer die data/goede handelsservice [ 7 , 65 , 106 ], verzekeringsservice [ 9 ], goede huur/ruilservice [ 14 , 28 ], energiehandel en vraagbeheerservice [55 , 100 ], sociaal kredietsysteem [ 107 ] en mobiel betalingssysteem [ 110 ]. Slimme contracten worden bijvoorbeeld gebruikt in de verzekeringssector om de verwerking, verificatie en betaling van claims te automatiseren, om zo de snelheid van claimverwerking te verhogen, fraude te voorkomen en handmatige fouten te verminderen. Onlangs is een slim, op contracten gebaseerd vluchtverzekeringssysteem voorgesteld om de verzekerde passagiers automatisch terug te betalen in geval van een vluchtvertraging [ 13 ]. Bovendien kunnen op blockchain gebaseerde systemen oplossingen bieden voor de uitdagingen op het gebied van cyberverzekeringen door een geautomatiseerde, realtime en onveranderlijke feedbacklus te realiseren tussen de verzekeraar, zijn klant en potentiële auditors [ 20 ]]. Bovendien kan blockchain-technologie de problemen waarmee traditionele verzekeringen worden geconfronteerd, verminderen en tegelijkertijd religieuze principes naleven [ 67 ]. In [ 64 ] wordt inderdaad een slim verzekeringsmodel voorgesteld op basis van islamitische verzekeringen, Takaful genaamd . Het belangrijkste verschil tussen Takaful en conventionele verzekeringen is dat in Takaful verzekerde fondsen aan hen toebehoren, de verzekeringsmaatschappij slechts een manager is. Door gebruik te maken van blockchain- en slimme contracttechnologieën kunnen verzekeringsmaatschappijen dus transparanter zijn, wat het hoogste kenmerk is dat door klanten wordt gevraagd. De auteurs in [ 64 ] hebben voorgesteld om de traditionele verzekeringspolissen om te zetten in slimme contracten die automatisch kunnen worden uitgevoerd om de polishouders terug te betalen zonder compensaties voor nep-incidenten.

Crowdsourcing-gerelateerde oplossingen

Crowdsourcing is een online, gedistribueerd probleemoplossend en productiemodel waarin individuen of organisaties goederen en diensten afnemen van een grote groep deelnemers. Crowdfunding is bijvoorbeeld een populaire vorm van collectieve financiering geworden onder verschillende categorieën van crowdsourcing. Crowdfunding is een proces waarbij kleine donaties of investeringen, gedaan door groepen mensen, de ontwikkeling van nieuwe projecten ondersteunen in ruil voor gratis producten of verschillende soorten erkenning. Traditionele crowdsourcing is gebaseerd op een centraal systeem waar aanvragers taken op een centrale server of platform plaatsen, maar dit gecentraliseerde model wordt momenteel geconfronteerd met verschillende uitdagingen, zoals onbetaalbare kosten, single point of failure en kwetsbaarheid voor kwaadwillende aanvallen. Hiertoe, blockchain wordt beschouwd als een veelbelovende technologie die gericht is op het aanpakken van de bovengenoemde uitdagingen door het elimineren van het single point of failure, het vergroten van de transparantie en het afdwingen van regels met behulp van slimme contracten. In dit verband zijn er verschillende onderzoeken die gebruikmaken van slimme contracten met blockchain-technologie [38 , 87 , 97 , 119 ] zijn voorgesteld, zoals weergegeven in Tabel  12 . Bijvoorbeeld Zichichi et al. [ 119] hebben een slimme, op contracten gebaseerde, sociale gedecentraliseerde autonome organisatie voor crowdfunding voorgesteld, LikeStarter genaamd, waar gebruikers van sociale netwerksites geld kunnen inzamelen voor andere gebruikers door middel van een simpele “like”, gebouwd bovenop de Ethereum-blockchain. Slimme contracten worden gebruikt om fondsen te controleren en te beheren zonder dat een vertrouwde derde entiteit nodig is. LikeStarter wijst Likoins (dwz tokens gerelateerd aan een artiest) toe aan gebruikers die een bepaald project financieren. Deze tokens kunnen worden gebruikt en geconverteerd om artefacten te kopen en ze bieden gebruikers stemmogelijkheden (dwz ze kunnen bijdragen aan de beslissing over de prijs van bepaalde artefacten).

Oplossingen zonder winstoogmerk

Blockchain-technologie is nodig in een samenwerkingsgebied tussen organisaties dat lijdt onder een afnemend vertrouwen van betrokken partijen (bijv. vrijwilligers, donateurs, kiezers, enz.) die niet weten hoe hun bijdragen worden besteed/afgehandeld. Slimme contracten maken inderdaad “volledig controleerbare” prestatiegegevens mogelijk, die veilig en uiterst moeilijk te vervalsen of te hacken zijn.

Tabel  13 geeft enkele voorbeelden van oplossingen zonder winstoogmerk, waaronder vrijwilligerssysteem [ 19 ], filantropische systemen [ 32 , 82 , 91 , 94 ], e-voting service [ 75 ], systeem voor onderwijsinstellingen [ 86 ], en auteursrechtelijke bescherming [ 115 ]. Cheng et al. [ 19] hebben VOLTimebank voorgesteld, een vrijwillig tijdbanksysteem voor een wederzijds pensioen op basis van blockchain en slimme contracten. VOLTimebank biedt een kanaal voor vrijwilligers om ouderen te dienen en geeft vrijwilligers een manier om de diensten die ze vandaag kunnen aanbieden uit te wisselen met de diensten die ze in de toekomst hopen te krijgen. In de filantropische context zijn de incassoprocessen niet transparant, waardoor de betrokken organisaties moeite hebben om het vertrouwen en de interesse van donateurs te winnen. Zo zijn er enkele pogingen gedaan om het liefdadigheidsinzamelingsproces op blockchain-technologie in kaart te brengen, bijvoorbeeld Farooq et al. [ 32] hebben een liefdadigheidsinzamelingsplatform voorgesteld, dat is gebaseerd op blockchain-technologie, en dat transparant is voor donoren en juridische autoriteiten om een ​​audit uit te voeren. Het ontwerp maakt gebruik van slimme contracten en digitale portemonnees om in realtime geld over te maken met volledige gegevensbeveiliging en een controleerbaar spoor van elke transactie. Deze slimme contracten zijn geïntroduceerd om donaties veilig over te dragen aan individuele begunstigden, organisaties en de bijbehorende projecten. Zhao en O’Mahony [ 115 ] hebben BMCProtector voorgesteld, een prototype-implementatie op basis van een Ethereum-blockchain en slimme contracttechnologieën, voor effectieve bescherming van muziekauteursrecht en rechten van auteursrechteigenaren. Het geïmplementeerde slimme contract is verantwoordelijk voor het delen van de copyrightparameters.

Ondanks de voordelen van blockchain en slimme contracten bij het hervormen van operaties in een breed scala van industrieën, namelijk toeleveringsketen, verzekeringen en liefdadigheidsinstellingen, bestaan ​​​​er nog steeds bepaalde uitdagingen voor hun wijdverbreide acceptatie. Deze uitdagingen omvatten juridische problemen, gebrek aan standaarden en protocollen, privacykwesties en foutintolerantie. Argumenten dat slimme contracten geen wondermiddel zijn voor alle financiële use-cases twijfelen aan de toepasbaarheid van slimme contracten op bepaalde scenario’s wat betreft het type en de schaal van de overeenkomst.

Discussie

We bespreken hieronder de onderzoeksresultaten en huidige uitdagingen en toekomstige ontwikkelingstrends in slim contractonderzoek.

Uitdagingen en openstaande problemen

Als opkomende technologie worden slimme contracten momenteel geconfronteerd met veel uitdagingen, zoals juridische problemen, afhankelijkheid van “off-chain” bronnen, onveranderlijkheid, schaalbaarheid en consensusmechanisme (zie figuur  4 ).

Juridische kwesties

De juridische kwestie van slimme contracten is een ander cruciaal aspect van uitdagingen op het gebied van slimme contracten. Bijvoorbeeld de Europese Algemene Verordening Gegevensbescherming (AVG) [ 35] bepaalt dat burgers een “recht om te worden vergeten” hebben, wat niet strookt met het onveranderlijke karakter van slimme contracten met blockchain. Andere juridische kwesties kunnen worden aangehaald, waaronder (i) elk land heeft zijn eigen wet- en regelgeving, daarom is het ingewikkeld om ervoor te zorgen dat alle voorschriften worden nageleefd, (ii) wettelijke clausules of voorwaarden zijn niet kwantificeerbaar, dus het is nog steeds ingewikkeld om te modelleren deze voorwaarden in slimme contracten zodat ze geschikt en kwantificeerbaar zijn voor een machine om ze uit te voeren, en (iii) overheden zijn geïnteresseerd in een gereguleerd en gecontroleerd gebruik van de blockchain-technologie in veel toepassingen, maar dit betekent dat het onbetrouwbare netwerk achteruit zal gaan naar een vertrouwd netwerk van derden, waardoor een deel van zijn essentie verloren gaat [ 79 ].

Vertrouwen op “off-chain” bronnen

Verschillende slimme contracten vereisen het ontvangen van informatie of parameters van bronnen die niet op de blockchain zelf staan, zogenaamde off-chain bronnen. Voor dit doel worden orakels gebruikt als vertrouwde derde partijen die off-chain informatie ophalen en die informatie vervolgens op vooraf bepaalde tijdstippen naar de blockchain pushen. Hoewel bestaande orakels goed zijn getest, kan het gebruik ervan een potentieel “punt van falen” introduceren. Een orakel kan bijvoorbeeld niet in staat zijn om de benodigde informatie naar buiten te brengen, onjuiste gegevens te verstrekken of failliet te gaan. Daarom zullen slimme contracten rekening moeten houden met deze eventualiteiten voordat ze meer wijdverbreid kunnen worden [ 51 ].

probleem met onveranderlijkheid

De onveranderlijkheidsfunctie is een belangrijk kenmerk van slimme contracten. Inderdaad, zodra een slim contract is geïmplementeerd, kan de code door geen enkele partij worden gewijzigd. De duistere kant van het onveranderlijkheidsconcept in slimme contracten ligt echter vooral in het feit dat in het geval van eventuele fouten in de code, de onveranderlijkheid van een slim contract verhindert dat het wordt verholpen. Evenzo, als de omstandigheden veranderen (bijv. de partijen zijn onderling overeengekomen om de parameters van hun zakelijke deal te wijzigen, of als er een wetswijziging is, enz.), Is er geen eenvoudige manier om een ​​slim contract te wijzigen. Daarom zijn uitgebreide en mogelijk dure beoordelingen van het slimme contract die door experts worden uitgevoerd voordat het in een blockchain wordt geïmplementeerd, vereist om het probleem van onveranderlijkheid aan te pakken.

Een andere beperking in de blockchain zelf die van invloed is op de slimme contracten is het onomkeerbare karakter van de blockchain, dus als de slimme contracten eenmaal zijn geïmplementeerd, kunnen ze niet worden gewijzigd. Bovendien kunnen alle blockchain-knooppunten worden gehackt of misbruikt om foutieve gegevens te melden die op een onveranderlijke manier op de blockchain worden vastgelegd.

Schaalbaarheidsprobleem

Schaalbaarheid is de belangrijkste zorg voor veel blockchain-netwerken. De Ethereum-blockchain kan bijvoorbeeld 14 transacties per seconde verifiëren, wat traag is in vergelijking met Visa dat tot 24.000 transacties per seconde kan verwerken. Het schaalbaarheidsprobleem leidt inderdaad tot netwerkcongestie, hogere commissiekosten voor transacties en een toename van de tijd die nodig is om de transacties te bevestigen [ 80 ]. Om het schaalbaarheidsprobleem aan te pakken, is in de toekomst uitgebreid onderzoek nodig dat gericht is op het verhogen van het aantal transacties per seconde door slimme contractplatforms. De transactieverificatie is echter afhankelijk van het consensusmechanisme dat wordt gebruikt door de slimme contractplatforms. Daarom is schaalbaarheid afhankelijk van consensusmechanismen, wat een ander probleem is bij slimme contracten.

Consensusmechanisme probleem

Het consensusmechanisme speelt de leidende rol om tegelijkertijd de veiligheid, schaalbaarheid en decentralisatie in de blockchain-netwerken te handhaven. Er zijn verschillende bestaande consensusalgoritmen, waaronder Proof-of-Work (PoW), Proof-of-Stake (PoS), enz. Hoewel het PoW-algoritme beveiliging in de blockchain mogelijk maakt, verspilt het bronnen. Zo schakelen veel organisaties over van het PoW-algoritme naar nieuwe consensusmechanismen die lagere transactiekosten en lagere energiekosten voor het blokproductieproces beloven. Daarom kunnen toekomstige studies nieuwe consensusmechanismen gebruiken, zoals proof-of-activity (PoA) of gedelegeerd proof-of-stake (DPoS) om ze te testen en uiteindelijk hun kwaliteit te verbeteren.

Toekomstige ontwikkelingstrends

Toekomstige ontwikkelingstrends van slimme contracten worden geïntroduceerd vanuit twee aspecten, namelijk Layer 2-protocollen en oplossingen voor contractbeheer.

Laag 2-protocollen

Om de bovengenoemde uitdagingen waarmee slimme contracten worden geconfronteerd, aan te pakken, is er een haalbare oplossing, Layer 2 genaamd, verschenen om het blockchain-schaalbaarheidsprobleem aan te pakken. Terwijl Layer 1 de gebruikte term is om de onderliggende belangrijkste blockchain-architectuur te beschrijven, is Layer 2 een overlappend netwerk dat bovenop de onderliggende blockchain ligt. Laag 2 verwijst inderdaad naar de meerdere oplossingen of protocollen die bovenop een bestaand blockchain-systeem worden gebouwd. Het belangrijkste doel van Layer 2-protocollen is het oplossen van de transactiesnelheid en schaalproblemen waarmee de grote cryptocurrency-netwerken worden geconfronteerd. Daarom verwijzen Layer 2-protocollen naar een secundair raamwerk, waar blockchain-transacties en -processen onafhankelijk van Layer 1 (“main-chain”) kunnen plaatsvinden. Twee belangrijke voorbeelden van Layer 2-oplossingen zijn het Bitcoin Lightning Network [27 ] en het Ethereum-plasma [ 76 ]. Het Lightning Network, dat deels is ontwikkeld door het Digital Currency Initiative van het MIT Media Lab, is een lichtgewicht softwareoplossing voor het schalen van openbare blockchains en interoperabiliteit van cryptocurrency. Het is bedoeld om de kosten en tijdsdruk aanzienlijk te verminderen door kleine transacties te verplaatsen naar een cryptografisch veilige “off-chain”-omgeving, zodat alleen grote verrekeningstransacties direct hoeven te worden afgewikkeld in een blockchain met beperkte middelen [ 27 ]]. Ethereum Plasma is een reeks slimme contracten, die veel blockchains binnen een root-blockchain mogelijk maakt. De root-blockchain dwingt de toestand in de plasmaketen af. De wortelketen is de handhaver van alle berekeningen wereldwijd, maar wordt alleen berekend en bestraft als er bewijs is van fraude. Veel Plasma-blockchains kunnen naast hun bedrijfslogica en slimme contractvoorwaarden bestaan. Plasma maakt het inderdaad mogelijk om op grote schaal gedecentraliseerde applicaties te blijven draaien [ 76]. Kortom, dankzij laag 2 kan een groot deel van het werk dat door de “hoofdketen” zou worden uitgevoerd, naar de tweede laag worden verplaatst. Dus terwijl de “main-chain” beveiliging biedt, bieden de protocollen van de tweede laag betere oplossingen voor het schaalbaarheidsprobleem door een hoge doorvoer te bieden en honderden of zelfs duizenden transacties per seconde uit te voeren.

Oplossingen voor contractbeheer

Slimme contracten omvatten veel meer dan alleen de voordelen van blockchaintechnologie. De term omvat veeleer de volledige digitale levenscyclus van een contract, van onderhandeling tot controle en verificatie van de nakoming van contractuele verplichtingen. Nu is het al mogelijk om slimme contracten te gebruiken, zelfs zonder blockchain-technologie. Contractbeheeroplossingen zouden dus zowel het probleem van onveranderlijkheid als de onomkeerbare aard van blockchain kunnen overwinnen door de levenscyclus van het contract aan te pakken en tegelijkertijd de beperkingen van de technologie zelf te elimineren. In state-of-the-art oplossingen voor contractbeheer [ 31], moeten alle partijen bij het contract een identiteitsbewijs overleggen en hun toegang tot gegevens authenticeren om de basis van vertrouwen te waarborgen. Bovendien worden alle documenten die aan het contract zijn gekoppeld, op een revisieveilige manier en versleuteld opgeslagen op een cloudgebaseerd platform dat in Europa is ontwikkeld en beheerd. Dit zorgt voor transparantie en traceerbaarheid van alle evenementen, de acties die verband houden met deze evenementen en de aanwijzing van de verantwoordelijke personen [ 23 ]. Bijvoorbeeld Fabasoft Contracts [ 31] is een van de nieuwste contractbeheeroplossingen die gebruiksklare, cloudgebaseerde software is om gebruikers te ondersteunen gedurende de gehele contractlevenscyclus: van bedrijfsoverschrijdende contractvoorbereiding, efficiënte afhandeling van beoordelings- en goedkeuringsprocessen tot revisie- veilige contractarchivering. Het maakt het modelleren van contractrechten en -verplichtingen mogelijk, die automatisch kunnen worden geverifieerd en afgedwongen. Er zijn verschillende voordelen van revisie-beveiligd contractbeheer, waaronder traceerbaarheid bij het bewaken van de koudeketen van voedselbezorging of het bewijzen van de authenticiteit van reserveonderdelen voor auto’s, in tegenstelling tot namaakartikelen [ 23 ].

Conclusie

Dankzij de kenmerken van decentralisatie, automatisch afdwingen en verifieerbaarheid van slimme contracten kunnen hun gecodeerde bedrijfsregels worden uitgevoerd in een peer-to-peer-netwerk, waarbij elk knooppunt “gelijk” is en geen enkele speciale autoriteit heeft zonder de betrokkenheid van een vertrouwde autoriteit of een centrale server. Er wordt dus verwacht dat slimme contracten een revolutie teweeg zullen brengen in veel traditionele industrieën, zoals financiën, gezondheidszorg, energie, enz. In dit artikel presenteerden we een uitgebreid overzicht van slimme contracten met blockchain, zowel vanuit technisch oogpunt als vanuit het oogpunt van gebruik. Daarom hebben we een taxonomie van bestaande op blockchain gebaseerde slimme contractoplossingen geïntroduceerd, de opgenomen onderzoekspapers gecategoriseerd en de bestaande op slimme contracten gebaseerde onderzoeken besproken. Op basis van de bevindingen uit het onderzoek, zowel uitdagingen op het gebied van slimme contracten als openstaande problemen worden geïdentificeerd om in verdere studies te worden aangepakt. Ten slotte bespraken we toekomstige trends van slimme contracten. Deze studie biedt informatieve ondersteuning aan belanghebbenden die geïnteresseerd zijn in het onderzoek naar slimme contracten.

Opmerkingen:

1. Ether (ETH): de cryptocurrency van Ethereum-apps die digitaal, wereldwijd geld is.
2. gas: een eenheid die de hoeveelheid rekeninspanning meet die nodig is om bepaalde bewerkingen uit te voeren.

Referenties

1. Alharby M, Aldweesh A, van Moorsel A (2018) Blockchain-gebaseerde slimme contracten: een systematische mapping-studie van academisch onderzoek (2018). In: Internationale conferentie 2018 over cloudcomputing, big data en blockchain (ICCBB), IEEE, pp 1-6
2. Amani S, Bégel M, Bortin M, Staples M (2018) Op weg naar het verifiëren van ethereum smart contract bytecode in isabelle/hol. In: Proceedings van de 7e ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, New York, pp 66-77
3. Analytics TC Ripple xrp blijft een revolutie teweegbrengen in grensoverschrijdende betalingssystemen. Online beschikbaar op https://thecurrencyanalytics.com/11696/ripple-xrp-continue-to-revolutionize-cross-border-payment-systems https://thecurrencyanalytics.com/11696/ripple-xrp-continue-to-revolutionize- grensoverschrijdende betalingssystemen (2020). Laatst geopend: 03-10-2020
4. Androulaki E, Barger A, Bortnikov V, Cachin C, Christidis K, De Caro A, Enyeart D, Ferris C, Laventman G, Manevich Y et al (2018) Hyperledger-stof: een gedistribueerd besturingssysteem voor toegestane blockchains. In: Proceedings of the Dertiende EuroSys Conference, ACM, pp 30
5. Angelo MD, Salzer G (2019) Een overzicht van tools voor het analyseren van etherische slimme contracten. In: IEEE International Conference on Decentralized Applications and Infrastructures, DAPPCON 2019, newark, CA, VS, 4-9 april 2019, IEEE, pp 69-78
6. Angrish A, Craver B, Hasan M, Starly B (2018) Een casestudy voor blockchain in productie: “fabrec”: een prototype voor peer-to-peer-netwerk van productieknooppunten. Procedia-productie 26: 1180-1192. 46e SME North American Manufacturing Research Conference, NAMRC 46, Texas, VSArtikel Google geleerde 
7. Asgaonkar A, Krishnamachari B (2019) Het dilemma van de koper en de verkoper oplossen: een slim contract met dubbele aanbetaling voor aantoonbaar cheat-proof levering en betaling voor een digitaal goed zonder een vertrouwde bemiddelaar. In: 2019 IEEE Internationale Conferentie over Blockchain en Cryptocurrency (ICBC)
8. Atzei N, Bartoletti M, Cimoli T (2017) Een overzicht van aanvallen op etherische slimme contracten (sok). In: International Conference on Principles of Security and Trust, Springer, pp 164-186
9. Bader L, Bürger JC, Matzutt R, Wehrle K (2018) Slimme contractgebaseerde autoverzekeringen. In: 2018 IEEE Globecom-workshops (GC wkshps), pp 1-7
10. Bai X, Cheng Z, Duan Z, Hu K (2018) Formele modellering en verificatie van slimme contracten. In: Proceedings van de 2018 7th International Conference on Software and Computer Applications. Vereniging voor computermachines, New York, pp 322-326
11. Baralla G, Pinna A, Corrias G (2019) Zorg voor traceerbaarheid in de Europese voedselvoorzieningsketen door middel van een blockchain-systeem. In: Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, IEEE Press, pp 40-47
12. Bartoletti M, Pompianu L (2017) Een empirische analyse van slimme contracten: platforms, applicaties en ontwerppatronen. In: Internationale conferentie over financiële cryptografie en gegevensbeveiliging, Springer, pp 494-509
13. Bertini T, Butkute ​​K, Canessa F Slimme vluchtverzekering – verzekert. Online beschikbaar op http://mkvd.s3.amazonaws.com/apps/InsurEth.pdf (2015). Laatst geopend: 2020-10-10
14. Bogner A, Chanson M, Meeuw A (2016) Een gedecentraliseerde app voor delen met een slim contract op de etherische blockchain. In: Proceedings van de 6e internationale conferentie over het internet der dingen. Association for Computing Machinery, New York, pp 177-178
15. Bragagnolo S, Rocha H, Denker M, Ducasse S (2018) Smartinspect: Solidity slimme contractinspecteur. In: 2018 Internationale workshop over blockchain-georiënteerde software-engineering (IWBOSE), pp 9-18
16. Buterin V et al (2014) Een slim contract en gedecentraliseerd applicatieplatform van de volgende generatie. wit papier
17. Casado-Vara R, Prieto J, [la Prieta] FD, Corchado JM (2018) Hoe blockchain de toeleveringsketen verbetert: casestudy voedselvoorzieningsketen. Procedia Comput Sci 134:393-398. De 15e Internationale Conferentie over Mobiele Systemen en Pervasive Computing (MobiSPC 2018) / De 13e Internationale Conferentie over Toekomstige Netwerken en Communicatie (FNC-2018) / Aangesloten workshopsArtikel Google geleerde 
18. Chen T, Li Z, Zhou H, Chen J, Luo X, Li X, Zhang X (2018) Op weg naar geld besparen bij het gebruik van slimme contracten. In: Proceedings van de 40e internationale conferentie over software-engineering: nieuwe ideeën en opkomende resultaten. Association for Computing Machinery, New York, pp 81-84
19. Cheng S, Shi W, Zhang H (2019) Voltimebank: een vrijwilligerssysteem voor wederzijds pensioen op basis van blockchain. In: Proceedings of the 2019 International Conference on Blockchain Technology. Association for Computing Machinery, New York, pp 75-79
20. Ciocarlie G, Eldefrawy K, Lepoint T (2018) Blockcis – een op blockchain gebaseerd cyberverzekeringssysteem. In: Proceedings van de 2018 IEEE International Conference on Cloud Engineering (IC2E), Orlando, FL, VS, pp 17-20
21. Cuccuru P (2017) Beyond bitcoin: een vroeg overzicht van slimme contracten. IJ Law Inform Technol 25 (3): 179-195Artikel Google geleerde 
22. Dagher GG, Mohler J, Milojkovic M, Marella PB (2018) Ancile: privacybehoudend kader voor toegangscontrole en interoperabiliteit van elektronische medische dossiers met behulp van blockchain-technologie. Duurzame steden en samenleving 39:283–297Artikel Google geleerde 
23. Dangl A Toptrends 2020: Hyperautomatisering en slimme contracten. Online beschikbaar op https://www.fabasoft.com/en/news/blog/top-trends-2020-hyperautomation-and-smart-contracts (2019). Laatst geopend: 2020-10-07
24. Dasaklis TK, Casino F, Patsakis C (2019) Het definiëren van granulariteitsniveaus voor traceerbaarheid van de toeleveringsketen op basis van iot en blockchain. In: Proceedings of the International Conference on Omni-Layer Intelligent Systems. Association for Computing Machinery, New York, pp 184-190
25. DHarz D, Knottenbelt W (2018) Op weg naar veiliger slimme contracten: een overzicht van talen en verificatiemethoden. arXiv voordruk arXiv: 1809.09805
26. Dickerson T, Gazzillo P, Herlihy M, Koskinen E (2019) Gelijktijdigheid toevoegen aan slimme contracten. Distrib-computing 33:1–17WiskundeSciNet WISKUNDE Google geleerde 
27. Dryja T, Glasbergen GJ, Lovejoy J Layer 2 – het bliksemnetwerk. Online beschikbaar op https://dci.mit.edu/lightning-network/ (2019). Laatst geopend: 2020-10-20
28. Dziembowski S, Eckey L, Faust S (2018) Fairswap: digitale goederen eerlijk uitwisselen. In: Proceedings van de 2018 ACM SIGSAC-conferentie over computer- en communicatiebeveiliging. Association for Computing Machinery, New York, pp 967-984
29. Ellul J, Pace GJ (2018) Alkylvm: een virtuele machine voor smart contract blockchain verbonden internet of things. In: 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp 1-4
30. Eltayieb N, Elhabob R, Hassan A, Li F (2020) Een op blockchain gebaseerd op attributen gebaseerd signcryptieschema om het delen van gegevens in de cloud te beveiligen. J Syst Archit 102:101653Artikel Google geleerde 
31. Fabasoft: Fabasoft-contracten. Online beschikbaar op https://www.fabasoft.com/en/products/fabasoft-contracts (2020). Laatst geopend: 2020-10-07
32. Farooq MS, Khan M, Abid A (2020) Een raamwerk om liefdadigheidsinzameling transparant en controleerbaar te maken met behulp van blockchain-technologie, vol 83
33. Feng X, Wang Q, Zhu X, Wen S (2019) Bug zoeken in slim contract. arXiv voordruk arXiv: 1905.00799
34. Gao Z, Xu L, Chen L, Shah N, Lu Y, Shi W (2017) Schaalbare op blockchain gebaseerde slimme contractuitvoering. In: 2017 IEEE 23Rd internationale conferentie over parallelle en gedistribueerde systemen (ICPADS), pp 352-359
35. AVG (2016) Verordening (eu) 2016/679 van het europees parlement en de raad van 27 april 2016 betreffende de bescherming van natuurlijke personen in verband met de verwerking van persoonsgegevens en betreffende het vrije verkeer van die gegevens, en tot intrekking van richtlijn 95 /46. Publicatieblad van de Europese Unie (PB) 59:1–88Google geleerde 
36. Guo H, Meamari E, Shen CC (2019) Op attributen gebaseerde toegangscontrole met meerdere autoriteiten met slim contract. In: Proceedings of the 2019 International Conference on Blockchain Technology. Association for Computing Machinery, New York, pp 6-11
37. Gupta R, Tanwar S, Al-Turjman F, Italiya P, Nauman A, Kim SW (2020) Smart contract privacybescherming met behulp van ai in cyber-fysieke systemen: tools, technieken en uitdagingen. IEEE-toegang 8:24746–24772Artikel Google geleerde 
38. Han S, Xu Z, Zeng Y, Chen L (2019) Fluid: een op blockchain gebaseerd raamwerk voor crowdsourcing. In: Proceedings van de 2019 International Conference on Management of Data. Vereniging voor computermachines, New York, pp 1921-1924
39. Hasan H, AlHadhrami E, AlDhaheri A, Salah K, Jayaraman R (2019) Slimme contractgebaseerde benadering voor efficiënt verzendbeheer. Comput Ind Eng 136:149–159Artikel Google geleerde 
40. Hu VC, Ferraiolo D, Kuhn R, Friedman AR, Lang AJ, Cogdell MM, Schnitzer A, Sandlin K, Miller R, Scarfone K et al (2013) Gids voor op attributen gebaseerde toegangscontrole (abac) definitie en overwegingen (concept). NIST speciale publicatie 800 (162):1–54Google geleerde 
41. Hu Y, Liyanage M, Mansoor A, Thilakarathna K, Jourjon G, Seneviratne A (2018) Blockchain-gebaseerde slimme contracten-toepassingen en uitdagingen. arXiv voordruk arXiv: 1810.04699
42. Hwang GH, Tien PC, Tang YH (2020) Blockchain-gebaseerd automatisch schadeloosstellingsmechanisme op basis van bewijs van overtreding voor cloudopslagservices. In: Proceedings van de 2020 The 2nd International Conference on Blockchain Technology. Association for Computing Machinery, New York, pp 90-94
43. Islam MN, Kundu S (2019) Ic-traceerbaarheid mogelijk maken via blockchain gekoppeld aan embedded puf. ACM Trans. des. Autom. Elektron. Systeem 24(3):1–23Artikel Google geleerde 
44. Javaid U, Aman MN, Sikdar B (2018) Blockpro: Blockchain-gebaseerde gegevensherkomst en integriteit voor veilige iot-omgevingen. In: Proceedings van de eerste workshop over Blockchain-enabled Networked Sensor Systems. Association for Computing Machinery, New York, pp 13-18
45. Javaid U, Siang AK, Aman MN, Sikdar B (2018) Verzachten van veel apparaatgebaseerde ddos-aanvallen met behulp van blockchain. In: Proceedings van de eerste workshop over cryptocurrencies en blockchains voor gedistribueerde systemen. Association for Computing Machinery, New York, pp 71-76
46. Jentzsch C (2016) Gedecentraliseerde autonome organisatie om governance te automatiseren. wit papier
47. Jiang B, Liu Y, Chan WK (2018) Contractfuzzer: Fuzzing slimme contracten voor detectie van kwetsbaarheden. In: Proceedings van de 33e ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, New York, pp 259-269
48. Kolluri A, Nikolic I, Sergey I, Hobor A, Saxena P (2019) Gebruik maken van de wetten van orde in slimme contracten. In: Proceedings van het 28e ACM SIGSOFT International Symposium on Software Testing and Analysis. Vereniging voor computermachines, New York, pp 363-373
49. Kosba A, Miller A, Shi E, Wen Z, Papamanthou C (2016) Hawk: het blockchain-model van cryptografie en privacybeschermende slimme contracten. In: 2016 IEEE Symposium over beveiliging en privacy (SP), IEEE, pp 839-858
50. Leng J, Jiang P, Xu K, Liu Q, Zhao JL, Bian Y, Shi R (2019) Makerchain: een blockchain met chemische handtekening voor zelforganiserend proces in sociale productie. J Clean Prod 234:7676778Artikel Google geleerde 
51. Levi SD, Lipton AB (2018) Een inleiding tot slimme contracten en hun potentiële en inherente beperkingen. In: Harvard Law School-forum over corporate governance en financiële regelgeving
52. Lewis AA zachte introductie tot slimme contracten. Online beschikbaar op https://bitsonblocks.net/2016/02/01/gentle-introduction-smart-contracts/ https://bitsonblocks.net/2016/02/01/gentle-introduction-smart-contracts/ (2016) . Laatst geopend: 2020-10-07
53. Lin J, Shen Z, Zhang A, Chai Y (2018) Blockchain en iot-gebaseerde voedseltraceerbaarheid voor slimme landbouw. In: Proceedings van de 3e Internationale Conferentie over Crowd Science and Engineering. Vereniging voor computermachines, New York
54. Liu C, Liu H, Cao Z, Chen Z, Chen B, Roscoe B (2018) Reguard: het vinden van herintredingsbugs in slimme contracten. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings. Association for Computing Machinery, New York, pp 65-68
55. Liu H, Zhang Y, Zheng S, Li Y (2019) Handelsmechanisme voor elektrische voertuigen op basis van blockchain en slim contract in v2g-netwerk. IEEE-toegang 7:160546–160558Artikel Google geleerde 
56. Liu J, Liu Z (2019) Een onderzoek naar beveiligingsverificatie van slimme blockchain-contracten. IEEE-toegang 7:77894–77904Artikel Google geleerde 
57. Liu X, Muhammad K, Lloret J, Chen YW, Yuan SM (2019) Elastische en kosteneffectieve gegevensdragerarchitectuur voor slim contract in blockchain. Futur Gener Comput Syst 100:590-599Artikel Google geleerde 
58. Loukil F, Ghedira-Guegan C, Boukadi K, Benharkat AN (2018) Op weg naar een end-to-end iot-kader voor het behoud van gegevensprivacy met behulp van blockchain-technologie. In: Internationale conferentie over Web Information Systems Engineering. Springer, Berlijn, pp 68-78
59. Luu L, Chu DH, Olickel H, Saxena P, Hobor A (2016) Slimme contracten slimmer maken. In: Proceedings van de 2016 ACM SIGSAC-conferentie over computer- en communicatiebeveiliging. Association for Computing Machinery, New York, pp 254-269
60. Macrinici D, Cartofeanu C, Gao S (2018) Slimme contracttoepassingen binnen blockchain-technologie: een systematische mappingstudie. Telematica informeren 35(8):2337-2354Artikel Google geleerde 
61. Maesa DDF, Mori P, Ricci L (2019) Een op blockchain gebaseerde benadering voor de definitie van controleerbare toegangscontrolesystemen. Computers en beveiliging 84:93–119Artikel Google geleerde 
62. Memoria F Smartbillions daagt hackers uit met 1.500 etherbeloningen, wordt gehackt en haalt het meeste eruit. Online beschikbaar op https://www.ccn.com/smartbillions-challenges-hackers-1500-ether-reward-gets-hacked-pulls/ https://www.ccn.com/smartbillions-challenges-hackers-1500-ether -beloning-wordt-gehackt-pulls/ (2017). Laatst geopend: 2020-10-20
63. Meng W, Wang J, Wang X, Liu J, Yu Z, Li J, Zhao Y, Chow SS (2018) Position paper over blockchain-technologie: slim contract en toepassingen. In: Internationale conferentie over netwerk- en systeembeveiliging, Springer, pp 474-483
64. Meskini F, Islamic RA (2019) Multi-agent-gebaseerde simulatie van een slimme verzekering met behulp van blockchain-technologie. In: 2019 Derde Internationale Conferentie over Intelligent Computing in Data Sciences (ICDS), IEEE, pp 1-6
65. Missier P, Bajoudah S, Capossele A, Gaglione A, Nati M (2017) Let op mijn waarde: een gedecentraliseerde infrastructuur voor eerlijke en vertrouwde iot-gegevenshandel. In: Proceedings van de zevende internationale conferentie over het internet der dingen. Vereniging voor computermachines, New York
66. Mohanta BK, Panda SS, Jena D (2018) Een overzicht van slimme contracten en use-cases in blockchain-technologie. In: 9e internationale conferentie over computer-, communicatie- en netwerktechnologieën, ICCCNT 2018, bengaluru, india, 10-12 juli 2018, IEEE, pp 1-4
67. Muneeza A, Arshad NA, Arifin AT et al (2018) De toepassing van blockchain-technologie bij crowdfunding: op weg naar financiële inclusie via technologie. Int J Manag Appl Res 5(2):82–98Artikel Google geleerde 
68. Murray Y, Anisi DA (2019) Onderzoek naar formele verificatiemethoden voor slimme contracten op blockchain. In: 10e IFIP internationale conferentie over nieuwe technologieën, mobiliteit en veiligheid, NTMS 2019, canarische eilanden, spanje, 24-26 juni 2019, IEEE, pp 1-6
69. Nakamoto S Bitcoin: een peer-to-peer elektronisch geldsysteem. Online beschikbaar op https://bitcoin.org/bitcoin.pdf (2008). Laatst geopend: 2020-10-20
70. Nizamuddin N, Salah K, Azad] MA, Arshad J, Rehman M (2019) Gedecentraliseerd documentversiebeheer met behulp van ethereum blockchain en ipfs. Bereken Elektr Eng 76: 183-197Artikel Google geleerde 
71. Nxt-community: Nxt-whitepaper. Online beschikbaar op https://nxtdocs.jelurida.com/Nxt_Whitepaper (2016). Laatst geopend: 2020-10-07
72. Omar AA, Bhuiyan MZA, Basu A, Kiyomoto S, Rahman MS (2019) Privacyvriendelijk platform voor zorggegevens in de cloud op basis van blockchain-omgeving. Futur Gener Comput Syst 95:511–521Artikel Google geleerde 
73. Osterland T, Rose T (2020) Modelcontrole van slimme contracten voor ethereum. Pervasive and Mobile Computing 63:101129Artikel Google geleerde 
74. Ouaddah A, Elkalam AA, Ouahman AA (2017) De kracht van blockchain-technologie benutten om iot-beveiligings- en privacyproblemen op te lossen. In: Proceedings of the Second International Conference on Internet of Things, Data and Cloud Computing, ICC’17. Vereniging voor computermachines, New York
75. Panja S, Bag S, Hao F, Roy B (2020) Een slim contractsysteem voor gedecentraliseerd stemmen op bordatelling. IEEE Trans Eng Manag 67(4):1323-1339Artikel Google geleerde 
76. Poon J, Buterin V (2017) Plasma: schaalbare autonome slimme contracten, pp 283-295
77. Praitheeshan P, Pan L, Yu J, Liu J, Doss R (2019) Methoden voor beveiligingsanalyse op ethereum smart contract-kwetsbaarheden: een onderzoek. arXiv voordruk arXiv: 1908.08605
78. Regnath E, Steinhorst S (2018) Smaconat: slimme contracten in natuurlijke taal. In: 2018 Forum over specificatie- en ontwerptalen (FDL), IEEE, pp 5-16
79. Reyna A, Martín C, Chen J, Soler E, Díaz M (2018) Over blockchain en de integratie ervan met iot. uitdagingen en kansen. Toekomstige Gener Comput Syst 88: 173-190Artikel Google geleerde 
80. Rieth Y Betaalsystemen: Visa vs. bitcoin. Online beschikbaar op https://decenter.org/en/payment-systems-visa-vs-bitcoin (2018). Laatst geopend: 2020-10-10
81. Rouhani S, Deters R (2019) Beveiliging, prestaties en toepassingen van slimme contracten: een systematisch onderzoek. IEEE-toegang 7:50759-50779Artikel Google geleerde 
82. Saleh H, Avdoshin S, Dzhonov A (2019) Platform voor het volgen van donaties van liefdadigheidsstichtingen op basis van blockchain-technologie. In: 2019 Actuele problemen van systemen en software-engineering (APSSE), IEEE, pp 182-187
83. Schrans F, Eisenbach S, Drossopoulou S (2018) Veilige slimme contracten schrijven in vuursteen. In: Conferentie metgezel van de 2e internationale conferentie over kunst, wetenschap en engineering van programmeren, pp 218-219
84. Scoca V, Uriarte RB, De Nicola R (2017) Slimme contractonderhandelingen in cloud computing. In: 2017 IEEE 10e internationale conferentie over cloud computing (CLOUD), pp 592-599
85. Sergey I, Nagaraj V, Johannsen J, Kumar A, Trunov A, Hao KCG (2019) Veiliger programmeren van slimme contracten met scilla. Proc. ACM-programma. Lang 3 (OOPSLA)
86. Shariar A, Imran MA, Paul P, Rahman A (2020) Een gedecentraliseerd computersysteem gebouwd op blockchain voor onderwijsinstellingen. In: Proceedings of the International Conference on Computing Advancements, ICCA. Vereniging voor computermachines, New York, p 2020
87. Shi F, Qin Z, Wu D, McCann J (2018) Mpcstoken: Smart contract maakte fouttolerante stimulering mogelijk voor mobiele p2p-crowdservices. In: 2018 IEEE 38e internationale conferentie over gedistribueerde computersystemen (ICDCS), pp 961–971
88. Shi N, Tan L, Li W, Qi X, Yu K (2020) Een blockchain-empowered aaa-schema in het grootschalige hetnet. Digitale communicatie en netwerken
89. Singh A, Parizi RM, Zhang Q, Choo KKR, Dehghantanha A (2020) Blockchain-formalisering van slimme contracten: benaderingen en uitdagingen om kwetsbaarheden aan te pakken. Computers en beveiliging 88:101654Artikel Google geleerde 
90. Singla V, Malav IK, Kaur J, Kalra S (2019) Ontwikkel verloftoepassing met behulp van blockchain smart contract. In: 2019 11e internationale conferentie over communicatiesysteemnetwerken (COMSNETS), pp 547-549
91. Sirisha NS, Agarwal T, Monde R, Yadav R, Hande R (2019) Voorgestelde oplossing voor traceerbare donaties met behulp van blockchain. In: 2019 Internationale conferentie over ontluikende technologieën in engineering (ICNTE), IEEE, pp 1-5
92. TE-FOOD: Halal-voedselbedrijven gaan blockchain gebruiken. Online beschikbaar op https://cointelegraph.com/press-releases/halal-food-companies-are-going-to-blockchain (2018). Laatst geopend: 2020-10-01
93. Team T. Truffle: Ethereum-ontwikkelingskader. Online beschikbaar op https://github.com/trufflesuite/truffle (2016). Laatst geopend: 2020-10-20
94. Trotter L, Harding M, Elsden C, Davies N, Speed ​​C (2020) Een mobiel platform voor evenementgestuurde donaties met behulp van slimme contracten. In: Proceedings of the 21st International Workshop on Mobile Computing Systems and Applications. Association for Computing Machinery, New York, p 108
95. Udokwu C, Kormiltsyn A, Thangalimodzi K, Norta A (2018) De stand van de techniek voor blockchain-enabled smart-contract-toepassingen in de organisatie. In: 2018 Ivannikov ispras open conferentie (ISPRAS), IEEE, pp 137-144
96. Wang EK, Liang Z, Chen CM, Kumari S, Khan MK (2020) Porx: een reputatiestimulans voor blockchain-consensus van iiot. Futur Gener Comput Syst 102:140-151Artikel Google geleerde 
97. Wang H, Guo C, Cheng S (2019) Loc – een nieuw beheersysteem voor financiële leningen op basis van slimme contracten. Futur Gener Comput Syst 100:648–655Artikel Google geleerde 
98. Wang P, Liu X, Chen J, Zhan Y, Jin Z (2018) Qos-bewuste servicesamenstelling met behulp van op blockchain gebaseerde slimme contracten. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings. Association for Computing Machinery, New York, pp 296-297
99. Wang S, Yuan Y, Wang X, Li J, Qin R, Wang F (2018) Een overzicht van slim contract: architectuur, toepassingen en toekomstige trends. In: 2018 IEEE Intelligente voertuigen symposium, IV 2018, Changshu, Suzhou, China, 26-30 juni 2018, IEEE, pp 108-113
100. Wang X, Yang W, Noor S, Chen C, Guo M, [van Dam] KH (2019) Blockchain-gebaseerd slim contract voor beheer van de vraag naar energie. Energie Procedia 158:2719-2724. Innovatieve oplossingen voor energietransitiesArtikel Google geleerde 
101. Watanabe H, Fujimura S, Nakadaira A, Miyazaki Y, Akutsu A, Kishigami JJ (2015) Blockchain-contract: een volledige consensus met behulp van blockchain. In: 2015 IEEE 4e wereldwijde conferentie over consumentenelektronica (GCCE), IEEE, pp 577-578
102. Westerkamp M, Victor F, Küpper A (2019) Productieprocessen traceren met behulp van op blockchain gebaseerde token-composities. Digitale communicatie en netwerken
103. WIRED: Een hack van 50 miljoen heeft zojuist aangetoond dat de DAO maar al te menselijk was. Online beschikbaar op https://www.wired.com/2016/06/50-million-hack-just-showed-dao-human/ (2016). Laatst geopend: 2020-10-20
104. Wright K, Martinez M, Chadha U, Krishnamachari B (2018) Smartedge: een slim contract voor edge computing. In: 2018 IEEE Internationale conferentie over internet of things (ithings) en IEEE green computing and communications (greencom) en IEEE cyber, physical and social computing (CPSCom) en IEEE smart data (smartdata), pp 1685-1690
105. Xie W, Wang B, Ye Z, Wu W, You J, Zhou Q (2019) Op simulatie gebaseerd blockchain-ontwerp om de biofarmaceutische toeleveringsketen te beveiligen. In: Proceedings of the Winter Simulation Conference, IEEE Press, pp 797–808
106. Xiong W, Xiong L (2019) Slimme contractgebaseerde gegevenshandelsmodus met behulp van blockchain en machine learning. IEEE-toegang 7:102331–102344Artikel Google geleerde 
107. Xu R, Lin X, Dong Q, Chen Y (2018) Het bouwen van betrouwbare en veilige gemeenschappen op een blockchain-enabled sociaal kredietsysteem. In: Proceedings van de 15e EAI International Conference on Mobile and Alomtegenwoordige Systems: Computing, Networking and Services. Association for Computing Machinery, New York, pp 449-453
108. Xu X, Lu Q, Liu Y, Zhu L, Yao H, Vasilakos AV (2019) Het ontwerpen van op blockchain gebaseerde toepassingen, een casestudy voor de traceerbaarheid van geïmporteerde producten. Futur Gener Comput Syst 92:399–406Artikel Google geleerde 
109. Yang Z, Lei H (2019) Fether: een uitbreidbare definitie-interpreter voor slimme contractverificaties in coq. IEEE-toegang 7:37770-37791Artikel Google geleerde 
110. Yeh K, Su C, Hou J, Chiu W, Chen C (2018) Een robuust mobiel betalingsschema met op slimme contracten gebaseerde transactierepository. IEEE-toegang 6:59394-59404Artikel Google geleerde 
111. Yu K, Tan L, Shang X, Huang J, Srivastava G, Chatterjee P (2020) Efficiënt en privacybeschermend ondersteuningsplatform voor medisch onderzoek tegen covid-19: een op blockchain gebaseerde benadering. IEEE Consumer Electronics Magazine
112. Yu KP, Tan L, Aloqaily M, Yang H, Jararweh Y (2021) Blockchain-verbeterde gegevensuitwisseling met traceerbare en directe intrekking in iiot. IEEE-transacties op industriële informatica
113. Zhang F, Cecchetti E, Croman K, Juels A, Shi E (2016) Stadsomroeper: een geverifieerde datafeed voor slimme contracten. In: Proceedings van de 2016 ACM SIGSAC-conferentie over computer- en communicatiebeveiliging. Association for Computing Machinery, New York, pp 270-282
114. Zhang Y, Kasahara S, Shen Y, Jiang X, Wan J (2019) Slimme contractgebaseerde toegangscontrole voor het internet der dingen. IEEE Internet of Things Journal 6(2):1594-1605Artikel Google geleerde 
115. Zhao S, O’Mahony D (2018) Bmcprotector: een op blockchain en smart contract gebaseerde applicatie voor de bescherming van muziekauteursrecht. In: Proceedings van de 2018 International Conference on Blockchain Technology and Application. Association for Computing Machinery, New York, pp 1-5
116. Zhao Y, Liu Y, Tian A, Yu Y, Du X (2019) Blockchain-gebaseerde privacybehoudende software-updates met proof-of-delivery voor internet of things. Journal of Parallel and Distributed Computing 132:141–149Artikel Google geleerde 
117. Zheng Z, Xie S, Dai HN, Chen W, Chen X, Weng J, Imran M (2020) Een overzicht van slimme contracten: uitdagingen, vooruitgang en platforms. Futur Gener Comput Syst 105:475-491Artikel Google geleerde 
118. Zhou H, de Laat C, Zhao Z (2018) Betrouwbare handhaving van cloudserviceniveau-overeenkomsten met op blockchain gebaseerd slim contract. In: 2018 IEEE International Conference on Cloud Computing Technology and Science (cloudcom), pp 255-260
119. Zichichi M, Contu M, Ferretti S, DAngelo G (2019) Likestarter: een op slimme contracten gebaseerde sociale dao voor crowdfunding. In: IEEE INFOCOM 2019 – IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), pp 313-318
120. Zou W, Lo D, Kochhar PS, Le XBD, Xia X, Feng Y, Chen Z, Xu B (2019) Slimme contractontwikkeling: uitdagingen en kansen. IEEE-transacties op software-engineering

Referenties downloaden

Auteurs informatie

voorkeuren

1. Zayed University, Dubai, Verenigde Arabische EmiratenShafaq Naheed Khan & Anoud Bani-Hani
2. universiteit Polytechnic Hauts-de-France, LAMIH, CNRS, UMR 8201, F-59313, Valenciennes, FrankrijkFaiza Loukil
3. Universiteit van Lyon, iaelyon school of Management, Universiteit Jean Moulin Lyon 3, CNRS, LIRIS, Lyon, FrankrijkChirine Ghedira-Guegan
4. Staffordshire University, Stoke on Trent, VKElhadj Benkhelifa

Corresponderende auteur

Correspondentie met Faiza Loukil .

Ethische verklaringen

Belangenverstrengeling

De auteurs verklaren dat ze geen belangenconflict hebben.

Extra informatie

Opmerking van de uitgever

Springer Nature blijft neutraal met betrekking tot jurisdictieclaims in gepubliceerde kaarten en institutionele voorkeuren.

Dit artikel maakt deel uit van de Topical Collection: Special Issue on Blockchain for Peer-to-Peer Computing

Gastredacteuren: Keping Yu, Chunming Rong, Yang Cao en Wenjuan Li

Rechten en machtigingen

Herdrukken en machtigingen

Over dit artikel

Citeer dit artikel

Khan, SN, Loukil, F., Ghedira-Guegan, C. et al. Blockchain slimme contracten: toepassingen, uitdagingen en toekomstige trends. Peer-to-Peer Netw. toepassing 14, 2901-2925 (2021). https://doi.org/10.1007/s12083-021-01127-0

Citaat downloaden

• Hebben ontvangen30 oktober 2020
• Geaccepteerd15 maart 2021
• gepubliceerd18 april 2021
• Datum van uitgaveseptember 2021
• DOIhttps://doi.org/10.1007/s12083-021-01127-0