Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

PGC2018-102210-B-I00

Financiado

FUNDAMENTOS PARA EL DESARROLLO, ANALISIS Y COMPRENSION DE LOS BLOCKCHAINS Y LOS...

FUNDAMENTOS PARA EL DESARROLLO, ANALISIS Y COMPRENSION DE LOS BLOCKCHAINS Y LOS CONTRATOS INTELIGENTES EL OBJETIVO DEL PROYECTO ES EL DESARROLLO DE LOS FUNDAMENTOS PARA (1) ANALIZAR FORMALMENTE ACERCA LA INFRAESTRUCTURA DISTRIBUIDA QUE IMPLEMENTA EL BLOCKCHAIN, Y OPTIMIZAR SU FUNCIONAMIENTO; (2) PARA ANALIZAR Y VERIFICAR SMART CONT... ver más

01/01/2018

IMDEA SOFTWARE INS...

94K€

Presupuesto del proyecto: 94K€

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2018-01-01

0% 100%

Participantes

IMDEA SOFTWARE INSTITUTE

Lider

Proyectos interesantes

PROCONTRA Smart Contract Protocols Theory for Applications 2M€ Cerrado

Una plataforma de smart contracts para la ges... Una plataforma de smart contracts para la gestión de activos... 199K€ Cerrado

PID2021-127956OB-I00 EVALUACION DE ORGANIZACIONES AUTONOMAS DESCENTRALIZADAS BASA... 93K€ Cerrado

CRYPTOLAYER Cryptography for Second Layer Blockchain Protocols 2M€ Cerrado

PID2019-110224RB-I00 PRIVACIDAD Y SEGURIDAD EN BLOCKCHAINS PUBLICAS Y SUS APLICAC... 127K€ Cerrado

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto

IMDEA SOFTWARE INSTITUTE

TRL 4-5 | 650K€

Presupuesto del proyecto 94K€

