Professional Documents
Culture Documents
El blockchain tiene el potencial de marcar el comienzo de una nueva era caracterizada por
sistemas de pago globales, activos digitales, gobernanza descentralizada e incluso sistemas
legales descentralizados. Permite a las organizaciones colectivas e instituciones sociales ser
más fluidas y promover una mayor participación, transformando potencialmente la forma de
gobierno corporativo y las instituciones democráticas operan La tecnología podría tener un
impacto en los mercados de capital al permitir que los ciudadanos comunes emitan valores
financieros utilizando solo unas pocas líneas de código.
Para garantizar que solo las transacciones legítimas se registren en una cadena de bloques, la
red confirma que las nuevas transacciones son válidas y no invalidan las transacciones
anteriores. Se agregará un nuevo bloque de datos al final de la cadena de bloques solo
después de que las computadoras de la red lleguen a un consenso sobre la validez de la
transacción. El consenso dentro de la red se logra mediante diferentes mecanismos de
votación, el más común de los cuales es Prueba de trabajo, que depende de la cantidad de
poder de procesamiento donado a la red.
Una vez que se ha agregado un bloque a la cadena de bloques, ya no se puede eliminar y las
personas que se encuentran en la red pueden acceder y verificar las transacciones que
contiene. Se convierte en un registro permanente que todas las computadoras en la red
pueden usar para coordinar una acción o verificar un evento.
Las criptomonedas descentralizadas como Bitcoin [48] y altcoins [20] han ganado rápidamente
popularidad, y se citan a menudo como un vistazo a nuestro futuro [5]. Estos sistemas de
criptomonedas emergentes se construyen sobre una nueva tecnología blockchain donde los
mineros ejecutan un consenso distribuido cuya seguridad está garantizada si ningún adversario
ejerce una gran fracción del recurso computacional (u otras formas de). Los términos "cadena
de bloques" y "mineros" por lo tanto, a menudo se usan indistintamente. Blockchains como
Bitcoin llegan a un consenso no solo sobre un flujo de datos sino también sobre cómputos que
involucran estos datos. En Bitcoin, específicamente, los datos incluyen transacciones de
transferencia de dinero propuestas por los usuarios, y el cálculo involucra validación de
transacciones y actualización de una estructura de datos llamada conjunto de resultados de
transacción no utilizado que, imprecisamente, realiza un seguimiento de los saldos de las
cuentas de los usuarios. Nueva criptomoneda emergente
sistemas como Ethereum [57] adoptan la idea de ejecutar programas arbitrarios definidos por
el usuario en blockchain, creando así un expresivo sistema de contrato inteligente
descentralizado. En este documento, consideramos protocolos de contrato inteligentes donde
las partes interactúan con una cadena de bloques. Suponiendo que el protocolo de consenso
descentralizado es seguro, se puede pensar que blockchain es una parte conceptual (en
realidad descentralizada) en la que se puede confiar para que sea correcta y esté disponible,
pero no para la privacidad. Dicha cadena de bloques proporciona una poderosa abstracción
para el diseño de protocolos distribuidos. El poder expresivo de la cadena de bloques se
potencia aún más por el hecho de que las cadenas de bloques incorporan naturalmente una
noción discreta de tiempo, es decir, un reloj que aumenta cada vez que se extrae un bloque
nuevo. La existencia de un reloj de confianza es crucial para lograr la equidad financiera en los
protocolos. En particular, las partes contractuales malintencionadas pueden abortar
prematuramente a partir de un protocolo para evitar el pago financiero. Sin embargo, con un
reloj de confianza, se pueden emplear tiempos de espera para hacer que esos abortos sean
evidentes, de modo que la cadena de bloques pueda penalizar financieramente a las partes
que abortan mediante la redistribución de sus depósitos colaterales a partes honestas que no
aborten. Esto hace que el modelo blockchain de criptografía sea más poderoso que el modelo
tradicional sin una cadena de bloques donde se sabe que la equidad es, en general, imposible
en general cuando la mayoría de las partes puede estar corrupta [8], [17], [24]. En resumen, las
cadenas de bloques permiten a las partes, sin ningún conocimiento mutuo, realizar
transacciones de forma segura sin un intermediario de confianza central, y evitar un alto costo
legal y de transacción. A pesar de la expresividad y el poder de Blockchain y los contratos
inteligentes, la forma actual de estas tecnologías carece de privacidad transaccional. La
secuencia completa de acciones tomadas en un contrato inteligente se propaga a través de la
red y / o se graba en la cadena de bloques y, por lo tanto, es públicamente visible. Aunque las
partes pueden crear nuevas claves públicas seudónimas para aumentar su anonimato, los
valores de todas las transacciones y saldos de cada clave pública (seudónimo) son
públicamente visibles. Además, trabajos recientes también han demostrado ataques de
desanonización mediante el análisis de las estructuras gráficas transaccionales de las
criptomonedas [42], [52].
ser equiparado con un tercero de confianza, incluso cuando el gerente puede desviarse
arbitrariamente del protocolo o coludir con las partes, el gerente no puede afectar la ejecución
correcta del contrato. En el caso de que un gerente aborte el protocolo, puede ser penalizado
financieramente, y los usuarios obtienen una compensación en consecuencia.
• Privacidad posterior. Siempre que el gerente no divulgue información, las ofertas de los
usuarios se mantienen privadas entre sí (y del público) incluso después de la subasta.
• Equidad financiera. Las partes pueden intentar abortar prematuramente a partir del
protocolo para evitar el pago o afectar la redistribución de la riqueza. Si una parte aborta o el
administrador de la subasta aborta, la parte abortiva será penalizada financieramente
mientras que las partes restantes recibirán una compensación. Como es bien sabido en la
literatura de la criptografía, tales garantías de equidad no son alcanzables en general mediante
protocolos fuera de cadena, tales como el cómputo seguro multipartito [7], [17]. Como se
explica más adelante, Hawk ofrece mecanismos incorporados para aplicar reembolsos de
ofertas privadas después de ciertos tiempos de espera.
Hawk también le permite al programador definir reglas adicionales, como parte del contrato
Hawk, que rigen la equidad financiera.
Una subasta con los requisitos de seguridad y privacidad anteriores no se puede implementar
trivialmente sobre sistemas de criptomoneda existentes como Ethereum [57] o Zerocash [11].
El primero permite la programabilidad pero no garantiza la privacidad transaccional, mientras
que el segundo garantiza la privacidad transaccional, pero al precio de incluso la
programabilidad reducida que Bitcoin.
Aborto y tiempos de espera. Abortar se trata de usar tiempos de espera. Un programa Hawk
como la Figura 2 declara los parámetros de tiempo de espera utilizando la sintaxis especial
HawkDeclareTimeouts. Tres tiempos de espera se declaran donde T1 <T2 <T3:
T2: todos los usuarios deberían haber abierto sus ofertas al administrador dentro de T2; si un
usuario envió una oferta pero no abre en T2, su oferta de entrada se trata como 0 (y cualquier
otro dato de entrada potencial tratado como ⊥), de modo que el administrador puede
continuar.
T3: si el administrador aborta, los usuarios pueden reclamar sus ofertas privadas después del
tiempo T3.
C. Contribuciones
Modelos formales para contratos inteligentes descentralizados. Estamos entre los primeros en
iniciar un tratamiento formal y académico del modelo de criptografía blockchain. Presentamos
un modelo formal de Compobilidad Universal (UC) para el modelo de criptografía blockchain:
este modelo formal es de interés independiente, y puede ser útil en general para definir y
modelar la seguridad de los protocolos en el modelo blockchain. Nuestro modelo formal
también ha sido adoptado por el trabajo de Gyges [35] en el diseño de contratos inteligentes
delictivos.
Al definir el modelo formal de blockchain, nos basamos en una noción llamada wrappers para
modularizar nuestro diseño de protocolo y simplificar la presentación. Los empaquetadores
manejan un conjunto de detalles comunes, como temporizadores, seudónimos y registros
globales en un lugar centralizado, de modo que no es necesario repetirlos en cada protocolo.
Nueva suite de criptografía. Implementamos un nuevo paquete de criptografía que vincula las
transacciones privadas con la lógica programable.
Conclusiones
Sin embargo, como ocurre con todas las tecnologías, las cadenas de bloques
criptográficamente aseguradas pueden usarse tanto para el bien como para el mal. A pesar de
sus beneficios, muchas de las aplicaciones emergentes también presentan importantes
inconvenientes.