Financial Cryptography and Data Security: A Formal Model of Algorand Smart Contracts

March 6, 2021

Press & Publications

Written by: Algorand Foundation

This paper proposes a formal model of Algorand stateless smart contracts (stateless ASC1) and highlights various design patterns supported by Algorand.

To read in full, click here.