PHD COLLOQUIA-1

Anno accademico
2024/2025 Programmi anni precedenti
Titolo corso in inglese
PHD COLLOQUIA-1
Codice insegnamento
PHD206-1 (AF:545148 AR:311532)
Modalità
In presenza
Crediti formativi universitari
2
Livello laurea
Corso di Dottorato (D.M.226/2021)
Settore scientifico disciplinare
INF/01
Periodo
Annuale
Anno corso
1
Sede
VENEZIA
Spazio Moodle
Link allo spazio del corso
Questo corso intensivo di 10 ore si propone di fornire una panoramica approfondita della resource-aware programming ed in particolare del linguaggio Move, sviluppato per garantire la sicurezza e l'efficienza nella programmazione di smart contract e applicazioni decentralizzate per la blockchain.
Apprendimento del linguaggio Move e dei principi fondanti nella programmazione sicura di smart contract secondo i dettami della resource-aware programming.
E' raccomandata una infarinatura di teoria dei linguaggi e di type system, ma in generale non è necessario nessun prerequisito.
Introduzione agli Smart Contract ed alla finanza decentralizzata.

Introduzione alla Resource-aware Programming per la scrittura di smart contract che manipolano denaro in modo sicuro.

Il Linguaggio Move, i suoi fondamenti e il suo type system.

Type System Lineari e come possono preverine errori come il double spending a compile time.

Applicazioni Pratiche e Casi Studio: scommesse, asta e altri contratti notevoli.
Non ci sono veri e propri libri di testo ma materiale online:

https://move-book.com/reference/
https://aptos.dev/en/build/smart-contracts/book
Breve interrogazione orale con discussione opzionale di piccolo smart contract scritto per l'occasione dal dottorando.
Lezione frontale con slide e live coding.
Inglese
orale
Programma definitivo.
Data ultima modifica programma: 28/10/2024