SlideShare une entreprise Scribd logo
1  sur  44
Télécharger pour lire hors ligne
No más Madoff: Satoshi al rescate 
Philippe Camacho 
philippe.camacho@synaptic.cl 
Bsides Chile 
22 de octubre 2014 
Santiago
El problema de la industria de la Auditoría 
http://content.time.com/time/business/article/0,8599,1867092,00.html
Costo de la Auditoría 
•Caro 
•Lento 
•Manual 
•Poco fiable 
•Seguridad 
–Relativamente fácil cocinar la data 
–Dependencia del intermediario de confianza 
–Conflicto de intereses 
–Auditar a los auditores se ve poco practico (loop infinito)
Bitcoin 
•Sistema monetario descentralizado 
•2009 
•Autor desconocido (Satoshi Nakamoto) 
•Capitalización: 5 billiones de USD 
•21000000 de BTC (no más) 
•Código abierto 
•Red P2P 
•Firmas digitales, funciones de hash 
•TODAS LAS TRANSACCIONES SON PÚBLICAS 
–Se publican en la cadena de bloques 
•Costo de la confianza se reduce drásticamente
Bloque 
Minería 
en 1 slide 
Genesis (Coinbase) 
Cadena de bloques
El primer bloque 
https://en.bitcoin.it/wiki/Genesis_block Genesis (Coinbase)
Bitcoin es más que dinero 
•http://proofofexistence.com 
•https://blocksign.com/ 
•Matrimonio en la cadena de bloques 
http://bit.ly/1n8za7q
Nunca más (MtGOX) 
http://www.technologyreview.com/view/526161/the-troubling-holes-in-mtgoxs-account-of-how-it-lost-600- million-in-bitcoins/ 
Mark Karpeles (ex GG de MtGOX)
•"I think that as a community we should start demanding these services continually prove that they are not fractional reserve. We cannot effectively eliminate the need for trust in these sorts of services, but we can certainly confine the exposure and eliminate a lot of this drama. With Bitcoin it's technically possible to prove an entity controls enough coin to cover its obligations— and even to do so in ways that don't leak other business information, and so we should. But this isn't something specific about MTGox, it's something we should demand from all services holding large amounts of third party Bitcoins. I wouldn't even suggest MTGox should do it first, rather— it sounds like a great move for their competition to differentiate themselves.“ 
Gregory Maxwell (Core Bitcoin developer) http://www.reddit.com/r/Bitcoin/comments/1yj5b5/unverified_pastebin_gmaxwell_irc_log_mtgox_was/cfkze3p?context=1
Proving your Bitcoin Reserves 
https://iwilcox.me.uk/2014/proving-bitcoin-reserves
Ya se esta usando 
http://blog.coinfloor.co.uk/post/82980052547/coinfloors-first-provable-solvency-report
Auditoría 2.0 
Genesis 
(Coinbase) 
Lo que debo: 
풙ퟏ, 풙ퟐ, 풙ퟑ,… 
1 
2 
1. Verificar 푥푖 = 푌 
2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 
3 
Lo que tengo: 
풀 
풙풋
Auditoría 2.0 
Genesis 
(Coinbase) 
Lo que debo: 
풙ퟏ, 풙ퟐ, 풙ퟑ,… 
1 
2 
1. Verificar 푥푖 = 푌 
2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 
3 
Lo que tengo: 
풀 
풙풋
Canal de difusión Seguro (Bulletin Board) 
•Propiedades 
–Todo el mundo ve exactamente lo mismo 
–No se pueden borrar o adulterar mensajes 
–El orden / la fecha de los mensajes no se puede cambiar 
•Ejemplos 
–Diario (manual, centralizado) 
–Twitter (centralizado) 
–Cadena de bloques (descentralizado) 
•Aplicaciones 
–Votación electrónica 
–Auditoria 
¿Porque es importante el canal de difusión seguro? 
Lo que debo: 
풙ퟏ, 풙ퟐ, 풙ퟑ,… 
Lo que debo: 
풙ퟒ, 풙ퟓ, 풙ퟔ Se puede hacer ,… 
declaraciones parciales 
풙ퟐ 풙ퟔ
Auditoría 2.0 
Genesis 
(Coinbase) 
Lo que debo: 
풙ퟏ, 풙ퟐ, 풙ퟑ,… 
1 
2 
1. Verificar 푥푖 = 푌 
2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 
3 
Lo que tengo: 
풀 
풙풋
Demostrar lo que tienes 
Tengo 10 BTC Demuéstramelo 
Mi dirección BTC es 1K89dnJfjdghgSJHg 
Clave publica asociada: 32sfd73sjhf798273 
Firma este mensaje (aleatorio) con tu clave privada 
kljdkusyu878s7BF7iedy7f67dvf7sd6vu 
Mensaje firmado 
1. Verificar firma 
2. Verificar que dirección BTC corresponde a clave publica 
3. Chequear en la cadena de bloque el saldo en la dirección BTC 
1 
2 
3 
4
Auditoría 2.0 
Genesis 
(Coinbase) 
Lo que debo: 
풙ퟏ, 풙ퟐ, 풙ퟑ,… 
1 
2 
1. Verificar 푥푖 = 푌 
2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 
3 
Lo que tengo: 
풀 
풙풋
Demostrar lo que debes (solución trivial) 
Usuario 
Monto 
Juan Perez 
20 BTC 
Pedro Gonzales 
1.5 BTC 
Susana Fuentes 
6 BTC 
…. 
… 
…. 
… 
Eficiencia 
Privacidad usuario
Funciones de Hash Resistente a Colisiones 
V 
Si 푋≠푋′ y 퐻푋= 퐻푋’ entonces el adversario encontró una colisión. 
openssl.tar.gz 
Archivo’ 
푋= 
푋′=
Árboles de Merkle [M87] 
Z1=H(Y1||Y2) 
Y1=H(x4||x1) 
x4 
x1 
x5 
x6 
x2 
x8 
x7 
x3 
Y2=H(x5||x6) 
Y3=H(x2||x8) 
Y4=H(x7||x3) 
Z2=H(Y3||Y4) 
P=H(Z1||Z2) 
Raíz: representa el conjunto X=*푥1,…,푥8+
Árboles de Merkle [M87] 
Z1=H(Y1||Y2) 
Y1=H(x4||x1) 
x4 
x1 
x5 
x6 
x2 
x8 
x7 
x3 
Y2=H(x5||x6) 
Y3=H(x2||x8) 
Y4=H(x7||x3) 
Z2=H(Y3||Y4) 
P=H(Z1||Z2) 
Raíz: representa el conjunto X=*푥1,…,푥8+ 
Certificado 푥6∈ 푋
Demostrar lo que debes (Árbol de Todd-Maxwell) 
Balance de un usuario 
Raíz del árbol: 
Lo único que se publica en el canal de difusión seguro
Privacidad v/s Transparencia 
•“This is asking a lot of an exchange, and I don't think information is worth the price you're paying in security and privacy. Your interests would be better served by a private auditor's report.” 
Jesse Powell (Gerente General de Kraken) 
http://www.reddit.com/r/Bitcoin/comments/1yk4nv/please_ask_your_favorite_exchange_to_prove_that/cflqtn0
Auditoría 2.0 
Genesis 
(Coinbase) 
Lo que debo: 
풙ퟏ, 풙ퟐ, 풙ퟑ,… 
1 
2 
1. Verificar 푥푖 = 푌 
2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 
3 
Lo que tengo: 
풀 
¿Cómo preservar la 
privacidad del 
usuario y del 
negocio (*)? 
(*) http://www.slideshare.net/philippecamacho/protocols-for-provable-solvency-38501620 
풙풋
Cajas de compromiso (Commitments) 
¿Cómo sortear el auto de forma “segura” solamente hablando por teléfono? 
Alicia (0) 
Roberto (1) 
Quien gana 
0 
0 
0 (Alicia) 
0 
1 
1 (Roberto) 
1 
0 
1 (Roberto) 
1 
1 
0 (Alicia)
Cajas de compromiso 
(Commitments) 
secreto 
Commitment 
+ = secreto 
Voy a tratar de 
abrir la caja a 
otro valor 
Voy a tratar de 
saber lo que hay 
a dentro de la 
caja antes de 
tener la clave 
1 
2 
3 
secreto 
secreto 
El secreto es revelado. 
Se verifica si el 
secreto no cambio.
Cajas de compromiso (Ejemplo) 
•푪풐풎풎풔,풓: 푆퐻퐴256(푠 || 푟) = 퐶푠,푟 
•푽풆풓풊풇풚(푪풔,풓,풔,풓): 푆퐻퐴256(푠 || 푟) == 퐶푠,푟 
푠 
푠 
푠 
푠
Cajas de compromiso (Ejemplo) 
•¿Porque la caja no revela ninguna información? 
–푆퐻퐴256 es unidireccional 
•푦=푆퐻퐴256(푥) 
•Dada 푦 no se puede “saber nada” respecto a 푥 
•¿Porque es imposible cambiar de opinión al abrir la caja? 
–Supongamos que se puede 
•푆퐻퐴256(푠||푟) == 푆퐻퐴256(푠’||푟’) 
•¡Esto es una colisión! 
푥 
푦 
푠||푟 
푠′||푟′ 
푦
Pruebas de nula divulgación 
(Zero-Knowledge Proofs) 
• Demostrar algo sobre el secreto sin abrir la 
caja 
– Ej: mostrar que la caja contiene un 0 o 1 
0 
, 휋 
Quiero engañar a Alicia y convencerla 
de que la caja tiene un valor binario 
cuando en verdad contiene 15 
Quiero saber exactamente lo que esta a 
dentro de la caja más alla de que es un 
valor binario 
0 + = Sí / No 
휋 
1 
2
Pruebas de nula divulgación 
(Zero-Knowledge Proofs) 
• Con distintas cajas 
– Ej: mostrar que dos cajas contienen el mismo 
valor 
37 , 휋 
Quiero engañar a Alicia y convencerla 
de que las dos cajas contienen el 
mismo valor aunque no es así. 
Quiero saber lo que esta en las cajas. 
+ 휋 = Sí / No 
1 
2 
37 , 
37 + 37
Logaritmo Discreto 
퐴 = 푔푟 
http://en.wikipedia.org/wiki/Elliptic_curve Difícil conseguir solamente conociendo A. 푟 es el logaritmo discreto
Cajas de compromiso de Pedersen 
•푺풆풕풖풑(): 푔,ℎ al azar tal que 훼:ℎ=푔훼 no es conocido 
•푪풐풎풎풔,풓: 푔푠ℎ푟 = 퐶푠,푟 
•푽풆풓풊풇풚푪풔,풓,풔,풓:푔푠ℎ푟 = 퐶푠,푟
Homomorfismo 
•Poder “combinar” cajas sin abrirlas! (푔푠1ℎ푟1)∗(푔푠2ℎ푟2)=(푔(푠1+푠2)ℎ(푟1+푟2)) 
15 
20 
= * 
20 + 15=35 Operación algebraica entre cajas (multiplicación dentro de un grupo) 
Suma del contenido de las dos cajas
Mostrar que dos cajas contienen los mismos valores sin abrirlas 푔풙ℎ푟1 푔풙ℎ푟2 ¿Cómo demostrar que el mismo x esta en las dos cajas sin abrir? 풙 푔풙ℎ푟1 / 푔ퟎℎ푟1−푟2 
= 푔풙ℎ푟2 
Si 풙 esta en las dos cajas entonces podrás mostrar que conoces 풓ퟏ−풓ퟐ
Mostrar que dos cajas contienen los mismos valores sin abrirlas 
•¿Qué pasa si los valores son distintos? 푔푥ℎ푟1 푔푦ℎ푟2 =푔푥−푦ℎ푟1−푟2=ℎΔ 
Entonces 푥−푦+훼푟1−푟2=훼Δ 
훼= 푥−푦 Δ+푟2−푟1 
Se encontró 훼 tal que ℎ=푔훼 
Esto es imposible (en caso que Dlog sea un problema difícil)
Todd-Maxwell con Privacidad 
Se reemplaza los balances por cajas de compromiso. 
Los nodos intermedios se pueden calcular usando el homomorfismo.
Todd-Maxwell con Privacidad 
•Paso final: comparar las cajas usando pruebas de nula divulgación 
A=1200 BTC 
B=1200 BTC 
Lo que debes 
Lo que tienes 
Arból de Maxwell- Todd 
휋: A=B 
Prueba de nula divulgación: las dos cajas contienen los mismos valores
Observaciones 
•No es tan claro como no revelar lo que se tiene 
–Información en cadena de bloque es publica (se puede cruzar información) 
–Habría que cambiar el protocolo bitcoin para que funcione de este lado también 
•Igual simplifica mucho el proceso de auditoria 
•Solamente se requiere una entidad de confianza que firme una caja de compromiso con el valor
En la práctica 
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 
On Monday February 24th, 2014 I was invited to the offices of Coinbase in San Francisco, as part of a voluntary cross-industry effort to provide independent review of the security of Coinbase customer funds. I am the Chief Security Officer at Blockchain, a bitcoin company that offers a web-wallet service that competes with some of Coinbase’s services. Prior to this day, I had not been to Coinbase’s offices, nor did I have any prior professional relationship with Coinbase. My visit was as an independent security expert with no financial control or interest in Coinbase. My goal during this visit was to validate the existence and security of customer funds. 
During my visit, I met with the CEO and other executives and was presented with information on the mechanisms Coinbase uses to secure customer funds from theft, including their cold storage system and operating process. 
I was shown an internal reporting tool used by Coinbase to verify total customer funds and the allocation of funds between the “hot wallet” and “cold storage” and funds in transit. Coinbase shared their process and technical details for cold storage, including their process to ensure funds cannot be retrieved from cold storage without the assembly of multiple keys controlled by different people. 
While Coinbase publicly states that up to 97% of customer funds are in cold storage, at the time of my visit, their internal reporting tool showed that the cold storage system contained 98.8% of customer funds. To confirm for myself that these funds were in the cold storage system, I looked up the balance each of the cold storage addresses against the public blockchain, using an external site. The balance recorded on the public blockchain ledger for each of the addresses matched the balance recorded in Coinbase’s accounting system. 
Although the accounting system and the blockchain balances appeared to match, I wanted to confirm that these addresses were actually controlled by Coinbase, thereby ensuring they controlled the funds. I randomly selected one of the cold storage addresses and requested that a transaction be signed to prove ownership of the address. This was not pre-arranged nor was there any warning that I would make such a request. Coinbase complied with my request and produced a transaction that proved they owned the cold storage address of my choosing. 
Based on what I observed during my visit and my experience in security, it appears that the Coinbase system contains the expected funds and their cold storage system and process appear to be operating according to security best practices. 
Andreas M. Antonopoulos -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (Darwin) Comment: GPGTools - http://gpgtools.org 
iQIcBAEBAgAGBQJTDXNBAAoJEKFoxa4oeN5PRrgP/RN780GCopbTlzIxSU9nBeg5 Qxl/vCKRq+2uHzhyzc+bdj+RlcyvkdKHSD3Ms2/44xMve9kwifj3fkP030DceZdQ IcrDBE5PRXkTILDnV8xwizXeT5a0ojHOKwsdK6IHl1my9yEOnCpQQZomy7joOAOa Sa9xbd9LgmW93izh7EWtfYbjXEvjkVp8C96xwklclAXHDkFQiu4tma5Jil9HJA2+ vAZ9IC4BWmglXDficCRrpV5tRSAU7OhEkk6SIJD6STXKy6LzmsvkpXdTze08761z noWdiGTWQlHZwAzHimrP90+PKMYTPCBklg/I4Tv2g3LD/3Al85ozgiz5neLHINmO zVPGEii31/QtbHSbd0lXBFuCrxzA6x5HCwSnGN9vp0QSSVYNmA8mJoFirCDV9oNA h89GF4sx2mSxxpcC4CA/4Q6QiV3I0MJhltUDKESXTyB71vT5gg/QydP8ZoifiGwE e/FW2GhXI+I/L+L1XnER9zITfZ0DDTRueLBmcfL+ySiFLyGxGZdrr7o3+UVUor0z MuPiOWnmXYsDUjkecwkYwsQoIWkzYs4OrTemBhLE7haXJQVFi+ATaODJQZoOpvdV 9aYM0PR9xGk+E2jD7vfhYw7RbjhwjSq5oiZxPG3jQvEJVb51aYw1tJFdFkqLj8ph HPuuCmxBvLKEMn5VY3YJ =63WZ -----END PGP SIGNATURE----- 
http://antonopoulos.com/2014/02/25/coinbase-review/ 
Reemplazar este mensaje por una caja de compromiso con la cantidad de bitcoins que tiene la empresa auditada 
Andreas M. Antonopoulos
Desafíos pendientes 
•Eficiencia 
•Estándares 
•Demostrar lo que se tiene sin revelarlo o recurrir a un tercero de confianza 
•Problema de “arrendar” direcciones bitcoin 
•Incentivar usuarios a verificar su cuenta 
•Otras reglas de negocio 
•…
Auditoria 2.0 (el sueño) 
•Automatizada 
•Descentralizada 
•Los fraudes se detectan y se castigan inmediatamente sin pasar por ningún intermediario
Bitcoin 2.0 (Ethereum.org) Ethereum.org 
•Plataforma para crear aplicaciones distribuidas en la nube 
•“Smart contracts” 
•Reciben dinero (ethers) y entradas 
•Mantienen estado 
•Envian salidas y dinero 
•Ejemplos: 
•¡Seguros, Fondos de pensión = un simple programa!
¡Gracias! 
https://blockchain.info/tx/e606851c9d25146242a6b8b04f2725d46f12750f839bed00cf7471f6238a6b05?show_adv=true http://proofofexistence.com/

