Rholang is een programmeertaal die kan worden gebruikt voor het schrijven van blockchainapplicaties, zoals bijvoorbeeld smart contracts. Een smart contract dat in Rholang wordt geschreven is gebaseerd op zogenaamde process calculus, een mechanisme dat ervoor zorgt dat systemen die gelijktijdig protocollen moeten uitvoeren, op de juiste manier worden ondersteund. Rholang is in een aantal opzichten te vergelijken met programmeertalen zoals Java, Scala en C#. Hierdoor worden programmeurs in de gelegenheid gesteld om voor hen bekende programma’s te gebruiken, om zo weer andere software te ontwikkelen, waarmee nog complexere toepassingen kunnen worden uitgevoerd. Met behulp van Rholang wordt het eenvoudiger om decentrale applicaties (dapps) voor het bedrijfsleven te ontwikkelen op grote schaal. Toepassingen die worden geschreven in Rholang worden ook wel aangeduid met de term: ‘behavioral types‘. Dit is een relatief nieuwe ontwikkeling op het gebied van programmeren, waarbij meer informatie over het gedrag en de structuur van de code, is geïntegreerd op een hoger niveau dan de code zelf. Behavioral types omschrijven in feite de regels waaraan de smart contract-code zich moet houden.

The DAO hack

Dat betekent bijvoorbeeld dat een contract pas weer kan worden aangeroepen, nadat de staat van het contract (de toestand) is geüpdatet. Behavioral types maken het blockchain-protocol aanzienlijk veiliger. Een goed voorbeeld is de aanval op The DAO (een decentraal gedistribueerd investeringsfonds dat in 2016 door de Ethereum-community werd opgezet). Bij deze aanval zag een hacker kans om een bug in de smart contract-code uit te buiten en zo een flink bedrag uit het investeringsfonds te onttrekken. Het smart contract dat was geprogrammeerd in Solidity (een van de belangrijkste programmeertalen van Ethereum) werd keer op keer opgevraagd, voordat er door het blockchain-protocol een zogenaamde balans-update werd uitgevoerd. Als The DAO destijds gebruik had gemaakt van een programmeertaal zoals Rholang, dan had het systeem waarschijnlijk snel gesignaleerd dat de handelingen binnen het netwerk niet veilig waren. Dan was er namelijk eerst een update uitgevoerd en daarna meteen ontdekt dat er iets niet klopte aan het saldo. Bij de DAO-hack werd immers niet gehandeld volgens de regels van de behavioral types, iets dat bij Rholang wel het geval zou zijn geweest. De programmeertaal Rholang werd gebruikt voor applicaties op het inmiddels niet meer bestaande RChain-platform.

Op de hoogte blijven van de ontwikkelingen op het gebied van blockchaintechnologie? Meld je dan nu aan voor de blogpost!