Writing safe smart contracts in Flint

Schrans, Franklin; Eisenbach, Susan; Drossopoulou, Sophia

doi:10.1145/3191697.3213790

Cited by 47 publications

(29 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Schrans et al. 153 propose a high-level language, Flint, which: (1) adds a permission mechanism to limit undesirable function calls; (2) optimizes the fund-related operations to ensure safe transfer; (3) introduces an unmodifiable property to limit the modification of key states; and (4) uses the same application binary interfaces as Solidity to ensure that contracts written in these two languages can interact with each other. These features reduce the difficulty of designing contracts and corresponding analysis tools.…”

Section: Constructing Smart Contracts With Turing-complete Languagesmentioning

confidence: 99%

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

Zhang

Liu

et al. 2021

Patterns

View full text Add to dashboard Cite

Summary Smart contracts are regarded as one of the most promising and appealing notions in blockchain technology. Their self-enforcing and event-driven features make some online activities possible without a trusted third party. Nevertheless, problems such as miscellaneous attacks, privacy leakage, and low processing rates prevent them from being widely applied. Various schemes and tools have been proposed to facilitate the construction and execution of secure smart contracts. However, a comprehensive survey for these proposals is absent, hindering new researchers and developers from a quick start. This paper surveys the literature and online resources on smart contract construction and execution over the period 2008–2020. We divide the studies into three categories: (1) design paradigms that give examples and patterns on contract construction, (2) design tools that facilitate the development of secure smart contracts, and (3) extensions and alternatives that improve the privacy or efficiency of the system. We start by grouping the relevant construction schemes into the first two categories. We then review the execution mechanisms in the last category and further divide the state-of-the-art solutions into three classes: private contracts with extra tools, off-chain channels, and extensions on core functionalities. Finally, we summarize several challenges and identify future research directions toward developing secure, privacy-preserving, and efficient smart contracts.

show abstract

Section: Constructing Smart Contracts With Turing-complete Languagesmentioning

confidence: 99%

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

Zhang

Liu

et al. 2021

Patterns

View full text Add to dashboard Cite

show abstract

“…Flint [66] is a domain-specific statically-typed programming language for Ethereum smart contract, which addresses security. Flint includes caller capabilities blocks to check the access permission of Ethereum accounts and contract's functions.…”

Section: ) Flintmentioning

confidence: 99%

Security, Performance, and Applications of Smart Contracts: A Systematic Survey

2019

View full text Add to dashboard Cite

Blockchain is the promising technology of recent years, which has attracted remarkable attention in both academic studies and practical industrial applications. The smart contract is a programmable transaction that can perform a sophisticated task, execute automatically, and store on the blockchain. The smart contract is the key component of the blockchain, which has made blockchain a technology beyond the scope of the cryptocurrencies and applicable for a variety of applications such as healthcare, IoT, supply chain, digital identity, business process management, and more. Although in recent years the progress toward improving blockchain technology with the focus on the smart contract has been impressive, there is a lack of reviewing the smart contract topic. This paper systematically reviews the key concepts and proposes the direction of recent studies and developments regarding the smart contract. The research studies are presented in three main categories: 1) security methods and tools; 2) performance improvement approaches; and 3) decentralized applications based on smart contracts.

show abstract

“…Developing new contract language is an effective way to write the correct smart contract. A variety of programming languages such as Idris [35], Simplicity [36], Obsidian [39], and Flint [37] have been proposed. These Type-based functional languages make the development process safer.…”

Section: ) Developing New Contract Languagementioning

confidence: 99%

A Survey on Security Verification of Blockchain Smart Contracts

Liu

2019

IEEE Access

200

View full text Add to dashboard Cite

A smart contract is an agreement between two or more parties, which is executed by the computer code. The code does the execution without giving either party the ability to back out, so it ensures the trustless execution. The smart contract is one of the most important features in blockchain applications, which implements trusted transactions without third parties. However, with the rapid development, blockchain smart contracts have also exposed many security problems, and some attacks caused by contract vulnerabilities have led to terrible losses. In order to better deal with such dilemma, making a comprehensive survey about the security verification of blockchain smart contracts from major scientific databases is quite indispensable. Even though the significance of studying security verification of blockchain smart contracts is evident, it is really fresh yet. The major contributions of our survey work come from three aspects. First, after retrieving all-sided research studies, we select 53 most related papers to show the state-of-the art of this topic, where 20 papers focus on dealing with security assurance of blockchain smart contracts, and 33 papers focus on the correctness verification of blockchain smart contracts. Second, we propose a taxonomy toward the topic of security verification of blockchain smart contracts and discuss the pros and cons of each category of related studies. Third, through in-depth analysis of these studies, we come to know that the correctness verification of smart contracts based on the formal method has already become the more significant and more effective method to validate whether a smart contract is credible and accurate. So, we further present representative studies of formal verification of smart contracts in detail to demonstrate that using a formal method to validate blockchain smart contracts must have a promising and meritorious future.

show abstract

Writing safe smart contracts in Flint

Cited by 47 publications

References 2 publications

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

Security, Performance, and Applications of Smart Contracts: A Systematic Survey

A Survey on Security Verification of Blockchain Smart Contracts

Contact Info

Product

Resources

About