Contenu connexe

Similaire à No más Madoff: Satoshi al rescate

Bitcoin, Blockchain y más allá: Riesgos y Oportunidades
Bitcoin, Blockchain y más allá: Riesgos y OportunidadesBitcoin, Blockchain y más allá: Riesgos y Oportunidades
Bitcoin, Blockchain y más allá: Riesgos y OportunidadesPhilippe Camacho, Ph.D.
 
Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...
Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...
Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...Codemotion
 
Presentación sobre Bitcoin
Presentación sobre BitcoinPresentación sobre Bitcoin
Presentación sobre BitcoinCEU
 
Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...
Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...
Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...Philippe Camacho, Ph.D.
 
Bitcoin en español
Bitcoin en españolBitcoin en español
Bitcoin en españolJUAN BITCOIN
 
Blockchain trasciende a Bitcoin
Blockchain trasciende a BitcoinBlockchain trasciende a Bitcoin
Blockchain trasciende a BitcoinEudy Zerpa
 
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 BlockchainCarlos Barbero Steinblock
 
Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...
Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...
Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...Codemotion
 
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
 
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 pagoDaniel Vicent Lluesa
 
Bitcoin y Blockchain.pdf
Bitcoin y Blockchain.pdfBitcoin y Blockchain.pdf
Bitcoin y Blockchain.pdfUEAJAE
 
