SlideShare a Scribd company logo
1 of 57
Download to read offline
Cuando las maquinas
deciden por nosotros:
Introducción a los
contratos inteligentes
philippe.camacho@dreamlab.net
Cyber Security
Congress 2015
Torre Telefónica, Santiago, Chile
12 de mayo 2015
2
¿Quién soy?
Philippe Camacho
• Francés, 11 años en Chile
• Desarrollador, Consultor
• Doctorado en Criptografía en la Universidad de Chile
• Co-fundador de comprabitcoin.com (2013-2014)
• Desarrollador I+D en Dreamlab Technologies (abril 2015)
3
“As another example, consider a hypothetical
digital security system for automobiles. The smart
contract design strategy suggests that we
successively refine security protocols to more fully
embed in a property the contractual terms which
deal with it. These protocols would give control of
the cryptographic keys for operating the
property to the person who rightfully owns that
property, based on the terms of the contract. In
the most straightforward implementation, the car
can be rendered inoperable unless the proper
challenge-response protocol is completed with
its rightful owner, preventing theft.”
Nick Szabo
4
Un contrato inteligente es un programa que se ejecuta de forma
autónoma y totalmente transparente.
En particular la ejecución es irreversible y
su traza es pública e inmutable.
Un contrato inteligente es capaz de enviar, recibir y almacenar
dinero tal como interactuar con su entorno
(otros contratos inteligentes)
Cualquier sistema puede interactuar con un contrato inteligente
(sistemas computacionales, IoT, usuario humano,…)
5
Contrato «tradicional»
Contrato
Ejecución
Auditoría
(Control)
Definición
Interacción entre humanos y objetos.
Posible aplicación de sanciones
(multas)
Interpretaciones de la definición
(juicio)
Papel
Recolección
(semi-) manual
de datos
6
Contrato inteligente
Contrato
Ejecución
Auditoría
(Control)
Definición
Ejecución de un programa
(Única interpretación posible)
Irreversible, autónoma
Programa
informático
En tiempo real
Inmutable
7
Agenda
• Bitcoin
• Cambio de paradigma
• Bitcoin es más que dinero
• Contratos inteligentes
• Ejemplos
• Ethereum
Objetivo:
entender la tecnología
detrás de los
contratos inteligentes
Objetivo:
Dimensionar el
potencial y los desafíos
8
De 1 USD a 1000 USD en 3 años
10
http://dealbook.nytimes.com/2014/01/21/why-bitcoin-matters/
Fundadador de
Netscape
Inversionista
11
The first five times you think you
understand it, you don’t.
http://dankaminsky.com/2011/08/05/bo2k11/
12
13
14
Solución #0
¿Es posible crear
una moneda digital
descentralizada?
Los sistemas
centralizados tienen
limitaciones…
15
16
Arreglo #1
Bancos
Confianza en
instituciones
Bitcoin
Confianza en código
abierto + leyes
matemáticas
V/S
= +
17
¿Pero quién invento Bitcoin?
No se sabe quien es...
Igual la confianza en el
sistema no debería
depender de eso
http://www.newsweek.com/2014/03/14/face-behind-bitcoin-247957.html
18
Solución #1
1 BTC
2 BTC 1 BTC
19
Puedo gastar mis bitcoins
tantas veces como quiero
(doble gasto).
20
21
Arreglo #2
La red Bitcoin comparte
una base de datos de transacciones
23
Solución #2
Origen Destino Monto
Homer Lisa 1 BTC
Homer Bart 2 BTC
Lisa Bart 1 BTC
… … …
La red chequea que la
cuenta tiene fondos
antes de autorizar la
transferencia.
24
Cada transacción tiene que ser pública.
¡Nadie va a querer usar este sistema que
revela todos nuestros movimientos
financieros!
25
26
Arreglo #3
El identificador del usuario
se reemplaza por un número aleatorio
Dirección Bitcoin:
31uEbMgunupShBVTewXjtqbBv5MndwfXhb
27
Solución #3
Origen Destino Monto
HhY67j81 Jh89HF8m 1 BTC
HhY67J81 LaU4V6uU 2 BTC
Jh89HF8m LaU4V6uU 1 BTC
… … …
Nota: cada usuario
puede crear múltiples
cuentas.
28
Bitcoin y Anonimato
• Bitcoin no es por defecto
totalmente anónimo
• Algunos intentos para mejorar el anonimato
zerocash-project.orgBlockchain.info
Dilema: privacidad
v/s criminalidad
29
Cada cuenta es pública entonces
puede hacer transferencia desde
cualquier parte (puedo gastar
bitcoins que no son míos).
30
31
Arreglo #4: Firmas digitales
32
Arreglo #4: Firmas digitales
Clave privada Clave pública =
Dirección de Bart
FirmarMensaje
Firma
Equivale a la
habilidad de
“dibujar la firma”
33
Firma
Firmas digitales
Aceptar /
Rechazar
Verificar
34
Solución #4
Origen Destino Monto Firma
HhY67j81 Jh89HF8m 1 BTC Djsh767
HhY67J81 LaU4V6uU 2 BTC 8988dd
Jh89HF8m LaU4V6uU 1 BTC djDhd7n
… … …
Las direcciones bitcoin se
calculan a partir de la
clave pública
Mensaje
35
¿Que significa
“Soy dueño de 30 BTC”?
Tu conoces la clave privada asociada a
una clave pública (≈dirección bitcoin)
cuyo balance es 30 BTC.
Tu eres el único a conocer esa clave
privada.
1
2
Contrato «implícito»
Conoces la clave => eres dueño
(Ser dueño = poder transferir)
36
¿El futuro de los bancos?
YCombinator
70+ miliones de USD
39 000 negocios
enrolados
40 miliones de USD
Wences Casares
Tarjeta de debito que
se paga en bitcoins
37
Pagar con bitcoin
Pagar con bitcoin es MUY sencillo
pero IRREVERSIBLE
Mi dirección bitcoin:
1Ask9dvcJHEyjiVm5L9vjxYTU3i8Q1Q1zV
38
Todavía puedo hacer cosas muy malas....
¿Que tal publicar una falsa historia de las
transacciones?
39
40
Arreglo #5:
Funciones de Hash Criptográficas
H
01110001110001110
10001010100010010
00110101010010110
01100111100011100
10000101000101110
1101101011010010
Entrada grande
Salida de tamaño fijo
(ej: 256 bits)
41
Solución #5
HH H
Tx1;
Tx2;
Tx3…
Valor inicial
(coinbase)
Tx34;
Tx35;
Tx36…
Tx54;
Tx55;
Tx56…
Bloque de
transacciones
Cadena de bloques (Blockchain)
…
42
¿Pero quien calcula el siguiente
bloque?
43
Demostración de Esfuerzo
(Proof of Work)
00000
00001
00010
00011
00100
00101
00110
00111
01000
01001
01010
01011
01100
01101
01110
01111
10000
10001
10010
10011
10100
10101
10110
10111
11000
11001
11010
11011
11100
11101
11110
11111
H1001101|| x 000||10
Encuentra el valor x tal
que la salida empieza
con 3 ceros.
La única forma (*) de calcular
este valor tal que la salida
empiece por 𝒏 ceros es
intentar al alrededor de
𝟐 𝒏 veces.
(*) Si lo logras de otra manera
puedes (1) volverte rico, (2) famoso (Premio Turing), o (3) ambas cosas...
44
Solución #5
• El primer nodo que logra a
resolver el puzzle
computacional gana el bloque
• La red extiende la cadena a
partir de este nuevo bloque
• La red siempre elige extender la
cadena más larga
¡Diablos!
Necesito controlar
51% del poder
computacional de la red (*)
(*) No es tan así… => Majority is not Enough: Bitcoin Mining is Vulnerable
http://arxiv.org/abs/1311.0243
45
Poder computacional de la red bitcoin
46
¿Suena bien… pero porque la
gente gastaría sus ciclos CPU?
47
Minería
• El ganador del bloque recibe una
recompensa de 25 BTC
(De hecho es así que los bitcoins son
creados)
• Este proceso se llama minería
48
Solución al
problema
del consenso
(Proof of work)
Herramientas
muy simples
(Funciones de
hash + Firmas
digitales)
Incentivo
económico
¿Porque el diseño de Bitcoin es
absolutamente GENIAL?
49
¡Bitcoin es
un contrato inteligente!
50
51
Bitcoin es un contrato inteligente
• Es un programa
• Se ejecuta de forma autónoma (descentralizado)
• Todas las transacciones son públicas
• Nadie puede alterar la cadena de bloque
• Ejecución irreversible
• Algunas clausulas de este contrato
• A lo más 21.000.000 de bitcoins
• Nuevo bloque cada 10 minutos
• Dificultad para minar se ajusta al poder computacional de la red
• Solamente un subconjunto de transacciones es autorizado
• …
52
Transacción Bitcoin
https://bitcoin.org/en/developer-guide#signature-hash-types
Más complejo que
un simple mensaje
firmado…
¡Es un
contrato
inteligente!
53
Claro, un contrato
inteligente que ejecuta otro
contrato inteligente...
54
Innovación v/s Fragmentación
http://mapofcoins.com/bitcoin#
Bitcoin
Litecoin
Litecoin
55
Ethereum
• Plataforma parecida a
Bitcoin pero:
• Lenguaje para escribir
contratos inteligentes más
expresivo
(Turing-Completo)
• Evita tener que reinventar la
rueda (hacer un fork de otra
criptomoneda)
• Reusó de la cadena de
bloques
• Crowdfunding (sept. 2014)
• 31531 BTC =
US$18,439,086
• Lanzamiento: 2015
Vitalik Buterin
Fundador de Ethereum
56
Contrato de venta
http://etherscripter.com/0-5-1/
Se resuelve el
típico problema de
quien paga
primero.
57
Más ejemplos de contratos inteligentes
• DNS descentralizado
• Empresas autónomas
• Se define la participación al principio
• Los dividendos se distribuyen automáticamente
• Se puede comprar y vender acciones de un simple clic
• Seguros
• Fondos de pensiones
• Herencia
• Democracia directa
• …
58
Desafíos
• Escalabilidad (problema actual con Bitcoin)
• Privacidad v/s Criminalidad
• Un bug puede salir muy caro
• Lenguaje Turing-Completo
• Loop infinito => se pierde dinero
• Bug generalizado
• Fork Bitcoin en 2013
• ¿Seguridad?
59
(en nombre de Satoshi Nakamoto)
¡GRACIAS!

More Related Content

What's hot

Informe de Inteco sobre BITCOIN: Una moneda criptográfica
Informe de Inteco sobre BITCOIN: Una moneda criptográficaInforme de Inteco sobre BITCOIN: Una moneda criptográfica
Informe de Inteco sobre BITCOIN: Una moneda criptográficaSantiago Limonche
 
Bitcoin no se está dividiendo en dos se está actualizando
Bitcoin no se está dividiendo en dos se está actualizandoBitcoin no se está dividiendo en dos se está actualizando
Bitcoin no se está dividiendo en dos se está actualizandoEdu Fernandez
 
Bitcoin: cuando los ordenadores emiten moneda
Bitcoin: cuando los ordenadores emiten monedaBitcoin: cuando los ordenadores emiten moneda
Bitcoin: cuando los ordenadores emiten monedaCEU
 
Bitcoin: salto tecnológico en los sistemas de pago
Bitcoin: salto tecnológico en los sistemas de pagoBitcoin: salto tecnológico en los sistemas de pago
Bitcoin: salto tecnológico en los sistemas de pagoBloqueZero
 
Bitcoins La moneda del futuro
Bitcoins La moneda del futuroBitcoins La moneda del futuro
Bitcoins La moneda del futuroRicardo Diaz
 
Cómo funciona Bitcoin
Cómo funciona BitcoinCómo funciona Bitcoin
Cómo funciona BitcoinPTF
 
