PHD COLLOQUIA-1

Academic year
2024/2025 Syllabus of previous years
Official course title
PHD COLLOQUIA-1
Course code
PHD206-1 (AF:545148 AR:311532)
Modality
On campus classes
ECTS credits
2
Degree level
Corso di Dottorato (D.M.226/2021)
Educational sector code
INF/01
Period
Annual
Course year
1
Where
VENEZIA
Moodle
Go to Moodle page
This 10-hour intensive course aims to provide an in-depth overview of resource-aware programming, with a particular focus on the Move language, developed to ensure security and efficiency in the programming of smart contracts and decentralized applications for blockchain.
Learning the Move language and the foundational principles of secure smart contract programming according to the principles of resource-aware programming.
A basic understanding of language theory and type systems is recommended, but no prerequisites are required in general.
Introduction to Smart Contracts and Decentralized Finance.

Introduction to Resource-Aware Programming for writing smart contracts that securely handle money.

The Move Language, its fundamentals, and its type system.

Linear Type Systems and how they can prevent errors like double spending at compile time.

Practical Applications and Case Studies: oracle bet, auctions, and other notable contracts.
There are no actual textbooks, but online materials:

https://move-book.com/reference/
https://aptos.dev/en/build/smart-contracts/book
Brief oral examination with optional discussion of a small smart contract written for the occasion by the doctoral student.
Lecture with slides and live coding.
English
oral
Definitive programme.
Last update of the programme: 28/10/2024