Análise das estruturas de dados verificáveis nas blockchains Ethereum e Neo

  • Carlos David R. Pasco UFF
  • Igor M. Coelho UFF

Resumo


Estruturas de dados tem sido um dos principais objetos de estudo da computação. Alguns cenários de aplicação dessas estruturas possuem requisitos relacionados à segurança e integridade dos dados nelas contidos. Deste modo, no decorrer da história da computação foram propostas estruturas de dados verificáveis, que apresentam características que visam atender a alguns requisitos de segurança como a garantia de imutabilidade e a verificação de um item de dado pertencente a estas estruturas. Este artigo analisa duas estruturas de dados verificáveis, a saber, a Mekle Tree e a Merkle PATRICIA Trie, descrevendo seus conceitos, características e cenários de aplicação no contexto das blockchains Ethereum e Neo.

Referências

Coelho, I. M. and Coelho, V. N. (2021). Neocompiler eco: experimentação de consenso em blockchain e contratos inteligentes. In Anais do VI Workshop do testbed FIBRE, pages 57–67. SBC.

Eijdenberg, A., Laurie, B., and Cutter, A. (2015). Verifiable data structures.

Google Research, Tech. Rep, https://continusec.com/static/VerifiableDataStructures.pdf.

Ethereum Wiki (2021). Patricia tree. https://eth.wiki/fundamentals/patricia-tree. [Online; acessado em 12/06/2021].

Fredkin, E. (1960). Trie memory. Communications ACM, 3(9):490–499.

Katz, J. and Lindell, Y. (2014). Introduction to Modern Cryptography, Second Edition. Chapman & Hall/CRC, 2nd edition.

Laurie, B. (2014). Certificate transparency: Public, verifiable, append-only logs. Queue, 12(8):10–19.

Merkle, R. C. (1989). A certified digital signature. In Conference on the Theory and Application of Cryptology, pages 218–238. Springer.

Morrison, D. (1968). PATRICIA - Practical Algorithm to Retrieve Information Coded in Alphanumeric. Journal of the ACM, 15(4):514–534.

Nakamoto, S. (2008). Bitcoin: A peer-to-peer electronic cash system. Tech. Report, 31st October 2008, https://bitcoin.org/bitcoin.pdf.

Sedgewick, R. (1983). Algorithms. Addison-Wesley, 1st edition.

Wood, G. (2014). Ethereum: A secure decentralised generalised transaction ledger. Technical report, Solidity.
Publicado
16/08/2021
PASCO, Carlos David R.; COELHO, Igor M.. Análise das estruturas de dados verificáveis nas blockchains Ethereum e Neo. In: WORKSHOP EM BLOCKCHAIN: TEORIA, TECNOLOGIAS E APLICAÇÕES (WBLOCKCHAIN), 4. , 2021, Uberlândia. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 1-6. DOI: https://doi.org/10.5753/wblockchain.2021.17123.