mStable smart contracts