2. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
Chi siamo
DirICTo è un network che raggruppa esperti e studiosi, di tutta l’Italia, in materia di
Diritto dell’Informatica e dell’Informatica Giuridica
http://www.diricto.it/
ICT for Law and Forensics è il laboratorio di Informatica Forense del Dipartimento di
Ingegneria Elettrica e Elettronica dell’Università di Cagliari
http://ict4forensics.diee.unica.it/
3. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Mining
• Verifica delle transazioni
• Sicurezza del sistema
• Conservazione e trasferimento
• Un po’ di numeri …
Profili tecnici;
4. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• I nodi della rete, i miner, utilizzano potenza di calcolo per
comporre e verificare i blocchi da aggiungere alla blockchain
• Questi complessi calcoli matematici devono essere
convalidati da una proof of work, un dato particolarmente
difficile da ottenere
• L'operazione genera in output un blocco di bitcoin che viene
attribuito al primo computer che ha risolto il problema e viene
aggiunto alla catena logica insieme a tutte le transazioni
associate.
Mining
5. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• La conservazione dei bitcoin avviene alternativamente in portafogli
on line, c.d. hot storage, o su supporti esterni scollegati dalla rete,
c.d. cold storage, eventualmente protetti con crittografia
• Il trasferimento dei bitcoin si basa su un protocollo crittografico a
chiavi asimmetriche
• Le parti vengono identificate tramite l'indirizzo IP e un nome a loro
scelta che può essere diverso per ogni transazione eseguita
• La catena delle transazioni (blockchain) è pubblica e ininterrotta e
consente di tracciare la storia dei blocchi di bitcoin e delle
transazioni loro associate in tutti i passaggi che la compongono
Conservazione e trasferimento
6. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Per la convalida di una transazione occorrono 6 blocchi di conferma
che vengono sottoposti a verifica dai peer della rete. Il tempo di
conferma può richiedere fino a un massimo di 50 minuti
• La verifica avviene tramite algoritmo di hash, una funzione non
reversibile che genera una stringa alfanumerica, detta digest, che varia
al variare degli elementi del file. In questo modo si può verificare che
non siano state effettuate modifiche successive alla conclusione della
transazione
• Ogni operazione sui bitcoin viene convalidata dall'applicazione di una
marca temporale
Verifica delle transazioni
7. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• La sicurezza del sistema si basa sulla proof of work:
• «L'épreuve consiste donc, pour une chaîne alphanumérique donnée, à y
concaténer une chaîne alphanumérique aléatoire jusqu'à ce que le hash
de l'ensemble soit inférieur à un seuil donné. »
https://fr.bitcoin.it/wiki/Preuve_de_travail
• ogni blocco contiene la trascrizione della proof of work di tutti i blocchi
precedenti e ogni modifica apportata su di esso si riflette su quelli
successivi
• l'applicazione dell'algoritmo SHA 256 genera in output un digest con
circa 0,6 x 10^80 chiavi possibili, rendendo il sistema immune dagli
attacchi con tecniche di forza bruta.
Sicurezza del sistema
8. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Il progetto Blockchain Thunder dovrebbe garantire la speditezza
delle transazioni (fino a 100.000 tps contro le 56.000 del circuito
Visa)
• ma ….
• Until both CSV and SegWit are implemented on the bitcoin
blockchain, transactions are not enforceable at the bitcoin protocol
level. So, the current Thunder prototype is best suited for
transactions among a trusted network of users. Try this amongst
your dev team or amongst your trusted internet friends, but don’t use
it for real payments. Remember: this is alpha testing software.
• https://blog.blockchain.com/2016/05/16/announcing-the-thunder-
network-alpha-release/
Blockchain Thunder
9. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
Rootstock
• Rootstock http://www.rootstock.io/ propone un sistema di
contrattazione sidechain
• Gli RSK vengono scambiati a parità coi BTC
• La start-up ha ricevuto finanziamenti per $ 5mln
• I codici del progetto non sono ancora stati pubblicati
10. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• C’è un limite alla produzione di unità pari a 21 milioni che può
essere innalzato col consenso unanime della community
• Ad oggi sono stati prodotti 15.744.675 BTC
• Ogni bitcoin è divisibile in millibitcoin, microbitcoin e in100.000.000
unità di base dette satoshi
• Il valore di cambio medio è di $ 640
• il volume di scambio medio nelle 24 ore è di $ 218.017.000
https://coinmarketcap.com/all/views/all/
Un po’ di numeri…
11. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• David Chaum, Blind signatures for untraceable payments, 1982
http://www.hit.bme.hu/~buttyan/courses/BMEVIHIM219/2009/Chau
m.BlindSigForPayment.1982.PDF
• David Chaum, Online Cash Cecks, 1989
https://w2.eff.org/Privacy/Digital_money/?f=online_cash_chaum.pap
er.txt
• Timothy C. May, The Crypto Anarchist Manifesto, 1988,
http://www.activism.net/cypherpunk/crypto-anarchy.html
• Nick Szabo, Contracts with Bearers, 1998,
http://szabo.best.vwh.net/bearer_contracts.html:
• Wei Dai, B-money 1998, http://www.weidai.com/bmoney.txt
• Satoshi Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System,
2008, http://bitcoin.org/bitcoin.pdf
Dal protocollo 'blind signature' ai Bitcoin
12. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• David Chaum, Blind signatures for untraceable payments, 1982
http://www.hit.bme.hu/~buttyan/courses/BMEVIHIM219/2009/Chau
m.BlindSigForPayment.1982.PDF
• propone un sistema di pagamento a firma digitale c.d. cieca da
applicare a un'emissione valutaria elettronica (e a nuove forme
monetarie)
• il garante-firmatario non ha la possibilità di leggere il contenuto del
messaggio che convalida
David Chaum
13. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Timothy C. May, The Crypto Anarchist Manifesto, 1988,
http://www.activism.net/cypherpunk/crypto-anarchy.html
• A specter is haunting the modern world, the specter of crypto anarchy.
Computer technology is on the verge of providing the ability for individuals and
groups to communicate and interact with each other in a totally
anonymous manner .
• Two persons may exchange messages, conduct business, and negotiate
electronic contracts without ever knowing the True Name, or legal identity,
of the other.
• Interactions over networks will be untraceable, via extensive re- routing of
encrypted packets and tamper-proof boxes which implement cryptographic
protocols with nearly perfect assurance against any tampering
Tim May
14. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Nel paper Contracts with Bearers del1998,
http://szabo.best.vwh.net/bearer_contracts.html Nick Szabo
propone di estendere il sistema di blind signature al
trasferimento di diritti diversi da quelli di credito
• Il sistema è ispirato al funzionamento delle macchine
distributrici automatiche e si basa su quelli che Szabo
definisce “Chaumian bearer certificates “
Nick Szabo
15. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Il paper B-money pubblicato da Wei Dai nel1998,
http://www.weidai.com/bmoney.txt descrive due modelli di soluzione
cripto-anarchica che sfuggono all'esecuzione forzata perché
l'anonimato copre ogni dato
• Nel primo schema ogni partecipante mantiene un database separato di
quanto denaro appartiene a ogni partecipante al network mentre nel
secondo il controllo è affidato solo ad alcuni partecipanti, detti server
• entrambi i protocolli si basano sull'esistenza di un network non
tracciabile in cui gli utenti vengono identificati solo tramite pseudonimi
digitali, che coincidono con le loro chiavi crittografiche pubbliche e ogni
messaggio è firmato con la chiave privata dal mittente e criptato con
quella pubblica del destinatario
Wei Dai
16. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Nel 2001 lo USA Patriot Act ha introdotto l'obbligo per i servizi di
money transfer di identificare i clienti (Know Your Customer Rule)
• Nel 2007 la KYCR è stata estesa al trasferimento di ogni genere di
valore
• Dal 2012 la KYCR è applicabile anche alle attività straniere che
consentono ai cittadini USA di aprire un account
U.S.A. Partiot Act
17. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• E-Gold era un protocollo di trasferimento valori che basava le
proprie operazioni su un controvalore in lingotti d'oro del peso
di 3.8 tonnellate.
• A seguito dell'interpretazione restrittiva delle regole anti
money laundering del Patriot Act i gestori della piattaforma
sono statti processati per crimini federali
• Gli asset non riconducibili a proprietari identificati sono stati
confiscati e devoluti a varie agenzie governative
Conseguenze: il caso E-Gold
18. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• La KYCR ha incentivato l’implementazione no asset backed dei
protocolli di moneta digitale
• Nel 2008 Satoshi Nakamoto ha presentato alla rete il protocollo
Bitcoin http://bitcoin.org/bitcoin.pdf
• il primo uso del modello di blockchain è stato quello relativo ai
pagamenti
Satoshi Nakamoto
19. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
• Il progetto Bitcoin è lo schema sui cui sono state modellate la
maggior parte delle monete virtuali presenti sul mercato
• in alcuni casi si è trattato della riprogettazione no asset backed di
protocolli preesistenti, come Ripple
• in altri vi è stata un'implementazione di alcuni elementi del Bitcoin,
come nel caso di Litecoin
• altre monete consistono semplicemente in una fork, una
duplicazione, dell'algoritmo Bitcoin di cui replicano esattamente il
funzionamento e rispetto al quale possono essere implementate
secondo scopi particolari.
Primi Sviluppi
20. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
Pagine web
• http://www.diricto.it/
• http://ict4forensics.diee.unica.it/
• Maria Letizia Perugini http://people.unibo.it/it/maria.perugini
• Marco Carlo Spada https://it.linkedin.com/in/marco-carlo-spada-
369b7224
Paper
• Maria Letizia Perugini e Cesare Maioli, Bitcoin, tra moneta virtuale e
commodity finanziaria, 2014
http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2526207
• Maria Letizia Perugini e Paolo Dal Checco: Introduzione agli Smart
Contract, 2016
http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2729545
link
21. Bitcoin e Protocolli di Blockcain
Relatore: ML Perugini – MC Spada
Licenza
Attribuzione - Non Commerciale - Condividi allo stesso modo 3.0
o Tu sei libero:
• di riprodurre, distribuire, comunicare al pubblico, esporre in pubblico, rappresentare, eseguire o
recitare l'opera;
• di modificare quest’opera;
• Alle seguenti condizioni:
Attribuzione. Devi attribuire la paternità dell’opera nei modi indicati dall’autore o da chi ti ha
dato l’opera in licenza e in modo tale da non suggerire che essi avallino te o il modo in cui tu
usi l’opera.
Non commerciale. Non puoi usare quest’opera per fini commerciali.
Condividi allo stesso modo. Se alteri, trasformi quest’opera, o se la usi per crearne un’altra,
puoi distribuire l’opera risultante solo con una licenza identica o equivalente a questa.
o In occasione di ogni atto di riutilizzazione o distribuzione, devi chiarire agli altri i termini della licenza di
quest’opera.
o Se ottieni il permesso dal titolare del diritto d'autore, è possibile rinunciare ad ognuna di queste
condizioni.
o Le tue utilizzazioni libere e gli altri diritti non sono in nessun modo limitati da quanto sopra.