Designing the code in Solidity