Um Estudo Inicial sobre a Importância de Simular Contratos Inteligentes em Blockchain

  • Alan Nascimento Gomes UFC
  • Emanuel Ferreira Coutinho UFC

Resumo


Com a crescente utilização de sistemas computacionais em diversos setores da sociedade, novas tecnologias surgiram, e com elas vários desafios. Blockchain é uma rede ponto a ponto que armazena uma cadeia de blocos, comparável a um livro público, onde cada parte interessada possui uma cópia idêntica, transparente e imutável. Os contratos inteligentes possibilitam na blockchain acordos dinâmicos e com maior confiança na troca de ativos digitais. Porém, apesar da utilização de contratos inteligentes trazer benefícios, há a necessidade de cuidados em relação a ameaças, como vulnerabilidades e erros na lógica de negócio. O objetivo desta pesquisa é discutir sobre a importância de simular contratos inteligentes em blockchain. Para isso, algumas questões de pesquisa foram projetadas, dados foram obtidos de uma revisão da literatura e algumas categorias de aspectos relacionados à simulação de blockchain foram identificados.

Referências

Abdellatif, T. e Brousmiche, K.-L. (2018). Formal verification of smart contracts based on users and blockchain behaviors models. In 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pages 1-5.

Abreu, A., Coutinho, E. F., e Bezerra, C. I. M. (2022). Performance evaluation of data transactions in blockchain. IEEE Latin America Transactions, 20(3):409-416.

Abreu, A. W. S., Coutinho, E. F., e Bezerra, C. I. M. (2020). A blockchain-based architecture for query and registration of student degree certificates. In Proceedings of the 14th Brazilian Symposium on Software Components, Architectures, and Reuse, SBCARS '20, page 151-160.

Akca, S., Rajan, A., e Peng, C. (2019). Solanalyser: A framework for analysing and testing smart contracts. In 2019 26th Asia-Pacific Software Engineering Conference (APSEC), pages 482-489.

Alharby, M. e van Moorsel, A. (2017). Blockchain-based smart contracts: A systematic mapping study. arXiv preprint arXiv:1710.06372.

Bhaskar, N. D. e Chuen, D. L. K. (2015). Chapter 3 bitcoin mining technology. In Chuen, D. L. K., editor, Handbook of Digital Currency, pages 45 - 65. Academic Press, San Diego.

Chapman, P., Xu, D., Deng, L., e Xiong, Y. (2019). Deviant: A mutation testing tool for solidity smart contracts. In 2019 IEEE International Conference on Blockchain (Blockchain), pages 319-324.

Christidis, K. e Devetsikiotis, M. (2016). Blockchains and smart contracts for the internet of things. IEEE Access, 4:2292-2303.

Coutinho, E. F., Maia, D. J. H., Bezerra, W. L. B., e dos Santos Abreu, A. W. (2020). Avaliando o custo de contratos inteligentes em aplicações blockchain por meio de ambientes de simulação. In Anais do II Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, pages 56-65, Porto Alegre, RS, Brasil. SBC.

Destefanis, G., Marchesi, M., Ortu, M., Tonelli, R., Bracciali, A., e Hierons, R. (2018). Smart contracts vulnerabilities: a call for blockchain software engineering? In 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE).

Liu, C., Liu, H., Cao, Z., Chen, Z., Chen, B., e Roscoe, B. (2018). Reguard: Finding reentrancy bugs in smart contracts. In 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pages 65-68.

Liu, Y., Li, Y., Lin, S.-W., e Yan, Q. (2020). Modcon: A model-based testing platform for smart contracts. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2020, page 1601-1605.

Nascimento Gomes, A. e Coutinho, E. F. (2021). An Architecture Proposal for E-health Data Collection and Storage Based on Internet of Things and Blockchain. In 9th International Workshop on ADVANCEs in ICT Infrastructures and Services.

Nofer, M., Gomber, P., Hinz, O., e Schiereck, D. (2017). Blockchain. Business & Information Systems Engineering, 59(3):183-187.

Parizi, R. M., Dehghantanha, A., Choo, K.-K. R., e Singh, A. (2018). Empirical vulnerability analysis of automated smart contracts security testing on blockchains. In Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, CASCON '18, page 103-113, USA. IBM Corp.

Singh, A., Parizi, R. M., Zhang, Q., Choo, K.-K. R., e Dehghantanha, A. (2020). Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities. Computers & Security, 88:101654.

Swan, M. (2015). Blockchain: Blueprint for a new economy. "O'Reilly Media, Inc.".

Szabo, N. (1994). Smart contracts. http://bit.ly/2Yc9vjb. Online; accessed Oct-2019.

Thakkar, P., Nathan, S., e Viswanathan, B. (2018). Performance benchmarking and optimizing hyperledger fabric blockchain platform. In 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS).

Xu, X., Pautasso, C., Zhu, L., Gramoli, V., Ponomarev, A., Tran, A. B., e Chen, S. (2016). The blockchain as a software connector. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), pages 182-191.

Zheng, Z., Xie, S., Dai, H.-N., Chen, X., e Wang, H. (2017). Blockchain challenges and opportunities: A survey. International Journal of Web and Grid Services (IJWGS).
Publicado
03/10/2022
GOMES, Alan Nascimento; COUTINHO, Emanuel Ferreira. Um Estudo Inicial sobre a Importância de Simular Contratos Inteligentes em Blockchain. In: WORKSHOP EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (MSSIS), 4. , 2022, Uberlândia/MG. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2022 . p. 1-10. DOI: https://doi.org/10.5753/mssis.2022.225407.