Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PID2022-138072OB-I00

Financiado

Cerrado

Ciencias de la computación y tecnología informática

EL OBJETIVO DE ESTE PROYECTO ES EL DESARROLLO DE TECNOLOGIAS INFORMATICAS EXTRAIDAS DE LA NECESIDAD DE MEJORAR LA EFICIENCIA DE LOS "DISTRIBUTED LEDGERS" Y LA CORRECCION LOS CONTRATOS INTELIGENTES (SMART CONTRACTS). LLAMAMOS A EST... ver más

01/01/2022

IMDEA SOFTWARE INS...

118K€

Presupuesto del proyecto: 118K€

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€

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2022-01-01 No tenemos la información de la convocatoria

0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

IMDEA SOFTWARE INSTITUTE

117.50K€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

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€

Presupuesto del proyecto 118K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto EL OBJETIVO DE ESTE PROYECTO ES EL DESARROLLO DE TECNOLOGIAS INFORMATICAS EXTRAIDAS DE LA NECESIDAD DE MEJORAR LA EFICIENCIA DE LOS "DISTRIBUTED LEDGERS" Y LA CORRECCION LOS CONTRATOS INTELIGENTES (SMART CONTRACTS). LLAMAMOS A ESTOS PROBLEMAS "CONCURRENCIA DESCENTRALIZADA". SU SOLUCION ES ESENCIAL PARA PERMITIR LA PROXIMAS REVOLUCION DE LA "INTERNET DEL VALOR", INCLUYENDO:- LAS FINANZAS DESCENTRALIZADAS (DEFI), QUE PERMITEN A LOS USUARIOS ACCEDER, DE MANERA CONFIABLE Y DESCENTRALIZADA AL RANGO DE PRODUCTOS Y SERVICIOS FINANCIEROS, INCLUYENDO PEDIR Y OTORGAR PRESTAMOS, OTORGAR PRESTAMOS, ETC.- LA WEB3: QUE EXTIENDE DEFI A TODAS LAS INTERACCIONES SOCIALES DE LA INTERNET EVITANDO LA NECESIDAD DE DATOS CENTRALIZADOS Y PERMITIENDO SERVICIOS EN LOS QUE LOS DUEÑOS SON LOS USUARIOS MISMOS, DE MANERA MAS TRANSPARENTE Y DEMOCRATICO.ESTAS NUEVAS SOLUCIONES ESTAN PROGRAMADAS UTILIZANDO SMART CONTRACTS QUE EJECUTAN EN BLOCKCHAINS. HAY DOS OBSTACULOS PRINCIPALES QUE DEBEN SOLUCIONARSE PARA QUE ESTA REVOLUCION PUEDA SUCEDER.1. ESCALABILIDAD. LOS BLOCKCHAINS ESTAN BASADOS EN LA COMBINACION DE ALGORITMOS CRIPTOGRAFICOS Y ALGORITMOS DISTRIBUIDOS DE CONSENSO BIZANTINO. LAS MEJORES SOLUCIONES EN LA ACTUALIDAD (POR EJEMPLO ETHEREUM) PROPORCIONAN UN NUMERO DE TRANSACCIONES MUY INFERIOR DE LO QUE ES NECESARIO PARA DEFI, WEB3. EN ESTE PROYECTO ESTUDIAREMOS LA ESCALABILIDAD, SIN COMPROMETER LA NECESARIA CORRECCION DE LOS ALGORITMOS FUNDAMENTALES QUE GOBIERNAN LA BLOCKCHAIN. EL FUNCIONAMIENTO IMPREDECIBLE O UNA MAL RENDIMIENTO DE ESTA INFRAESTRUCTURA PUEDE LLEVAR A LA DESCONFIANZA Y EN ULTIMA INSTANCIA LA NO ADOPCION DE LA TECNOLOGIA. 2. CORRECTITUD. LA CORRECCION DE LOS SMART CONTRACTS ES OTRO ASPECTO MUY IMPORTANTE. LA FUNCIONALIDAD DE LAS APLICACIONES MENCIONADAS MAS ARRIBA ESTA IMPLEMENTADA UTILIZANDO SMART CONTRACTS QUE GOBIERNAN LA INTERACCION ENTRE LOS USUARIOS, SUS DATOS Y LOS TOKENS DIGITALES QUE REPRESENTAN EL VALOR (COMO EN LAS CRYPTOMONEDAS). POR LO TANTO, ES CRUCIAL QUE LOS SMART CONTRACTS SE COMPORTEN COMO SE DISEÑARON.EN ESTE PROYECTO ESTUDIAREMOS PROBLEMAS FUNDAMENTALES DE LAS TECNOLOGIAS DE SOFTWARE RELATIVOS A CONCURRENCIA DESCENTRALIZADA, BASANDONOS EN TECNICAS ESTATICAS Y DINAMICAS. LAS TECNICAS DINAMICAS ESTAN BASADAS EN MONITORES QUE SE OBSERVAN LA EJECUCION DE LOS CONTRATOS. LAS TECNICAS ESTATICAS QUE DESARROLLAREMOS ESTAN BASADAS EN TECNICAS DE LENGUAJES DE PROGRAMACION, TEORIA DE TIPOS Y TEORIA DE CONCURRENCIA. LA MAYORIA DE LOS ERRORES MAS GRAVES SE PRODUCEN NO A TRAVES DE UNA UNICA EJECUCION DEL CONTRATO PERO A O BIEN A TRAVES DE INTERACCIONES INDESEADAS DE UNOS CONTRATOS CON OTROS, O A TRAVES DE MULTIPLES LLAMADAS AL CONTRATO. POR ELLO, ESTUDIAREMOS TECNICA DE ANALISIS AUTOMATICO DEL USO DE LOS APIS. FINALMENTE, ESTUDIAREMOS PROCEDIMIENTOS DE DECISION PARA MEJORAR LA AUTOMATIZACION DE ESTAS TECNICAS. LENGUAJES DE PROGRAMACION\VERIFICACION EN TIEMPO DE EJECUCION\TEORIA DE TIPOS\VERIFICACION DEDUCTIVA\VERIFICACION ALGORITMICA\PROCEDIMIENTOS DE DECISION\SISTEMAS DISTRIBUIDOS\METODOS FORMALES\VERIFICACION DE PROGRAMAS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores