Digital assets have a central role in today economy and society. Blockchains and smart-contracts seem to be an interesting alternative to more conventional approaches for asset management. Unfortunately, many successful attacks have been mounted against such systems, usually caused by defective implementations or by error-prone features baked into the programming languages used, resulting in huge loss of money. Our work tries to clarify the issue of digital asset management through the formalization of the operational semantics for an imperative subset of the Move on Sui language, a state-of-the-art programming language with a type system inspired by linear logic. We prove essential properties respected by our formalization and we show many examples of derivations. Properties and derivations match the actual behaviour of Move on Sui. We provide many code examples which should aid the comprehension of this topic. We hope our work will shed some light on this complex and rapidly advancing field.
Digital assets have a central role in today economy and society. Blockchains and smart-contracts seem to be an interesting alternative to more conventional approaches for asset management. Unfortunately, many successful attacks have been mounted against such systems, usually caused by defective implementations or by error-prone features baked into the programming languages used, resulting in huge loss of money. Our work tries to clarify the issue of digital asset management through the formalization of the operational semantics for an imperative subset of the Move on Sui language, a state-of-the-art programming language with a type system inspired by linear logic. We prove essential properties respected by our formalization and we show many examples of derivations. Properties and derivations match the actual behaviour of Move on Sui. We provide many code examples which should aid the comprehension of this topic. We hope our work will shed some light on this complex and rapidly advancing field.
Ownership Through Typing in Asset-Aware Programming
SCAGLIONE, STEFANO
2023/2024
Abstract
Digital assets have a central role in today economy and society. Blockchains and smart-contracts seem to be an interesting alternative to more conventional approaches for asset management. Unfortunately, many successful attacks have been mounted against such systems, usually caused by defective implementations or by error-prone features baked into the programming languages used, resulting in huge loss of money. Our work tries to clarify the issue of digital asset management through the formalization of the operational semantics for an imperative subset of the Move on Sui language, a state-of-the-art programming language with a type system inspired by linear logic. We prove essential properties respected by our formalization and we show many examples of derivations. Properties and derivations match the actual behaviour of Move on Sui. We provide many code examples which should aid the comprehension of this topic. We hope our work will shed some light on this complex and rapidly advancing field.File | Dimensione | Formato | |
---|---|---|---|
Scaglione_Stefano.pdf
accesso riservato
Dimensione
978.84 kB
Formato
Adobe PDF
|
978.84 kB | Adobe PDF |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
https://hdl.handle.net/20.500.12608/80212