RSS Meetup June#2: Afonso Falcão

RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods.

Title: SmartScribble: Safer Smart Contracts
Speaker: Afonso Falcão (LASIGE, DI-FCUL)
When: Tuesday, June 22, 14h00

Abstract: Blockchain is considered one of the technologies of the future. Over the last years, a myriad of blockchain-based solutions has been discovered and implemented. At the centre of this revolution are smart contracts, scripts deployed on the blockchain that automatically execute procedures that usually involve assets. Unfortunately, several well-known attacks exploited vulnerabilities in smart contracts leading to huge monetary losses.
In this talk, I will present SmartScribble: a programming language for the specification of protocols for smart contracts. Protocols in SmartScribble describe valid patterns of interaction between user and endpoints. From a protocol specification, our compiler automatically generates a smart contract, to which the developer can add relevant business logic. SmartScribble relies on finite state machines to control endpoint invocation. As a proof-of-concept, we target Plutus, the contract programming language for the Cardano Blockchain. Preliminary evaluation points to a 75% decrease in the amount of code that developers write coupled with increased reliability of the contracts.

Short bio: I am an MSc student in FCUL working at LASIGE research unit. I have also completed my BSc in Informatics Engineering in FCUL.
Over the last year, I have been mainly focused on studying blockchain and smart contracts programming languages – the subject of my master thesis. I have also worked on other projects such as Waste2Block (a blockchain-based solution for waste management) and non-blockchain projects such as AlarmBot (