SmartContractRL The following code was created and validated by Jose Juan de Leon, Cenchuan Zhang, Christos Koulouris, Francesca Medda and Rahul Ravji.