Filip Koprivec: Inheritance with subtyping in Solidity

Datum objave: 8. 9. 2021
Seminar za temelje matematike in teoretično računalništvo
10.15 - 12.00
Spletni seminar
ID: 963 7253 5713

Abstract: Technologies built using smart contracts are becoming increasingly more common. On of the most commonly used languages is Solidity programming language that targets EVM (etherium virtual machine). In this talk I will briefly introduce smart contracts, ideas behind them and general computing platform as well as specific constraints and quirks when dealing with smart contracts and blockchain. The rest of the talk will be focused on specific implementation of contract inheritance with respect to subtypes in Solidity that can be deemed strange and problems that arose from trying to fix it.