Dissertação
Correct Smart Contract Speculation By Design EVALUATED
Com o aumento da popularidade das blockchains, as suas aplicações têm vindo a expandir para além do do contexto de criptomoedas. Blockchains modernas, como o Ethereum, permitem o desenvolvimento de aplicações complexas através de smart contracts. Apesar da sua crescente popularidade, o desenvolvimento de aplicações sobre blockchains enfrenta muitos desafios, impedindo a adoção generalizada de blockchains. O modelo de programação atual requer que os programadores possuam profundo conhecimento sobre os protocolos e as estruturas internas da blockchain, para construir aplicações corretas. Além disso, os elevados tempos de confirmação fazem com que os programadores relaxem as garantias de consistência, tipicamente levando a comportamentos incorretos. Neste trabalho, apresentamos a Speculatra, uma framework para a construção de aplicações descentralizadas baseadas em blockchains, corretas e eficientes. A Speculatra permite que os programadores evitem os percauços comuns e desenvolvam aplicações mais robustas, ao mesmo tempo que contribui para reduzir a latência da aplicação especulando sobre o resultado das transações que ainda não foram confirmadas. A nossa avaliação do Speculatra, em Ethereum, demonstra que Speculatra consegue diminuir a latência das operações até 80%, quando a especulação está correta.
janeiro 13, 2021, 14:30
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
João Pedro Faria Mendonça Barreto
Departamento de Engenharia Informática (DEI)
Professor Auxiliar
ORIENTADOR
Miguel Ângelo Marques de Matos
Departamento de Engenharia Informática (DEI)
Professor Auxiliar