Data di Pubblicazione:
2021
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Smart contract, properties formal verification, algorand programming model
Elenco autori:
Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R.
Link alla scheda completa:
Titolo del libro:
Financial Cryptography and Data Security Conference
Pubblicato in: