Book chapter · Conference paper
A Formal Model of Algorand Smart Contracts
We develop a formal model of Algorand stateless smart contracts (stateless ASC1). We exploit our model to prove fundamental properties of the Algorand blockchain, and to establish the security of some archetypal smart contracts. While doing this, we highlight various design patterns supported by Algorand.
We perform experiments to validate the coherence of our formal model w.r.t. the actual implementation.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2021 |
Pages: | 93-114 |
Proceedings: | International Conference on Financial Cryptography and Data Security 2021 |
Series: | Lecture Notes in Computer Science |
ISBN: | 3662643219 , 3662643227 , 9783662643211 and 9783662643228 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter and Conference paper |
DOI: | 10.1007/978-3-662-64322-8_5 |
ORCIDs: | Scalas, Alceste |