Descripción del proyecto EL OBJETIVO DEL PROYECTO ES EL DESARROLLO DE LOS FUNDAMENTOS PARA (1) ANALIZAR FORMALMENTE ACERCA LA INFRAESTRUCTURA DISTRIBUIDA QUE IMPLEMENTA EL BLOCKCHAIN, Y OPTIMIZAR SU FUNCIONAMIENTO; (2) PARA ANALIZAR Y VERIFICAR SMART CONTRACTS, PROBAR MATEMATICAMENTE LA CORRECCION DEL SOFTWARE NO ES UN PROBLEMA NUEVO, Y MUCHAS DE SUS FACETAS SE HAN ESTUDIADO DURANTE MUCHOS AÑOS, A PESAR DE ELLO LOS BLOCKCHAINS PRESENTAN ALGUNOS RETOS Y OPORTUNIDADES NUEVOS,EN CUANTO A LA INFRAESTRUCTURA, LOS ELEMENTOS QUE IMPLEMENTAN EL BLOCKCHAIN SON DOS: FUNCIONES CRIPTOGRAFICAS Y ALGORITMOS DE CONSENSO PARA GARANTIZAR LA CORRECTA RECONCILIACION DE LA BASE DE DATOS DISTRIBUIDA, UNA DE LAS LINEAS DE ESTE PROYECTO ESTUDIA LA VERIFICACION DE LOS ALGORITMOS DE CONSENSO, LO CUAL ES CRITICO PARA QUE EL BLOCKCHAIN NO TENGA ERRORES QUE PUEDAN APROVECHAR USUARIOS MALICIOSOS, LOS ALGORITMOS DE CONSENSO SON MUY COMPLEJOS, Y SE SUELEN PUBLICAR EN ARTICULOS ESPECIALIZADOS CON DEMOSTRACIONES MATEMATICAS MANUALES, NO SON RARAS LAS OCASIONES EN LAS QUE AÑOS DESPUES SE DESCUBREN ERRORES EN ESTOS ALGORITMOS, LA LINEA QUE PROPONEMOS ES PARTE DE UNA TENDENCIA RECIENTE DE USAR TECNOLOGICA DE INFORMATICA FORMAL PARA PROBAR PROPIEDADES DE ALGORITMOS Y DE SUS IMPLEMENTACIONES, UNO DE LOS ASPECTOS MAS DIFICILES DE ESTE ANALISIS, ASI COMO DE MUCHOS SMART CONTRACTS, ES QUE ESTOS SE PUEDEN EJECUTAR POR UN NUMERO ARBITRARIO DE PARTICIPANTES, LO QUE SE CONOCEN COMO PROGRAMAS PARAMETRIZADOS, OTRA DE LAS TAREAS DEL PROYECTO ESTUDIA EL ANALISIS Y VERIFICACION DE PROTOCOLOS Y PROGRAMAS PARAMETRIZADOS, AUNQUE AUN ESTAMOS DESCUBRIENDO LAS INMENSAS POSIBILIDADES QUE PRESENTA EL BLOCKCHAIN COMO INFRAESTRUCTURA CONFIABLE Y SIN ENTIDAD CENTRAL QUE LO CONTROLE, EXISTE UN IMPORTANTE RETO EN CUANTO A MEJORAR SU EFICIENCIA, UNA LINEA DE ESTE PROYECTO ESTA DEDICADA A LAS OPTIMIZACIONES BASADAS EN HARDWARE, Y OTRA TAREA ESTUDIA COMO MEJORAR LA ESCALABILIDAD CON PROTOCOLOS SHARDING QUE IMPLEMENTAN MAS EFICIENTEMENTE EL CONSENSO,AUNQUE EL USO MAS POPULAR DE BLOCKCHAIN SON LAS CRIPTOMONEDAS, Y EN PARTICULAR BITCOIN, EL MAYOR POTENCIAL DE ESTA TECNOLOGIA SE ALCANZARA CON EL USO DE LOS SMART CONTRACTS (CONTRATOS INTELIGENTES), POR UN LADO, LOS SMART CONTRACTS SON UNA REPRESENTACION INFORMATICA DE LOS CONTRATOS LEGALES ENTRE ENTIDADES, INCLUYENDO HUMANOS, POR OTRO LADO, LOS SMART CONTRACTS SON MUY SIMILARES A PROGRAMAS DE ORDENADOR EN EL SENTIDO DE QUE DESCRIBEN Y GOBIERNAN LOS EFECTOS QUE LA EVOLUCION DEL CONTRATO EN LOS DATOS ALMACENADOS (EN CONCRETO EN EL VALOR DE CUENTAS EN CRIPTOMONEDAS) Y CUALES SON LAS CAPACIDADES DE CADA AGENTE EN CADA MOMENTO, DESDE ESTE SEGUNDO PUNTO DE VISTA LOS SMART CONTRACTS SON SOFTWARE, DISFRUTAN DE SU MISMO POTENCIAL Y ADOLECEN DE LOS MISMOS RIESGOS, TECNICAMENTE LOS SMART CONTRACTS PRESENTAN ALGUNAS OPORTUNIDADES EN ASPECTOS QUE HAN DIFICULTADO TRADICIONALMENTE EL ANALISIS FORMAL (COMO LA COMPLEJIDAD DE LAS ARQUITECTURAS HARDWARE, EL MANEJO DE MEMORIA DINAMICA O LA CONCURRENCIA A NIVEL DE INSTRUCCION), POR OTRO LADO, PARA ANALIZAR UN SMART CONTRACT EN SU TOTALIDAD HAY QUE MODELAR ASPECTOS COMO LA INTERACCION ENTRE LOS AGENTES Y EL ENTRELAZADO DE INVOCACIONES CONCURRENTES, DEDICAMOS DOS LINEAS A DESARROLLAR FUNDAMENTOS PARA EL ESTUDIO RIGUROSO DE SMART CONTRACTS, EN CONCRETO, UNA DE LAS LINEAS UTILIZAR VERIFICACION DEDUCTIVA UTILIZANDO DEMOSTRADORES DE TEOREMAS, LA OTRA ESTUDIARA LOGICAS DE ESPECIFICACION PARA CONTRATOS, Y COMO MONITORIZAR SU EJECUCION, INFORMÁTICA\SOFTWARE\MÉTODOS FORMALES\TÉCNICAS RIGUROSAS\ANÁLISIS\VERIFICACIÓN\OPTIMIZACIÓN\BLOCKCHAINS\SMART CONTRACTS

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores