How smart contracts work with the Vestarin ecosystem