BLOQUES
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis
S2018/TCS-4339 (BLOQUES-CM)
|
|||||||||||||||||||||||||
|
ResumenLa cadena de bloques, o Blockchain, es un concepto que plantea una enorme revolución no solo en nuestra economía, sino en todo tipo de ámbitos. Blockchain básicamente elimina a los intermediarios, descentralizando la gestión. Se trata de un sistema en el que una cadena creciente de registros se va enlazando y cifrando para proteger su seguridad y su privacidad. El Programa BLOQUES abordará retos importantes de los sistemas basados en blockchains (o, más en general, distributed ledgers) y smart contracts que deben ser solucionados para posibilitar su utilización fiable en diferentes ámbitos, pudiendo aportar altos niveles de seguridad e integridad de los datos. Con un distributed ledger (DLT) correctamente diseñado, un lenguaje de contratos bien fundado y contratos bien escritos, la tecnología blockchain podría revolucionar muchas de las actividades diarias sin necesidad de llevar un rastro de documentos (físicos o informáticos) que deban ser revisados, validados y sellados por humanos, evitando que dichos documentos puedan falsificarse o perderse. El programa BLOQUES-CM incluye dos grupos de la UCM y la UPM y otro del Instituto IMDEA Software, todos con una larga trayectoria de investigación y formación. El consorcio reúne a 49 doctores con un destacado historial, aunando un conjunto de competencias único, que colaborarán para cumplir los diferentes objetivos del programa, tanto en materias científico-técnicas, como en transferencia, formación, diseminación y captación de recursos, algo que resulta posible gracias a la colaboración sinérgica entre los grupos y la complementariedad entre los mismo, que abarca todos los aspectos necesarios de la investigación y transferencia tecnológica moderna. |
||||||||||||||||||||||||