A formal model of Algorand smart contracts

DOI10.1007/978-3-662-64322-8_5MaRDI QIDQ2145369zbMATH OpenOpenAlexFDO

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) Mathematical economics (91Bxx) Cryptography (94A60)

Cites work

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

Describes a project that uses

Uses Software

• Coq
• GitHub

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)