| EPSRC Reference: |
EP/X027619/1 |
| Title: |
Secure Smart Contracts with Isabelle/Solidity |
| Principal Investigator: |
Marmsoler, Dr D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Exeter |
| Scheme: |
New Investigator Award |
| Starts: |
01 January 2024 |
Ends: |
31 December 2025 |
Value (£): |
247,844
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
24 Apr 2023
|
EPSRC ICT Prioritisation Panel April 2023
|
Announced
|
|
|
Summary on Grant Application Form |
Smart contracts are digital contracts stored on a blockchain that are automatically executed when predetermined terms and conditions are met.
They are often used to automate financial transactions and thus they hold great potential to transform and disrupt the financial industry.
In particular it is estimated that blockchain and smart contracts can add up to $72.2B to the UK's GDP by 2030 and create up to 700,000 new jobs by 2030.
Technically, smart contracts are programs and as such, they may contain bugs.
However, since smart contracts are often used to automate financial transactions, exploiting these bugs may result in huge financial damages.
In 2016, for example, a vulnerability in a smart contract was exploited, resulting in a loss of approximately $60M.
More recently, hackers had exploited a vulnerability in a smart contract to steal $600M.
In general, it is estimated that since 2019, more than $5B were lost due to vulnerabilities in smart contracts.
This threatens society's trust in smart contracts and thus limits their potential for the development of FinTech, one of the most promising sectors for the UK economy.
Unfortunately, however, even rigorous testing and auditing cannot guarantee that a smart contract does what it is supposed to do.
In the best case scenario, vulnerabilities can be found with these techniques but they can never guarantee their absence.
Thus, with this project, we will develop tools and techniques to support the verification of smart contracts to achieve the highest degree of reliability.
Finally, we will engage in training next generation experts in the verification of smart contracts by hosting a summer school on formal methods for blockchains in Exeter.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.ex.ac.uk |