Aplicação de algoritmos certificadores e verificadores para otimização de contratos inteligentes

• Autor(a) principal: Felix, Lucca Martins Felix
• Data de Publicação: 2023
• Tipo de documento: Trabalho de conclusão de curso
• Idioma: por
• Título da fonte: Repositório Institucional da UFRJ
• Texto Completo: http://hdl.handle.net/11422/19795
• topic: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO; Blockchain; Contrato-Inteligente; Otimização

A tecnologia da blockchain está permitindo novas formas de se desenhar uma solução descentralizada, onde o objetivo principal é estabelecer confiança entre partes, em um ambiente aberto e sem que haja a necessidade de uma autoridade centralizada para fazê-la. No mais, contratos inteligentes tornam possível que códigos programáveis sejam executados dentro desta rede blockchain. O custo para que esses contratos sejam executados nela é medido em “gas” (do inglês, gasolina) que baseia-se na quantidade de poder computacional exigido da rede blockchain durante a execução. Ao fim, o preço do “gas” possui uma equivalência ao dinheiro corrente, tal qual o real brasileiro e o dólar americano. Com isso, o objetivo deste trabalho é a redução de custos, associados a execução de contratos inteligentes na blockchain, por meio da otimização do “gas” consumido. Para essa otimização, serão aplicados os conceitos de algoritmos certificadores e verificadores de forma que, assim, seja possível terceirizar ao máximo o poder computacional para fora da blockchain e que, com isso, minimize-se a quantidade de recursos exigidos dentro da mesma.