Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers, leading to financial losses. Understanding state machine protocols in smart contracts has been identified as important to catching common bugs, improving documentation, and optimizing smart contracts. We analyze Solidity smart contracts deployed on the Ethereum blockchain and study the prevalence of protocols and protocol-based bugs, as well as opportunities for gas optimizations.
翻译：智能合同是在一个街区内执行的程序,用于投票、分散融资和供应链管理。 但是,智能合同的脆弱性被黑客滥用,导致金融损失。 理解智能合同中的国家机器协议被认为对于捕捉常见的错误、改进文件和优化智能合同非常重要。 我们分析了Etheum街区部署的固态智能合同,并研究了协议和协议型错误的流行程度以及天然气优化的机会。
相关内容
微信扫码咨询专知VIP会员