Indo além da primeira camada: Modelagem e Avaliação de Desempenho de ZK-Rollups na plataforma Ethereum

• Carlos Melo UFPI
• José Miquéias UFPI
• Glauber Gonçalves UFPI
• Francisco Airton Silva UFPI
• André Soares UFPI
• Johnnatan Messias MPI-SWS

DOI: https://doi.org/10.5753/sbrc.2025.6358

Resumo

Embora a transição da plataforma Ethereum para Proof-of-Stake e o surgimento de sidechains ofereçam soluções parciais para os problemas de escalabilidade, essas abordagens apresentam trade-offs entre segurança e complexidade de implementação. Para mitigar esses desafios, os ZK-Rollups surgiram como soluções de escalabilidade de Layer-2, combinando computação off-chain com verificação on-chain, garantindo segurança e descentralização na plataforma Ethereum. Este artigo propõe uma abordagem baseada em Redes de Petri Estocásticas para avaliar a viabilidade dos ZK-Rollups, considerando os principais fatores que impactam métricas de desempenho essenciais, como vazão e latência. Também analisamos a relação entre custo e benefício, incluindo o custo médio por transação e como este é impactado pelas métricas de desempenho. Os resultados mostram que uma maior adoção de transações na Layer-2 pode aumentar a vazão do sistema em até 20%, passando de 85 tps em um ambiente sem Layer-2 para 105 tps quando 90% das transações seguem por esse caminho. Por outro lado, a latência pode sofrer um aumento superior a 100% com a utilização de batches maiores na Layer-2.

Palavras-chave: Blockchain, Ethereum, Petri, Modelo, Desempenho, Rollups

Referências

Chaliasos, S., Reif, I., Torralba-Agell, A., Ernstberger, J., Kattis, A., and Livshits, B. (2024). Analyzing and benchmarking zk-rollups. Cryptology ePrint Archive.

Ernstberger, J., Chaliasos, S., Kadianakis, G., Steinhorst, S., Jovanovic, P., Gervais, A., Livshits, B., and Orru, M. (2024). zk-bench: A toolset for comparative evaluation and performance benchmarking of snarks. In International Conference on Security and Cryptography for Networks, pages 46–72. Springer.

Frank, P. M. (1978). Introduction to Sensitivity Analysis. Academic.

Gluchowski, A. (2020). Evaluating Ethereum L2 scaling solutions: A comparison framework. Accessed: April 18, 2022.

Gudgeon, L., Moreno-Sanchez, P., Roos, S., McCorry, P., and Gervais, A. (2020). SOK: Layer-two blockchain protocols. In Financial Cryptography and Data Security: 24th International Conference, FC 2020, Kota Kinabalu, Malaysia, February 10–14, 2020 Revised Selected Papers 24, pages 201–226. Springer.

Hafid, A., Hafid, A. S., and Samih, M. (2020). Scaling blockchains: A comprehensive survey. IEEE Access, 8, 125244–125262.

Jain, R. (1991). The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling. Wiley Computer Publishing, John Wiley & Sons, Inc., New York.

Maciel, P., Matos, R., Silva, B., Figueiredo, J., Oliveira, D., Fe, I., Maciel, R., and Dantas, J. (2017). Mercury: Performance and dependability evaluation of systems with exponential, expolynomial, and general distributions. In Proceedings of the PRDC, pages 50–57. IEEE.

Maciel, P. R. M. (2023). Performance, reliability, and availability evaluation of computational systems, Volume I: Performance and background. CRC Press.

Marro, S. and Donno, L. (2022). Green NFTs: A study on the environmental impact of cryptoart technologies.

Melo, C., Gonçalves, G., Silva, F. A., and Soares, A. (2024). Performance modeling and evaluation of Hyperledger Fabric: An analysis based on transaction flow and endorsement policies. In 2024 IEEE Symposium on Computers and Communications (ISCC), pages 1–6. IEEE.

Molloy, M. K. (1981). On the integration of delay and throughput measures in distributed processing models. PhD thesis, University of California, Los Angeles, USA.

Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580.

Nakamoto, S. et al. (2008). Bitcoin: A peer-to-peer electronic cash system.

Negka, L. D. and Spathoulas, G. P. (2021). Blockchain state channels: A state of the art. IEEE Access, 9, 160277–160298.

Schaffer, M., Di Angelo, M., and Salzer, G. (2019). Performance and scalability of private Ethereum blockchains. In Business Process Management: Blockchain and Central and Eastern Europe Forum: BPM 2019 Blockchain and CEE Forum, Vienna, Austria, September 1–6, 2019, Proceedings 17, pages 103–118. Springer.

Sguanci, C., Spatafora, R., and Vergani, A. M. (2021). Layer 2 blockchain scaling: A survey. arXiv preprint arXiv:2107.10881.

Silva, M. I., Messias, J., and Livshits, B. (2024). A public dataset for the zkSync rollup. arXiv preprint arXiv:2407.18699.

Spain, M., Foley, S., and Gramoli, V. (2020). The impact of Ethereum throughput and fees on transaction latency during ICOs. In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019), pages 1–15. Schloss-Dagstuhl-Leibniz Zentrum für Informatik.

Tas, E. N., Adler, J., Al-Bassam, M., Khoffi, I., Tse, D., and Vaziri, N. (2022). Accountable safety for rollups.

Thakkar, P., Nathan, S., and 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), pages 264–276. IEEE.

Thibault, L. T., Sarry, T., and Hafid, A. S. (2022). Blockchain scaling using rollups: A comprehensive survey. IEEE Access, 10, 93039–93054.

van Steen, M., Chien, A. A., and Eugster, P. (2021). The difficulty in scaling blockchains: A simple explanation. CoRR, abs/2103.01487.

Wood, G. et al. (2014). Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper, 151(2014), 1–32.

Yang, D., Long, C., Xu, H., and Peng, S. (2020). A review on scalability of blockchain. In Proceedings of the 2020 2nd International Conference on Blockchain Technology, ICBCT '20, pages 1–6, New York, NY, USA. Association for Computing Machinery.