Questo progetto di ricerca ingegneristica è focalizzato sull’implementazione degli Smart Contract nativi di Bitcoin. Il lavoro documenta lo studio approfondito dell’architettura SegWit e l’utilizzo avanzato del linguaggio Bitcoin Script per la costruzione di logiche crittografiche complesse.
Le tematiche avanzate esplorate (supportate dallo sviluppo di un ambiente Docker dedicato per l’esecuzione dei test in locale) includono:
- Risoluzione della Transaction Malleability: Analisi dettagliata di questo storico bug e di come l’implementazione di Segregated Witness (SegWit) lo abbia risolto, separando il witness dagli input.
- Multisig e P2SH: Evoluzione degli script multifirma: dai primitivi P2MS alla creazione da zero di indirizzi Pay To Script Hash (P2SH) 2-di-3, analizzando la risoluzione dello stack durante le validazioni.
- Firma di Transazioni (Legacy vs SegWit): Workflow completo per la costruzione e firma manuale (ECDSA) di transazioni. Studio delle differenze di serializzazione e del nuovo calcolo del peso (vbyte) introdotto da SegWit per le transazioni P2WPKH.
- Timelocks e Smart Contracts (HTLC): Controllo temporale dei fondi tramite nLockTime, nSequence, CLTV e CSV. Sviluppo di script condizionali avanzati (OP_IF) e implementazione nativa degli HTLC, le fondamenta architetturali di Lightning Network.
Questo meticoloso lavoro di retro-ingegneria, eseguito interamente in Bash (senza librerie esterne ad astrarre la complessità), ha solidificato competenze critiche: la concatenazione di firme digitali, l’utilizzo avanzato di linguaggi stack-based e la programmazione di Smart Contract da zero. Inoltre, la gestione pratica dei nodi di rete ha permesso di comprendere l’importanza dell’ottimizzazione dei payload trasmessi (analisi e riduzione del “peso” in byte), aspetto vitale per l’ingegnerizzazione di reti P2P su scala globale.