El ataque a The DAO: Seguridad y Consenso
El ataque a The DAO: Seguridad y ConsensoEl ataque a The DAO: Seguridad y Consenso
El ataque a The DAO: Seguridad y ConsensoEthereum Madrid
 
Presentacion bitcoinparanegocios
Presentacion bitcoinparanegociosPresentacion bitcoinparanegocios
Presentacion bitcoinparanegociosGeorge Crewe
 
WALLET PARA CRIPTOMONEDAS
WALLET PARA CRIPTOMONEDASWALLET PARA CRIPTOMONEDAS
WALLET PARA CRIPTOMONEDASEnmerLR
 

What's hot (20)

Normativa sobre blockchain y criptomonedas
Normativa sobre blockchain y criptomonedasNormativa sobre blockchain y criptomonedas
Normativa sobre blockchain y criptomonedas
 
Informe de Inteco sobre BITCOIN: Una moneda criptográfica
Informe de Inteco sobre BITCOIN: Una moneda criptográficaInforme de Inteco sobre BITCOIN: Una moneda criptográfica
Informe de Inteco sobre BITCOIN: Una moneda criptográfica
 
Bitcoin no se está dividiendo en dos se está actualizando
Bitcoin no se está dividiendo en dos se está actualizandoBitcoin no se está dividiendo en dos se está actualizando
Bitcoin no se está dividiendo en dos se está actualizando
 
Bitcoin como funciona
Bitcoin como funcionaBitcoin como funciona
Bitcoin como funciona
 
Bitcoin: cuando los ordenadores emiten moneda
Bitcoin: cuando los ordenadores emiten monedaBitcoin: cuando los ordenadores emiten moneda
Bitcoin: cuando los ordenadores emiten moneda
 
Bitcoin: salto tecnológico en los sistemas de pago
Bitcoin: salto tecnológico en los sistemas de pagoBitcoin: salto tecnológico en los sistemas de pago
Bitcoin: salto tecnológico en los sistemas de pago
 
Introducción a Bitcoin
Introducción a BitcoinIntroducción a Bitcoin
Introducción a Bitcoin
 
Bitcoins La moneda del futuro
Bitcoins La moneda del futuroBitcoins La moneda del futuro
Bitcoins La moneda del futuro
 
Cómo funciona Bitcoin
Cómo funciona BitcoinCómo funciona Bitcoin
Cómo funciona Bitcoin
 
Bitcoin micropagos en internet
Bitcoin micropagos en internetBitcoin micropagos en internet
Bitcoin micropagos en internet
 
BLOCKCHAIN
BLOCKCHAINBLOCKCHAIN
BLOCKCHAIN
 
Más allá del dinero: Bitcoin
Más allá del dinero: BitcoinMás allá del dinero: Bitcoin
Más allá del dinero: Bitcoin
 
Bitcoin
BitcoinBitcoin
Bitcoin
 
El ataque a The DAO: Seguridad y Consenso
El ataque a The DAO: Seguridad y ConsensoEl ataque a The DAO: Seguridad y Consenso
El ataque a The DAO: Seguridad y Consenso
 
Blockchain y Criptomonedas - ESADE - 2018-02-07
Blockchain y Criptomonedas - ESADE - 2018-02-07Blockchain y Criptomonedas - ESADE - 2018-02-07
Blockchain y Criptomonedas - ESADE - 2018-02-07
 
Presentacion bitcoinparanegocios
Presentacion bitcoinparanegociosPresentacion bitcoinparanegocios
Presentacion bitcoinparanegocios
 
bitcoin
bitcoinbitcoin
bitcoin
 
WALLET PARA CRIPTOMONEDAS
WALLET PARA CRIPTOMONEDASWALLET PARA CRIPTOMONEDAS
WALLET PARA CRIPTOMONEDAS
 
Módulo 1: Uso del Blockchain.
Módulo 1: Uso del Blockchain.Módulo 1: Uso del Blockchain.
Módulo 1: Uso del Blockchain.
 
Desarrollo con Bitcoin
Desarrollo con BitcoinDesarrollo con Bitcoin
Desarrollo con Bitcoin
 

Viewers also liked

Grupo Saciva 2012
Grupo Saciva 2012Grupo Saciva 2012
Grupo Saciva 2012indiano
 