Boolberry Reduce Cadena de Bloques de gran Tamaño
Boolberry Reduce Cadena de Bloques de gran TamañoBoolberry Reduce Cadena de Bloques de gran Tamaño
Boolberry Reduce Cadena de Bloques de gran Tamañoenerbyte
 
Blockchain unidad1
Blockchain unidad1Blockchain unidad1
Blockchain unidad1GeremyDaz
 
Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...
Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...
Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...Blockchain España
 
Investigando transacciones sospechosas de bitcoins con OSINT
Investigando transacciones sospechosas de bitcoins con OSINTInvestigando transacciones sospechosas de bitcoins con OSINT
Investigando transacciones sospechosas de bitcoins con OSINTEuler Neto
 

Similaire à No más Madoff: Satoshi al rescate (20)

Bitcoin y (in)seguridad: 5 paradojas
Bitcoin y (in)seguridad: 5 paradojasBitcoin y (in)seguridad: 5 paradojas
Bitcoin y (in)seguridad: 5 paradojas
 
Bitcoin, Blockchain y más allá: Riesgos y Oportunidades
Bitcoin, Blockchain y más allá: Riesgos y OportunidadesBitcoin, Blockchain y más allá: Riesgos y Oportunidades
Bitcoin, Blockchain y más allá: Riesgos y Oportunidades
 
Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...
Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...
Yaiza Rubio Viñuela | To block or Not to block... that's the question | Codem...
 
