A Sequential Procedure for DeFi Wallet Development