Usa and Entrepreneruship sept 2010
Usa and Entrepreneruship sept 2010 Usa and Entrepreneruship sept 2010
Usa and Entrepreneruship sept 2010 Carlos H. Brandt
 
Fichas de los personajes de la serie Xena Warrior Princes, según El Kender
Fichas de los personajes de la serie Xena Warrior Princes, según El KenderFichas de los personajes de la serie Xena Warrior Princes, según El Kender
Fichas de los personajes de la serie Xena Warrior Princes, según El KenderCruella Devil
 
Pájaros de la Península Ibérica
Pájaros de la Península IbéricaPájaros de la Península Ibérica
Pájaros de la Península IbéricaEduardo Díaz
 
The_Forrester_Wave___Real
The_Forrester_Wave___RealThe_Forrester_Wave___Real
The_Forrester_Wave___RealDerk-Jan Brand
 
Dermatitis atópica.
Dermatitis atópica.Dermatitis atópica.
Dermatitis atópica.N Núñez
 
La educación técnica y profesional; su impacto en el desarrollo humano
La educación técnica y profesional; su impacto en el desarrollo humanoLa educación técnica y profesional; su impacto en el desarrollo humano
La educación técnica y profesional; su impacto en el desarrollo humanoluis ibarra
 
Power point dinamica
Power point dinamicaPower point dinamica
Power point dinamicafatimaa_17
 
League Health Plan - Amwell Telehealth
League Health Plan - Amwell TelehealthLeague Health Plan - Amwell Telehealth
League Health Plan - Amwell Telehealthweatrust
 
Código de ética y conducta
Código de ética y conductaCódigo de ética y conducta
Código de ética y conductaOM Human First
 
Grow-High Healthcare IT Solutions
Grow-High Healthcare IT SolutionsGrow-High Healthcare IT Solutions
Grow-High Healthcare IT SolutionsNilesh Patel
 
Vogue uk october_2016
Vogue uk october_2016Vogue uk october_2016
Vogue uk october_2016PrivetOUTLET
 
Beyond Ageism: Designing Meaningful Games for an Older Audience
Beyond Ageism: Designing Meaningful Games for an Older AudienceBeyond Ageism: Designing Meaningful Games for an Older Audience
Beyond Ageism: Designing Meaningful Games for an Older AudienceBob De Schutter
 
Unidad 16. Pensamiento y conducta social
Unidad 16. Pensamiento y conducta social Unidad 16. Pensamiento y conducta social
Unidad 16. Pensamiento y conducta social MariajesusPsicologia
 
TECNO INDUSTRIAL AMERICANA
TECNO INDUSTRIAL AMERICANATECNO INDUSTRIAL AMERICANA
TECNO INDUSTRIAL AMERICANAPEDRO BIASUTTI
 
Facebook Tips, Tricks & Case Studies
Facebook   Tips, Tricks & Case StudiesFacebook   Tips, Tricks & Case Studies
Facebook Tips, Tricks & Case StudiesOlaf Nitz
 

Viewers also liked (20)

Grupo Saciva 2012
Grupo Saciva 2012Grupo Saciva 2012
Grupo Saciva 2012
 
Usa and Entrepreneruship sept 2010
Usa and Entrepreneruship sept 2010 Usa and Entrepreneruship sept 2010
Usa and Entrepreneruship sept 2010
 
Fichas de los personajes de la serie Xena Warrior Princes, según El Kender
Fichas de los personajes de la serie Xena Warrior Princes, según El KenderFichas de los personajes de la serie Xena Warrior Princes, según El Kender
Fichas de los personajes de la serie Xena Warrior Princes, según El Kender
 
Pájaros de la Península Ibérica
Pájaros de la Península IbéricaPájaros de la Península Ibérica
Pájaros de la Península Ibérica
 
The_Forrester_Wave___Real
The_Forrester_Wave___RealThe_Forrester_Wave___Real
The_Forrester_Wave___Real
 
Dermatitis atópica.
Dermatitis atópica.Dermatitis atópica.
Dermatitis atópica.
 
El soberano guerra
El soberano   guerraEl soberano   guerra
El soberano guerra
 
as
asas
as
 
La educación técnica y profesional; su impacto en el desarrollo humano
La educación técnica y profesional; su impacto en el desarrollo humanoLa educación técnica y profesional; su impacto en el desarrollo humano
La educación técnica y profesional; su impacto en el desarrollo humano
 
Power point dinamica
Power point dinamicaPower point dinamica
Power point dinamica
 
League Health Plan - Amwell Telehealth
League Health Plan - Amwell TelehealthLeague Health Plan - Amwell Telehealth
League Health Plan - Amwell Telehealth
 
GH CV ENGLISH
GH CV ENGLISHGH CV ENGLISH
GH CV ENGLISH
 
Código de ética y conducta
Código de ética y conductaCódigo de ética y conducta
Código de ética y conducta
 
Grow-High Healthcare IT Solutions
Grow-High Healthcare IT SolutionsGrow-High Healthcare IT Solutions
Grow-High Healthcare IT Solutions
 
Vogue uk october_2016
Vogue uk october_2016Vogue uk october_2016
Vogue uk october_2016
 
Higher life in christ
Higher life in christHigher life in christ
Higher life in christ
 
Beyond Ageism: Designing Meaningful Games for an Older Audience
Beyond Ageism: Designing Meaningful Games for an Older AudienceBeyond Ageism: Designing Meaningful Games for an Older Audience
Beyond Ageism: Designing Meaningful Games for an Older Audience
 
Unidad 16. Pensamiento y conducta social
Unidad 16. Pensamiento y conducta social Unidad 16. Pensamiento y conducta social
Unidad 16. Pensamiento y conducta social
 
TECNO INDUSTRIAL AMERICANA
TECNO INDUSTRIAL AMERICANATECNO INDUSTRIAL AMERICANA
TECNO INDUSTRIAL AMERICANA
 
Facebook Tips, Tricks & Case Studies
Facebook   Tips, Tricks & Case StudiesFacebook   Tips, Tricks & Case Studies
Facebook Tips, Tricks & Case Studies
 

Similar to Cuando las maquinas deciden por nosotros: introducción a los contratos inteligentes

Similar to Cuando las maquinas deciden por nosotros: introducción a los contratos inteligentes (20)

Bitcoin
BitcoinBitcoin
Bitcoin
 
Bitcoin en español
Bitcoin en españolBitcoin en español
Bitcoin en español
 
Cuidatusbitcoins
CuidatusbitcoinsCuidatusbitcoins
Cuidatusbitcoins
 
Economía Digital.pdf
Economía Digital.pdfEconomía Digital.pdf
Economía Digital.pdf
 
Workshop Proyectando 2022.pptx.pdf
Workshop Proyectando 2022.pptx.pdfWorkshop Proyectando 2022.pptx.pdf
Workshop Proyectando 2022.pptx.pdf
 
Carmary aguilar
Carmary aguilarCarmary aguilar
Carmary aguilar
 
Bitcoin. In Crypto we Trust
Bitcoin. In Crypto we TrustBitcoin. In Crypto we Trust
Bitcoin. In Crypto we Trust
 
Bitcoin y Blockchain.pdf
Bitcoin y Blockchain.pdfBitcoin y Blockchain.pdf
Bitcoin y Blockchain.pdf
 
Blockchain y contratos inteligentes
Blockchain y contratos inteligentesBlockchain y contratos inteligentes
Blockchain y contratos inteligentes
 
The blockchain disruption
The blockchain disruptionThe blockchain disruption
The blockchain disruption
 
CLASIFICACION DE CRIPTOMONEDAS
CLASIFICACION DE CRIPTOMONEDASCLASIFICACION DE CRIPTOMONEDAS
CLASIFICACION DE CRIPTOMONEDAS
 
El futuro de bitcoin
El futuro de bitcoinEl futuro de bitcoin
El futuro de bitcoin
 
BITCOIN: EL EXPERIMENTO
BITCOIN: EL EXPERIMENTOBITCOIN: EL EXPERIMENTO
BITCOIN: EL EXPERIMENTO
 
spri - enpresa digitala / El potencial de la tecnología Blockchain
spri - enpresa digitala / El potencial de la tecnología Blockchainspri - enpresa digitala / El potencial de la tecnología Blockchain
spri - enpresa digitala / El potencial de la tecnología Blockchain
 
Bitcoin y (in)seguridad: 5 paradojas
Bitcoin y (in)seguridad: 5 paradojasBitcoin y (in)seguridad: 5 paradojas
Bitcoin y (in)seguridad: 5 paradojas
 
Bitcoin
BitcoinBitcoin
Bitcoin
 
Blockchain
BlockchainBlockchain
Blockchain
 
Blockchain
BlockchainBlockchain
Blockchain
 
(145)long bitcoin
(145)long bitcoin(145)long bitcoin
(145)long bitcoin
 
Gfi blockchain - Conferencia COIIAOC Sevilla - 2018-01-31
Gfi blockchain - Conferencia COIIAOC Sevilla - 2018-01-31Gfi blockchain - Conferencia COIIAOC Sevilla - 2018-01-31
Gfi blockchain - Conferencia COIIAOC Sevilla - 2018-01-31
 

More from Philippe Camacho, Ph.D.

Blockchain: 12 predictions for a new world
Blockchain: 12 predictions for a new worldBlockchain: 12 predictions for a new world
Blockchain: 12 predictions for a new worldPhilippe Camacho, Ph.D.
 
Predicate-Preserving Collision-Resistant Hashing
Predicate-Preserving  Collision-Resistant HashingPredicate-Preserving  Collision-Resistant Hashing
Predicate-Preserving Collision-Resistant HashingPhilippe Camacho, Ph.D.
 
Fair Exchange of Short Signatures without Trusted Third Party
Fair Exchange of Short Signatures without Trusted Third PartyFair Exchange of Short Signatures without Trusted Third Party
Fair Exchange of Short Signatures without Trusted Third PartyPhilippe Camacho, Ph.D.
 
On the Impossibility of Batch Update for Cryptographic Accumulators
On the Impossibility of Batch Update for Cryptographic AccumulatorsOn the Impossibility of Batch Update for Cryptographic Accumulators
On the Impossibility of Batch Update for Cryptographic AccumulatorsPhilippe Camacho, Ph.D.
 
Short Transitive Signatures For Directed Trees
Short Transitive Signatures For Directed TreesShort Transitive Signatures For Directed Trees
Short Transitive Signatures For Directed TreesPhilippe Camacho, Ph.D.
 
Strong Accumulators From Collision-Resistant Hashing
Strong Accumulators From Collision-Resistant HashingStrong Accumulators From Collision-Resistant Hashing
Strong Accumulators From Collision-Resistant HashingPhilippe Camacho, Ph.D.
 

More from Philippe Camacho, Ph.D. (17)

