This article conducts an extensive examination of the persisting challenges related to smart contract attacks within blockchain networks, with a particular focus on the reentrancy attack. It emphasizes the inherent vulnerabilities embedded in the programming languages commonly employed for smart contract development, particularly within Ethereum Virtual Machine (EVM)-based blockchains. While the concrete example used primarily employs the Solidity programming language, the insights garnered from this study are readily generalizable to a wide array of blockchain architectures. Significantly, this article extends beyond the mere identification of vulnerabilities and ventures into the realm of proactive security measures. It explores the adaptation and adoption of dataflow programming paradigms, employing Domain-Specific Languages (DSLs) to enforce security by design in the context of smart contract development. This forward-looking approach aims to bolster the foundational principles of blockchain security, offering a promising research direction for mitigating the risks associated with smart contract vulnerabilities. The objective of this article is to cater to a diverse audience, ranging from individuals with limited computer science and programming expertise to seasoned experts in the field. It provides a comprehensive and accessible resource for fostering a deeper understanding of the intricate dynamics between blockchain technology and the imperative need for secure smart contract development practices.

翻译：本文对区块链网络中与智能合约攻击相关的持续挑战进行了广泛研究，特别关注重入攻击。本文强调了常用于智能合约开发（尤其是基于以太坊虚拟机（EVM）的区块链）的编程语言中固有的漏洞。虽然主要使用Solidity编程语言作为具体示例，但本研究获得的见解可通用至广泛的区块链架构。值得注意地，本文不仅识别了漏洞，还深入探讨了主动安全措施领域，探索了数据流编程范式的改编与应用，采用领域特定语言（DSL）在智能合约开发中贯彻安全设计理念。这一前瞻性方法旨在强化区块链安全的基本原则，为降低智能合约漏洞风险提供了有前景的研究方向。本文面向从计算机科学和编程知识有限的个人到经验丰富的领域专家等多样化受众，为深入理解区块链技术与安全智能合约开发实践迫切需求之间的复杂动态关系提供了全面且易于获取的资源。