TY  - RPRT
TI  - The Smart Contract Model
AU  - Yackolley Amoussou-Guenou
AU  - Maurice Herlihy
AU  - Sucharita Jayanti
AU  - Maria Potop-Butucaru
AU  - Sergio Rajsbaum
PY  - 2025
UR  - https://arxiv.org/abs/2502.05280
ID  - 2502.05280
ER  -