Blockchain: 12 predictions for a new world
Blockchain: 12 predictions for a new worldBlockchain: 12 predictions for a new world
Blockchain: 12 predictions for a new world
 
Analyzing Bitcoin Security
Analyzing Bitcoin SecurityAnalyzing Bitcoin Security
Analyzing Bitcoin Security
 
Smart contracts
Smart contractsSmart contracts
Smart contracts
 
No más Madoff: Satoshi al rescate
No más Madoff: Satoshi al rescateNo más Madoff: Satoshi al rescate
No más Madoff: Satoshi al rescate
 
Protocols for Provable Solvency
Protocols for Provable SolvencyProtocols for Provable Solvency
Protocols for Provable Solvency
 
How to explain bitcoin to your mother
How to explain bitcoin to your motherHow to explain bitcoin to your mother
How to explain bitcoin to your mother
 
Predicate-Preserving Collision-Resistant Hashing
Predicate-Preserving  Collision-Resistant HashingPredicate-Preserving  Collision-Resistant Hashing
Predicate-Preserving Collision-Resistant Hashing
 
Fair Exchange of Short Signatures without Trusted Third Party
Fair Exchange of Short Signatures without Trusted Third PartyFair Exchange of Short Signatures without Trusted Third Party
Fair Exchange of Short Signatures without Trusted Third Party
 
Foaf+ssl
Foaf+sslFoaf+ssl
Foaf+ssl
 
Agilidad al rescate
Agilidad al rescateAgilidad al rescate
Agilidad al rescate
 
XPDay2009: Nameaction
XPDay2009: NameactionXPDay2009: Nameaction
XPDay2009: Nameaction
 
On the Impossibility of Batch Update for Cryptographic Accumulators
On the Impossibility of Batch Update for Cryptographic AccumulatorsOn the Impossibility of Batch Update for Cryptographic Accumulators
On the Impossibility of Batch Update for Cryptographic Accumulators
 
Short Transitive Signatures For Directed Trees
Short Transitive Signatures For Directed TreesShort Transitive Signatures For Directed Trees
Short Transitive Signatures For Directed Trees
 
Strong Accumulators From Collision-Resistant Hashing
Strong Accumulators From Collision-Resistant HashingStrong Accumulators From Collision-Resistant Hashing
Strong Accumulators From Collision-Resistant Hashing
 
Security of DNS
Security of DNSSecurity of DNS
Security of DNS
 
Agile daychile2010
Agile daychile2010Agile daychile2010
Agile daychile2010
 
Agiles2010
Agiles2010Agiles2010
Agiles2010
 

Recently uploaded

Cultura digital diferentes tipos de fraudes ciberneticos.
Cultura digital diferentes tipos de fraudes ciberneticos.Cultura digital diferentes tipos de fraudes ciberneticos.
Cultura digital diferentes tipos de fraudes ciberneticos.JOSE69482
 
TALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIATALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIAobandopaula444
 
Medios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptxMedios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptxUniversidad de Bielefeld
 
Módulo 3 escuela activa presentacion.pptx
Módulo 3 escuela activa presentacion.pptxMódulo 3 escuela activa presentacion.pptx
Módulo 3 escuela activa presentacion.pptxMiguelAngelCifuentes10
 
Guía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdfGuía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdfJohn Muñoz
 
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11THALIAEUGENIOMAIZ
 
DS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdf
DS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdfDS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdf
DS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdfKAREN553987
 
triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...
triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...
triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...ulisesochoa5
 
11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat Vers...
11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat  Vers...11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat  Vers...
11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat Vers...#LatamDigital
 
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdfRESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdfcoordinadorprimerode
 
Inteligencias Artificiales: Herramientas de internet.pptx
Inteligencias Artificiales: Herramientas de internet.pptxInteligencias Artificiales: Herramientas de internet.pptx
Inteligencias Artificiales: Herramientas de internet.pptxJuanDiegoMeloLosada
 
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdfElegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdfanthonyramos422819
 
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAMLA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAMalejandroortizm
 
PowerPoint y sus partes más contenidos...
PowerPoint y sus partes más contenidos...PowerPoint y sus partes más contenidos...
PowerPoint y sus partes más contenidos...delvalleelizabeth400
 
Software y servicios de internet mapa conceptual.pdf
Software y servicios de internet mapa conceptual.pdfSoftware y servicios de internet mapa conceptual.pdf
Software y servicios de internet mapa conceptual.pdfDanielaEspitiaHerrer
 

Recently uploaded (15)

Cultura digital diferentes tipos de fraudes ciberneticos.
Cultura digital diferentes tipos de fraudes ciberneticos.Cultura digital diferentes tipos de fraudes ciberneticos.
Cultura digital diferentes tipos de fraudes ciberneticos.
 
TALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIATALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIA
 
Medios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptxMedios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptx
 
Módulo 3 escuela activa presentacion.pptx
Módulo 3 escuela activa presentacion.pptxMódulo 3 escuela activa presentacion.pptx
Módulo 3 escuela activa presentacion.pptx
 
Guía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdfGuía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdf
 
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
 
DS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdf
DS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdfDS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdf
DS 011-2023-MTC.pdf DISTANCIAS DE CARRETERAS.pdf
 
triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...
triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...
triptico de redes sociales ejemplo para que te puedas bazar en la realizacion...
 
11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat Vers...
11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat  Vers...11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat  Vers...
11º Anuncio Nominados Finalistas Premios #LatamDigital 2024 by Interlat Vers...
 
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdfRESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
 
