A formal model of Algorand smart contracts

DOI10.1007/978-3-662-64322-8_5OpenAlexW3209686889MaRDI QIDQ2145369

Roberto Zunino, Alceste Scalas, Cristian Lepore, Andrea Bracciali, Massimo Bartoletti

Publication date: 17 June 2022

Full work available at URL: https://arxiv.org/abs/2009.12140

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Mathematical economics (91Bxx)

Uses Software

• GitHub
• PyTeal
• Unnamed Item

Cites Work

• Bitcoin private key locked transactions
• Algorand: a secure and efficient distributed ledger
• How to Use Bitcoin to Design Fair Protocols
• Modeling Bitcoin Contracts by Timed Automata
• Is Solidity Solid Enough?

This page was built for publication: A formal model of Algorand smart contracts