Presentación sobre Bitcoin
Presentación sobre BitcoinPresentación sobre Bitcoin
Presentación sobre Bitcoin
 
Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...
Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...
Cuando las maquinas deciden por nosotros: introducción a los contratos inteli...
 
Bitcoin
BitcoinBitcoin
Bitcoin
 
Bitcoin en español
Bitcoin en españolBitcoin en español
Bitcoin en español
 
Blockchain: más allá de los bitcoins
Blockchain: más allá de los bitcoinsBlockchain: más allá de los bitcoins
Blockchain: más allá de los bitcoins
 
Blockchain trasciende a Bitcoin
Blockchain trasciende a BitcoinBlockchain trasciende a Bitcoin
Blockchain trasciende a Bitcoin
 
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
 
Clase 2
Clase 2Clase 2
Clase 2
 
Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...
Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...
Óscar Delgado | Hacking the blockchain for fun and profit | Codemotion Madrid...
 
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
 
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
 
Bitcoin y Blockchain.pdf
Bitcoin y Blockchain.pdfBitcoin y Blockchain.pdf
Bitcoin y Blockchain.pdf
 
Boolberry Reduce Cadena de Bloques de gran Tamaño
Boolberry Reduce Cadena de Bloques de gran TamañoBoolberry Reduce Cadena de Bloques de gran Tamaño
Boolberry Reduce Cadena de Bloques de gran Tamaño
 
