System Design & Smart Contracts