Inteligencias Artificiales: Herramientas de internet.pptx
Inteligencias Artificiales: Herramientas de internet.pptxInteligencias Artificiales: Herramientas de internet.pptx
Inteligencias Artificiales: Herramientas de internet.pptx
 
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdfElegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
 
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAMLA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
 
PowerPoint y sus partes más contenidos...
PowerPoint y sus partes más contenidos...PowerPoint y sus partes más contenidos...
PowerPoint y sus partes más contenidos...
 
Software y servicios de internet mapa conceptual.pdf
Software y servicios de internet mapa conceptual.pdfSoftware y servicios de internet mapa conceptual.pdf
Software y servicios de internet mapa conceptual.pdf
 

Cuando las maquinas deciden por nosotros: introducción a los contratos inteligentes

  • 1. Cuando las maquinas deciden por nosotros: Introducción a los contratos inteligentes philippe.camacho@dreamlab.net Cyber Security Congress 2015 Torre Telefónica, Santiago, Chile 12 de mayo 2015
  • 2. 2 ¿Quién soy? Philippe Camacho • Francés, 11 años en Chile • Desarrollador, Consultor • Doctorado en Criptografía en la Universidad de Chile • Co-fundador de comprabitcoin.com (2013-2014) • Desarrollador I+D en Dreamlab Technologies (abril 2015)
  • 3. 3 “As another example, consider a hypothetical digital security system for automobiles. The smart contract design strategy suggests that we successively refine security protocols to more fully embed in a property the contractual terms which deal with it. These protocols would give control of the cryptographic keys for operating the property to the person who rightfully owns that property, based on the terms of the contract. In the most straightforward implementation, the car can be rendered inoperable unless the proper challenge-response protocol is completed with its rightful owner, preventing theft.” Nick Szabo
  • 4. 4 Un contrato inteligente es un programa que se ejecuta de forma autónoma y totalmente transparente. En particular la ejecución es irreversible y su traza es pública e inmutable. Un contrato inteligente es capaz de enviar, recibir y almacenar dinero tal como interactuar con su entorno (otros contratos inteligentes) Cualquier sistema puede interactuar con un contrato inteligente (sistemas computacionales, IoT, usuario humano,…)
  • 5. 5 Contrato «tradicional» Contrato Ejecución Auditoría (Control) Definición Interacción entre humanos y objetos. Posible aplicación de sanciones (multas) Interpretaciones de la definición (juicio) Papel Recolección (semi-) manual de datos
  • 6. 6 Contrato inteligente Contrato Ejecución Auditoría (Control) Definición Ejecución de un programa (Única interpretación posible) Irreversible, autónoma Programa informático En tiempo real Inmutable
  • 7. 7 Agenda • Bitcoin • Cambio de paradigma • Bitcoin es más que dinero • Contratos inteligentes • Ejemplos • Ethereum Objetivo: entender la tecnología detrás de los contratos inteligentes Objetivo: Dimensionar el potencial y los desafíos
  • 8. 8 De 1 USD a 1000 USD en 3 años
  • 10. 11 The first five times you think you understand it, you don’t. http://dankaminsky.com/2011/08/05/bo2k11/
  • 11. 12
  • 12. 13
  • 13. 14 Solución #0 ¿Es posible crear una moneda digital descentralizada? Los sistemas centralizados tienen limitaciones…
  • 14. 15
  • 15. 16 Arreglo #1 Bancos Confianza en instituciones Bitcoin Confianza en código abierto + leyes matemáticas V/S = +
  • 16. 17 ¿Pero quién invento Bitcoin? No se sabe quien es... Igual la confianza en el sistema no debería depender de eso http://www.newsweek.com/2014/03/14/face-behind-bitcoin-247957.html
  • 18. 19 Puedo gastar mis bitcoins tantas veces como quiero (doble gasto).
  • 19. 20
  • 20. 21 Arreglo #2 La red Bitcoin comparte una base de datos de transacciones
  • 21. 23 Solución #2 Origen Destino Monto Homer Lisa 1 BTC Homer Bart 2 BTC Lisa Bart 1 BTC … … … La red chequea que la cuenta tiene fondos antes de autorizar la transferencia.
  • 22. 24 Cada transacción tiene que ser pública. ¡Nadie va a querer usar este sistema que revela todos nuestros movimientos financieros!
  • 23. 25
  • 24. 26 Arreglo #3 El identificador del usuario se reemplaza por un número aleatorio Dirección Bitcoin: 31uEbMgunupShBVTewXjtqbBv5MndwfXhb
  • 25. 27 Solución #3 Origen Destino Monto HhY67j81 Jh89HF8m 1 BTC HhY67J81 LaU4V6uU 2 BTC Jh89HF8m LaU4V6uU 1 BTC … … … Nota: cada usuario puede crear múltiples cuentas.
  • 26. 28 Bitcoin y Anonimato • Bitcoin no es por defecto totalmente anónimo • Algunos intentos para mejorar el anonimato zerocash-project.orgBlockchain.info Dilema: privacidad v/s criminalidad
  • 27. 29 Cada cuenta es pública entonces puede hacer transferencia desde cualquier parte (puedo gastar bitcoins que no son míos).
  • 28. 30
  • 30. 32 Arreglo #4: Firmas digitales Clave privada Clave pública = Dirección de Bart FirmarMensaje Firma Equivale a la habilidad de “dibujar la firma”
  • 32. 34 Solución #4 Origen Destino Monto Firma HhY67j81 Jh89HF8m 1 BTC Djsh767 HhY67J81 LaU4V6uU 2 BTC 8988dd Jh89HF8m LaU4V6uU 1 BTC djDhd7n … … … Las direcciones bitcoin se calculan a partir de la clave pública Mensaje
  • 33. 35 ¿Que significa “Soy dueño de 30 BTC”? Tu conoces la clave privada asociada a una clave pública (≈dirección bitcoin) cuyo balance es 30 BTC. Tu eres el único a conocer esa clave privada. 1 2 Contrato «implícito» Conoces la clave => eres dueño (Ser dueño = poder transferir)
  • 34. 36 ¿El futuro de los bancos? YCombinator 70+ miliones de USD 39 000 negocios enrolados 40 miliones de USD Wences Casares Tarjeta de debito que se paga en bitcoins
  • 35. 37 Pagar con bitcoin Pagar con bitcoin es MUY sencillo pero IRREVERSIBLE Mi dirección bitcoin: 1Ask9dvcJHEyjiVm5L9vjxYTU3i8Q1Q1zV
  • 36. 38 Todavía puedo hacer cosas muy malas.... ¿Que tal publicar una falsa historia de las transacciones?
  • 37. 39
  • 38. 40 Arreglo #5: Funciones de Hash Criptográficas H 01110001110001110 10001010100010010 00110101010010110 01100111100011100 10000101000101110 1101101011010010 Entrada grande Salida de tamaño fijo (ej: 256 bits)
  • 39. 41 Solución #5 HH H Tx1; Tx2; Tx3… Valor inicial (coinbase) Tx34; Tx35; Tx36… Tx54; Tx55; Tx56… Bloque de transacciones Cadena de bloques (Blockchain) …
  • 40. 42 ¿Pero quien calcula el siguiente bloque?
  • 41. 43 Demostración de Esfuerzo (Proof of Work) 00000 00001 00010 00011 00100 00101 00110 00111 01000 01001 01010 01011 01100 01101 01110 01111 10000 10001 10010 10011 10100 10101 10110 10111 11000 11001 11010 11011 11100 11101 11110 11111 H1001101|| x 000||10 Encuentra el valor x tal que la salida empieza con 3 ceros. La única forma (*) de calcular este valor tal que la salida empiece por 𝒏 ceros es intentar al alrededor de 𝟐 𝒏 veces. (*) Si lo logras de otra manera puedes (1) volverte rico, (2) famoso (Premio Turing), o (3) ambas cosas...
  • 42. 44 Solución #5 • El primer nodo que logra a resolver el puzzle computacional gana el bloque • La red extiende la cadena a partir de este nuevo bloque • La red siempre elige extender la cadena más larga ¡Diablos! Necesito controlar 51% del poder computacional de la red (*) (*) No es tan así… => Majority is not Enough: Bitcoin Mining is Vulnerable http://arxiv.org/abs/1311.0243
  • 43. 45 Poder computacional de la red bitcoin
  • 44. 46 ¿Suena bien… pero porque la gente gastaría sus ciclos CPU?
  • 45. 47 Minería • El ganador del bloque recibe una recompensa de 25 BTC (De hecho es así que los bitcoins son creados) • Este proceso se llama minería
  • 46. 48 Solución al problema del consenso (Proof of work) Herramientas muy simples (Funciones de hash + Firmas digitales) Incentivo económico ¿Porque el diseño de Bitcoin es absolutamente GENIAL?
  • 48. 50
  • 49. 51 Bitcoin es un contrato inteligente • Es un programa • Se ejecuta de forma autónoma (descentralizado) • Todas las transacciones son públicas • Nadie puede alterar la cadena de bloque • Ejecución irreversible • Algunas clausulas de este contrato • A lo más 21.000.000 de bitcoins • Nuevo bloque cada 10 minutos • Dificultad para minar se ajusta al poder computacional de la red • Solamente un subconjunto de transacciones es autorizado • …
  • 50. 52 Transacción Bitcoin https://bitcoin.org/en/developer-guide#signature-hash-types Más complejo que un simple mensaje firmado… ¡Es un contrato inteligente!
  • 51. 53 Claro, un contrato inteligente que ejecuta otro contrato inteligente...
  • 53. 55 Ethereum • Plataforma parecida a Bitcoin pero: • Lenguaje para escribir contratos inteligentes más expresivo (Turing-Completo) • Evita tener que reinventar la rueda (hacer un fork de otra criptomoneda) • Reusó de la cadena de bloques • Crowdfunding (sept. 2014) • 31531 BTC = US$18,439,086 • Lanzamiento: 2015 Vitalik Buterin Fundador de Ethereum
  • 54. 56 Contrato de venta http://etherscripter.com/0-5-1/ Se resuelve el típico problema de quien paga primero.
  • 55. 57 Más ejemplos de contratos inteligentes • DNS descentralizado • Empresas autónomas • Se define la participación al principio • Los dividendos se distribuyen automáticamente • Se puede comprar y vender acciones de un simple clic • Seguros • Fondos de pensiones • Herencia • Democracia directa • …
  • 56. 58 Desafíos • Escalabilidad (problema actual con Bitcoin) • Privacidad v/s Criminalidad • Un bug puede salir muy caro • Lenguaje Turing-Completo • Loop infinito => se pierde dinero • Bug generalizado • Fork Bitcoin en 2013 • ¿Seguridad?
  • 57. 59 (en nombre de Satoshi Nakamoto) ¡GRACIAS!