Blockchain unidad1
Blockchain unidad1Blockchain unidad1
Blockchain unidad1
 
Bitcoin - workingandco
Bitcoin  - workingandcoBitcoin  - workingandco
Bitcoin - workingandco
 
Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...
Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...
Balance Bitcoin con Franco Amati - 10 años de éxitos y fracasos - Meetup Bloc...
 
Investigando transacciones sospechosas de bitcoins con OSINT
Investigando transacciones sospechosas de bitcoins con OSINTInvestigando transacciones sospechosas de bitcoins con OSINT
Investigando transacciones sospechosas de bitcoins con OSINT
 

Plus de Philippe Camacho, Ph.D. (11)

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
 
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
 
Foaf+ssl
Foaf+sslFoaf+ssl
Foaf+ssl
 
Agilidad al rescate
Agilidad al rescateAgilidad al rescate
Agilidad al rescate
 
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
 
Agiles2010
Agiles2010Agiles2010
Agiles2010
 

Dernier

Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.marianarodriguezc797
 
Matriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docxMatriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docxPaolaCarolinaCarvaja
 
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOSPRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOSLincangoKevin
 
Inteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidadInteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidaddanik1023m
 
VIDEOS DE APOYO.docx E
VIDEOS DE APOYO.docx                                  EVIDEOS DE APOYO.docx                                  E
VIDEOS DE APOYO.docx Emialexsolar
 
La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2montoyagabriela340
 
Carta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdfCarta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdfangelinebocanegra1
 
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdfTENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdfJoseAlejandroPerezBa
 
De Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NETDe Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NETGermán Küber
 
Los mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdfLos mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdfodalistar77
 
La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....Aaron Betancourt
 
El diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimosEl diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimosLCristinaForchue
 
Análisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdfAnálisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdfcastrodanna185
 
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdfInmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdfOBr.global
 
Actividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdfActividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdfalejandrogomezescoto
 
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...OLGAMILENAMONTAEZNIO
 
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdfPresentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdfymiranda2
 
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...RaymondCode
 

Dernier (20)

Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.
 
Matriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docxMatriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docx
 
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOSPRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
 
Inteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidadInteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidad
 
VIDEOS DE APOYO.docx E
VIDEOS DE APOYO.docx                                  EVIDEOS DE APOYO.docx                                  E
VIDEOS DE APOYO.docx E
 
La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2
 
Carta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdfCarta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdf
 
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdfTENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
 
De Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NETDe Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NET
 
Los mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdfLos mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdf
 
BEDEC Proyecto y obra , novedades 2024 - Xavier Folch
BEDEC Proyecto y obra , novedades 2024 - Xavier FolchBEDEC Proyecto y obra , novedades 2024 - Xavier Folch
BEDEC Proyecto y obra , novedades 2024 - Xavier Folch
 
La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....
 
El diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimosEl diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimos
 
Análisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdfAnálisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdf
 
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdfInmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdf
 
Actividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdfActividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdf
 
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
 
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdfPresentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
 
BEDEC Sostenibilidad, novedades 2024 - Laura Silva
BEDEC Sostenibilidad, novedades 2024 - Laura SilvaBEDEC Sostenibilidad, novedades 2024 - Laura Silva
BEDEC Sostenibilidad, novedades 2024 - Laura Silva
 
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
 

