Robert Leshner's Robot Ventures has secured $4 million in funding from Galaxy Digital and Paradigm to find early opportunities in DeFi.