35 citations · 63 across the 23 of their papers we have counts for
1 paper · 1 filter
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore +2
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…