PocketDefi ist der bisher kleinste Laien-Defi.