What is it about?
Because contracts (programs) on a blockchain persist forever and can't be changed, getting them right is important. This work shows a way to make sure that some common errors can be guaranteed not to have been made in a contract.
Featured Image
Photo by GuerrillaBuzz Blockchain PR Agency on Unsplash
Why is it important?
Making sure that errors in a contract on a blockchain are as few as possible is important because the errors cannot be corrected once the contract is published, and as the blockchain is a completely pubic, open sort of database these errors are seen by everyone. This work shows how is has been done for some sorts of errors.
Perspectives
I believe that this paper shows why getting rid of errors on a public, immutable database is important, and gives methods for doing so. The collaboration between academic researchers and industry shows the importance that industry attaches to such work. It was a pleasure to collaborate.
Steve Reeves
University of Waikato
Read the Original
This page is a summary of: Provably Correct Smart Contracts: An Approach using DeepSEA, November 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3563768.3564116.
You can read the full text:
Contributors
The following have contributed to this page