No más Madoff: Satoshi al rescate

  • 1. No más Madoff: Satoshi al rescate Philippe Camacho philippe.camacho@synaptic.cl Bsides Chile 22 de octubre 2014 Santiago
  • 2. El problema de la industria de la Auditoría http://content.time.com/time/business/article/0,8599,1867092,00.html
  • 3. Costo de la Auditoría •Caro •Lento •Manual •Poco fiable •Seguridad –Relativamente fácil cocinar la data –Dependencia del intermediario de confianza –Conflicto de intereses –Auditar a los auditores se ve poco practico (loop infinito)
  • 4. Bitcoin •Sistema monetario descentralizado •2009 •Autor desconocido (Satoshi Nakamoto) •Capitalización: 5 billiones de USD •21000000 de BTC (no más) •Código abierto •Red P2P •Firmas digitales, funciones de hash •TODAS LAS TRANSACCIONES SON PÚBLICAS –Se publican en la cadena de bloques •Costo de la confianza se reduce drásticamente
  • 5. Bloque Minería en 1 slide Genesis (Coinbase) Cadena de bloques
  • 6. El primer bloque https://en.bitcoin.it/wiki/Genesis_block Genesis (Coinbase)
  • 7. Bitcoin es más que dinero •http://proofofexistence.com •https://blocksign.com/ •Matrimonio en la cadena de bloques http://bit.ly/1n8za7q
  • 8. Nunca más (MtGOX) http://www.technologyreview.com/view/526161/the-troubling-holes-in-mtgoxs-account-of-how-it-lost-600- million-in-bitcoins/ Mark Karpeles (ex GG de MtGOX)
  • 9. •"I think that as a community we should start demanding these services continually prove that they are not fractional reserve. We cannot effectively eliminate the need for trust in these sorts of services, but we can certainly confine the exposure and eliminate a lot of this drama. With Bitcoin it's technically possible to prove an entity controls enough coin to cover its obligations— and even to do so in ways that don't leak other business information, and so we should. But this isn't something specific about MTGox, it's something we should demand from all services holding large amounts of third party Bitcoins. I wouldn't even suggest MTGox should do it first, rather— it sounds like a great move for their competition to differentiate themselves.“ Gregory Maxwell (Core Bitcoin developer) http://www.reddit.com/r/Bitcoin/comments/1yj5b5/unverified_pastebin_gmaxwell_irc_log_mtgox_was/cfkze3p?context=1
  • 10. Proving your Bitcoin Reserves https://iwilcox.me.uk/2014/proving-bitcoin-reserves
  • 11. Ya se esta usando http://blog.coinfloor.co.uk/post/82980052547/coinfloors-first-provable-solvency-report
  • 12. Auditoría 2.0 Genesis (Coinbase) Lo que debo: 풙ퟏ, 풙ퟐ, 풙ퟑ,… 1 2 1. Verificar 푥푖 = 푌 2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 3 Lo que tengo: 풀 풙풋
  • 13. Auditoría 2.0 Genesis (Coinbase) Lo que debo: 풙ퟏ, 풙ퟐ, 풙ퟑ,… 1 2 1. Verificar 푥푖 = 푌 2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 3 Lo que tengo: 풀 풙풋
  • 14. Canal de difusión Seguro (Bulletin Board) •Propiedades –Todo el mundo ve exactamente lo mismo –No se pueden borrar o adulterar mensajes –El orden / la fecha de los mensajes no se puede cambiar •Ejemplos –Diario (manual, centralizado) –Twitter (centralizado) –Cadena de bloques (descentralizado) •Aplicaciones –Votación electrónica –Auditoria 
  • 15. ¿Porque es importante el canal de difusión seguro? Lo que debo: 풙ퟏ, 풙ퟐ, 풙ퟑ,… Lo que debo: 풙ퟒ, 풙ퟓ, 풙ퟔ Se puede hacer ,… declaraciones parciales 풙ퟐ 풙ퟔ
  • 16. Auditoría 2.0 Genesis (Coinbase) Lo que debo: 풙ퟏ, 풙ퟐ, 풙ퟑ,… 1 2 1. Verificar 푥푖 = 푌 2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 3 Lo que tengo: 풀 풙풋
  • 17. Demostrar lo que tienes Tengo 10 BTC Demuéstramelo Mi dirección BTC es 1K89dnJfjdghgSJHg Clave publica asociada: 32sfd73sjhf798273 Firma este mensaje (aleatorio) con tu clave privada kljdkusyu878s7BF7iedy7f67dvf7sd6vu Mensaje firmado 1. Verificar firma 2. Verificar que dirección BTC corresponde a clave publica 3. Chequear en la cadena de bloque el saldo en la dirección BTC 1 2 3 4
  • 18. Auditoría 2.0 Genesis (Coinbase) Lo que debo: 풙ퟏ, 풙ퟐ, 풙ퟑ,… 1 2 1. Verificar 푥푖 = 푌 2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 3 Lo que tengo: 풀 풙풋
  • 19. Demostrar lo que debes (solución trivial) Usuario Monto Juan Perez 20 BTC Pedro Gonzales 1.5 BTC Susana Fuentes 6 BTC …. … …. … Eficiencia Privacidad usuario
  • 20. Funciones de Hash Resistente a Colisiones V Si 푋≠푋′ y 퐻푋= 퐻푋’ entonces el adversario encontró una colisión. openssl.tar.gz Archivo’ 푋= 푋′=
  • 21. Árboles de Merkle [M87] Z1=H(Y1||Y2) Y1=H(x4||x1) x4 x1 x5 x6 x2 x8 x7 x3 Y2=H(x5||x6) Y3=H(x2||x8) Y4=H(x7||x3) Z2=H(Y3||Y4) P=H(Z1||Z2) Raíz: representa el conjunto X=*푥1,…,푥8+
  • 22. Árboles de Merkle [M87] Z1=H(Y1||Y2) Y1=H(x4||x1) x4 x1 x5 x6 x2 x8 x7 x3 Y2=H(x5||x6) Y3=H(x2||x8) Y4=H(x7||x3) Z2=H(Y3||Y4) P=H(Z1||Z2) Raíz: representa el conjunto X=*푥1,…,푥8+ Certificado 푥6∈ 푋
  • 23. Demostrar lo que debes (Árbol de Todd-Maxwell) Balance de un usuario Raíz del árbol: Lo único que se publica en el canal de difusión seguro
  • 24. Privacidad v/s Transparencia •“This is asking a lot of an exchange, and I don't think information is worth the price you're paying in security and privacy. Your interests would be better served by a private auditor's report.” Jesse Powell (Gerente General de Kraken) http://www.reddit.com/r/Bitcoin/comments/1yk4nv/please_ask_your_favorite_exchange_to_prove_that/cflqtn0
  • 25. Auditoría 2.0 Genesis (Coinbase) Lo que debo: 풙ퟏ, 풙ퟐ, 풙ퟑ,… 1 2 1. Verificar 푥푖 = 푌 2. Verificar que 풙풋 ∈ 푋 = *푥1, 푥2, 푥3, … + 3 Lo que tengo: 풀 ¿Cómo preservar la privacidad del usuario y del negocio (*)? (*) http://www.slideshare.net/philippecamacho/protocols-for-provable-solvency-38501620 풙풋
  • 26. Cajas de compromiso (Commitments) ¿Cómo sortear el auto de forma “segura” solamente hablando por teléfono? Alicia (0) Roberto (1) Quien gana 0 0 0 (Alicia) 0 1 1 (Roberto) 1 0 1 (Roberto) 1 1 0 (Alicia)
  • 27. Cajas de compromiso (Commitments) secreto Commitment + = secreto Voy a tratar de abrir la caja a otro valor Voy a tratar de saber lo que hay a dentro de la caja antes de tener la clave 1 2 3 secreto secreto El secreto es revelado. Se verifica si el secreto no cambio.
  • 28. Cajas de compromiso (Ejemplo) •푪풐풎풎풔,풓: 푆퐻퐴256(푠 || 푟) = 퐶푠,푟 •푽풆풓풊풇풚(푪풔,풓,풔,풓): 푆퐻퐴256(푠 || 푟) == 퐶푠,푟 푠 푠 푠 푠
  • 29. Cajas de compromiso (Ejemplo) •¿Porque la caja no revela ninguna información? –푆퐻퐴256 es unidireccional •푦=푆퐻퐴256(푥) •Dada 푦 no se puede “saber nada” respecto a 푥 •¿Porque es imposible cambiar de opinión al abrir la caja? –Supongamos que se puede •푆퐻퐴256(푠||푟) == 푆퐻퐴256(푠’||푟’) •¡Esto es una colisión! 푥 푦 푠||푟 푠′||푟′ 푦
  • 30. Pruebas de nula divulgación (Zero-Knowledge Proofs) • Demostrar algo sobre el secreto sin abrir la caja – Ej: mostrar que la caja contiene un 0 o 1 0 , 휋 Quiero engañar a Alicia y convencerla de que la caja tiene un valor binario cuando en verdad contiene 15 Quiero saber exactamente lo que esta a dentro de la caja más alla de que es un valor binario 0 + = Sí / No 휋 1 2
  • 31. Pruebas de nula divulgación (Zero-Knowledge Proofs) • Con distintas cajas – Ej: mostrar que dos cajas contienen el mismo valor 37 , 휋 Quiero engañar a Alicia y convencerla de que las dos cajas contienen el mismo valor aunque no es así. Quiero saber lo que esta en las cajas. + 휋 = Sí / No 1 2 37 , 37 + 37
  • 32. Logaritmo Discreto 퐴 = 푔푟 http://en.wikipedia.org/wiki/Elliptic_curve Difícil conseguir solamente conociendo A. 푟 es el logaritmo discreto
  • 33. Cajas de compromiso de Pedersen •푺풆풕풖풑(): 푔,ℎ al azar tal que 훼:ℎ=푔훼 no es conocido •푪풐풎풎풔,풓: 푔푠ℎ푟 = 퐶푠,푟 •푽풆풓풊풇풚푪풔,풓,풔,풓:푔푠ℎ푟 = 퐶푠,푟
  • 34. Homomorfismo •Poder “combinar” cajas sin abrirlas! (푔푠1ℎ푟1)∗(푔푠2ℎ푟2)=(푔(푠1+푠2)ℎ(푟1+푟2)) 15 20 = * 20 + 15=35 Operación algebraica entre cajas (multiplicación dentro de un grupo) Suma del contenido de las dos cajas
  • 35. Mostrar que dos cajas contienen los mismos valores sin abrirlas 푔풙ℎ푟1 푔풙ℎ푟2 ¿Cómo demostrar que el mismo x esta en las dos cajas sin abrir? 풙 푔풙ℎ푟1 / 푔ퟎℎ푟1−푟2 = 푔풙ℎ푟2 Si 풙 esta en las dos cajas entonces podrás mostrar que conoces 풓ퟏ−풓ퟐ
  • 36. Mostrar que dos cajas contienen los mismos valores sin abrirlas •¿Qué pasa si los valores son distintos? 푔푥ℎ푟1 푔푦ℎ푟2 =푔푥−푦ℎ푟1−푟2=ℎΔ Entonces 푥−푦+훼푟1−푟2=훼Δ 훼= 푥−푦 Δ+푟2−푟1 Se encontró 훼 tal que ℎ=푔훼 Esto es imposible (en caso que Dlog sea un problema difícil)
  • 37. Todd-Maxwell con Privacidad Se reemplaza los balances por cajas de compromiso. Los nodos intermedios se pueden calcular usando el homomorfismo.
  • 38. Todd-Maxwell con Privacidad •Paso final: comparar las cajas usando pruebas de nula divulgación A=1200 BTC B=1200 BTC Lo que debes Lo que tienes Arból de Maxwell- Todd 휋: A=B Prueba de nula divulgación: las dos cajas contienen los mismos valores
  • 39. Observaciones •No es tan claro como no revelar lo que se tiene –Información en cadena de bloque es publica (se puede cruzar información) –Habría que cambiar el protocolo bitcoin para que funcione de este lado también •Igual simplifica mucho el proceso de auditoria •Solamente se requiere una entidad de confianza que firme una caja de compromiso con el valor
  • 40. En la práctica -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Monday February 24th, 2014 I was invited to the offices of Coinbase in San Francisco, as part of a voluntary cross-industry effort to provide independent review of the security of Coinbase customer funds. I am the Chief Security Officer at Blockchain, a bitcoin company that offers a web-wallet service that competes with some of Coinbase’s services. Prior to this day, I had not been to Coinbase’s offices, nor did I have any prior professional relationship with Coinbase. My visit was as an independent security expert with no financial control or interest in Coinbase. My goal during this visit was to validate the existence and security of customer funds. During my visit, I met with the CEO and other executives and was presented with information on the mechanisms Coinbase uses to secure customer funds from theft, including their cold storage system and operating process. I was shown an internal reporting tool used by Coinbase to verify total customer funds and the allocation of funds between the “hot wallet” and “cold storage” and funds in transit. Coinbase shared their process and technical details for cold storage, including their process to ensure funds cannot be retrieved from cold storage without the assembly of multiple keys controlled by different people. While Coinbase publicly states that up to 97% of customer funds are in cold storage, at the time of my visit, their internal reporting tool showed that the cold storage system contained 98.8% of customer funds. To confirm for myself that these funds were in the cold storage system, I looked up the balance each of the cold storage addresses against the public blockchain, using an external site. The balance recorded on the public blockchain ledger for each of the addresses matched the balance recorded in Coinbase’s accounting system. Although the accounting system and the blockchain balances appeared to match, I wanted to confirm that these addresses were actually controlled by Coinbase, thereby ensuring they controlled the funds. I randomly selected one of the cold storage addresses and requested that a transaction be signed to prove ownership of the address. This was not pre-arranged nor was there any warning that I would make such a request. Coinbase complied with my request and produced a transaction that proved they owned the cold storage address of my choosing. Based on what I observed during my visit and my experience in security, it appears that the Coinbase system contains the expected funds and their cold storage system and process appear to be operating according to security best practices. Andreas M. Antonopoulos -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (Darwin) Comment: GPGTools - http://gpgtools.org iQIcBAEBAgAGBQJTDXNBAAoJEKFoxa4oeN5PRrgP/RN780GCopbTlzIxSU9nBeg5 Qxl/vCKRq+2uHzhyzc+bdj+RlcyvkdKHSD3Ms2/44xMve9kwifj3fkP030DceZdQ IcrDBE5PRXkTILDnV8xwizXeT5a0ojHOKwsdK6IHl1my9yEOnCpQQZomy7joOAOa Sa9xbd9LgmW93izh7EWtfYbjXEvjkVp8C96xwklclAXHDkFQiu4tma5Jil9HJA2+ vAZ9IC4BWmglXDficCRrpV5tRSAU7OhEkk6SIJD6STXKy6LzmsvkpXdTze08761z noWdiGTWQlHZwAzHimrP90+PKMYTPCBklg/I4Tv2g3LD/3Al85ozgiz5neLHINmO zVPGEii31/QtbHSbd0lXBFuCrxzA6x5HCwSnGN9vp0QSSVYNmA8mJoFirCDV9oNA h89GF4sx2mSxxpcC4CA/4Q6QiV3I0MJhltUDKESXTyB71vT5gg/QydP8ZoifiGwE e/FW2GhXI+I/L+L1XnER9zITfZ0DDTRueLBmcfL+ySiFLyGxGZdrr7o3+UVUor0z MuPiOWnmXYsDUjkecwkYwsQoIWkzYs4OrTemBhLE7haXJQVFi+ATaODJQZoOpvdV 9aYM0PR9xGk+E2jD7vfhYw7RbjhwjSq5oiZxPG3jQvEJVb51aYw1tJFdFkqLj8ph HPuuCmxBvLKEMn5VY3YJ =63WZ -----END PGP SIGNATURE----- http://antonopoulos.com/2014/02/25/coinbase-review/ Reemplazar este mensaje por una caja de compromiso con la cantidad de bitcoins que tiene la empresa auditada Andreas M. Antonopoulos
  • 41. Desafíos pendientes •Eficiencia •Estándares •Demostrar lo que se tiene sin revelarlo o recurrir a un tercero de confianza •Problema de “arrendar” direcciones bitcoin •Incentivar usuarios a verificar su cuenta •Otras reglas de negocio •…
  • 42. Auditoria 2.0 (el sueño) •Automatizada •Descentralizada •Los fraudes se detectan y se castigan inmediatamente sin pasar por ningún intermediario
  • 43. Bitcoin 2.0 (Ethereum.org) Ethereum.org •Plataforma para crear aplicaciones distribuidas en la nube •“Smart contracts” •Reciben dinero (ethers) y entradas •Mantienen estado •Envian salidas y dinero •Ejemplos: •¡Seguros, Fondos de pensión = un simple programa!