Corso di Smart Contract

Lezione 1 • Cosa Sono gli Smart Contract

Definisce gli smart contract come codice auto-esecutivo che applica automaticamente i termini di un accordo. Stabilisce il vocabolario utilizzato in tutto il corso.

Lezione 2 • Ciclo di Vita dello Smart Contract

Traccia il percorso di un contratto dalla stesura, attraverso la distribuzione, fino all'esecuzione e alla cessazione. Fornisce agli studenti un modello mentale per tutti gli argomenti tecnici successivi.

Lezione 3 • Casi d'Uso in Diversi Settori

Esamina applicazioni reali in finanza, catena di approvvigionamento, sanità e settore immobiliare. Motiva gli studenti ancorando concetti astratti a risultati pratici.

Lezione 1 • Scegliere un Linguaggio per Contratti

Confronta i linguaggi dominanti per smart contract in base a sintassi, caratteristiche di sicurezza e maturità dell'ecosistema. Guida gli studenti verso una scelta informata del linguaggio per i loro progetti.

Lezione 2 • Variabili di Stato e Archiviazione

Spiega come i contratti persistono i dati sulla catena e le implicazioni di costo dell'archiviazione. Gli studenti imparano a progettare layout di stato efficienti.

Lezione 3 • Test di Unità della Logica Contrattuale

Introduce i framework di test e la pratica di verificare il comportamento del contratto prima della distribuzione. Stabilisce abitudini di garanzia della qualità già nelle prime fasi del corso.

Lezione 4 • Sintassi e Tipi Fondamentali del Linguaggio

Copre variabili, tipi di dati, funzioni e flusso di controllo specifici dei linguaggi per contratti. Fornisce le basi sintattiche per scrivere qualsiasi logica contrattuale.

Lezione 1 • Verifica del Codice Sorgente

Invia il codice sorgente del contratto agli esploratori di blocchi per la verifica pubblica e la trasparenza. Crea fiducia negli utenti e semplifica gli audit futuri.

Lezione 2 • Test di Integrazione e di Scenario

Estende i test di unità alle interazioni multi-contratto e a scenari utente realistici. Rileva i bug di integrazione che i test di unità non individuano.

Lezione 3 • Ambienti di Sviluppo Locali

Configura simulatori blockchain locali e framework di sviluppo per un'iterazione rapida. Stabilisce la toolchain utilizzata in tutti gli esercizi di distribuzione successivi.

Lezione 4 • Script di Distribuzione e Automazione

Scrive script di distribuzione riproducibili che gestiscono argomenti del costruttore e dipendenze. Riduce l'errore umano nelle distribuzioni in produzione.

Lezione 1 • Schemi di Controllo degli Accessi

Copre proprietà, permessi basati sui ruoli e schemi di autorizzazione a firma multipla. Affronta direttamente la fonte più frequente di vulnerabilità nei contratti.

Lezione 2 • Schemi di Fabbrica e Registro

Mostra come un singolo contratto possa distribuire e tracciare più contratti figli. Abilita architetture scalabili senza ridistribuzione manuale.

Lezione 3 • Schemi di Pagamento Pull ed Escrow

Dimostra schemi sicuri di trasferimento di valore che prevengono rientranze e invii falliti. Si collega direttamente al capitolo sulla sicurezza che segue.

Lezione 4 • Schemi di Proxy e Aggiornabilità

Spiega come i contratti proxy delegano le chiamate ai contratti di logica, consentendo gli aggiornamenti. Gli studenti valutano i compromessi tra aggiornabilità e immutabilità.

Lezione 1 • Audit e Analisi Statica

Introduce la metodologia di audit manuale e gli strumenti di analisi statica automatizzata. Gli studenti producono un rapporto di audit strutturato per un contratto campione.

Lezione 2 • Vulnerabilità di Rientranza e Chiamata

Analizza gli attacchi di rientranza e gli exploit di chiamata tra funzioni con esempi di codice reale. Gli studenti implementano il modello controlli-effetti-interazioni e le protezioni contro la rientranza.

Lezione 3 • Modellazione delle Minacce per i Contratti

Applica la modellazione strutturata delle minacce per identificare le superfici di attacco prima di iniziare a scrivere codice. Inquadra la sicurezza come disciplina di progettazione, anziché come pensiero successivo.

Lezione 4 • Exploit su Interi e Aritmetici

Copre le vulnerabilità di overflow, underflow e perdita di precisione nell'aritmetica dei contratti. Gli studenti applicano librerie matematiche sicure e protezioni a livello di compilatore.

Lezione 1 • Standard per Token Fungibili

Spiega l'interfaccia, gli eventi e i comportamenti richiesti dallo standard dominante per i token fungibili. Gli studenti implementano da zero un token conforme.

Lezione 2 • Standard Multi-Token

Introduce standard di trasferimento batch che combinano asset fungibili e non fungibili in un unico contratto. Riduce i costi di distribuzione per sistemi di asset complessi.

Lezione 3 • Standard per Token Non Fungibili

Copre il modello di proprietà unica, lo schema di metadati e la meccanica di trasferimento degli standard NFT. Gli studenti coniano e trasferiscono NFT in un ambiente di test.

Lezione 4 • Considerazioni sulla Sicurezza dei Token

Identifica i vettori di attacco specifici per i token, inclusi gli exploit di approvazione e la manipolazione dei flash loan. Applica gli schemi di sicurezza del Capitolo 4 ai contratti per token.

Lezione 1 • Componibilità dei Protocolli e Rischio

Analizza come i contratti interagiscono tra i protocolli e i rischi sistemici che la componibilità introduce. Gli studenti mappano le catene di dipendenza per uno stack di protocollo campione.

Lezione 2 • Logica del Market Maker Automatizzato

Deriva la formula del prodotto costante e implementa le funzioni di scambio e liquidità. Collega gli standard sui token del Capitolo 6 alla meccanica di scambio.

Lezione 3 • Contratti di Prestito e Debito

Modella la collateralizzazione, la maturazione degli interessi e la logica di liquidazione nel codice del contratto. Gli studenti tracciano un ciclo completo di prestito-rimborso attraverso lo stato del contratto.

Lezione 4 • Flash Loan e Transazioni Atomiche

Spiega come funzionano i prestiti non garantiti all'interno di una singola transazione e i loro usi legittimi. Gli studenti scrivono un contratto ricevente di flash loan.

Lezione 1 • Dismissione e Migrazione del Contratto

Pianifica ed esegue migrazioni sicure quando i contratti devono essere sostituiti o ritirati. Garantisce la continuità dei fondi e dei dati degli utenti durante le transizioni.

Lezione 2 • Controlli di Timelock e Multi-Firma

Integra controller di blocco temporale e portafogli a firma multipla come livelli di sicurezza della governance. Protegge i protocolli da modifiche affrettate o dannose dei parametri.

Lezione 3 • Aggiornamenti di Parametri e Protocolli

Gestisce le modifiche dei parametri a runtime e gli aggiornamenti del contratto tramite voti di governance. Applica gli schemi proxy del Capitolo 3 in un contesto di governance.

Lezione 4 • Fondamenti di Governance On-Chain

Spiega la creazione delle proposte, i periodi di voto, le soglie di quorum e i ritardi di esecuzione. Stabilisce il vocabolario di governance utilizzato in tutto il capitolo.