A formal model of Algorand smart contracts

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

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

Publication date: 17 June 2022

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

Mathematics Subject Classification ID

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

Cites Work

• How to use bitcoin to design fair protocols
• Modeling Bitcoin contracts by timed automata
• Bitcoin private key locked transactions
• Algorand: a secure and efficient distributed ledger
• Is Solidity Solid Enough?

Uses Software

• Coq
• GitHub
• PyTeal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145369)