one thing I would like in atproto is some form of smart contracts

(transactional semantics over accounts and xrpc calls)