A Formal Model of Algorand Smart Contracts

Bartoletti M.
;Bracciali A.;Zunino R.
2021-01-01

Abstract

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.
2021
Inglese
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
978-3-662-64321-1
978-3-662-64322-8
Springer Science and Business Media Deutschland GmbH
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
12674
93
114
22
WOS:000712015400005
2-s2.0-85118953574
25th International Conference on Financial Cryptography and Data Security, FC 2021
Contributo
Comitato scientifico
2021
Virtual
internazionale
scientifica
sì
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; Zunino, R.
273
5
4.1 Contributo in Atti di convegno
none
info:eu-repo/semantics/conferencePaper
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie