Development platform for distributed applications with smart contracts