SCStudio: a secure and efficient integrated development environment for smart contracts.