así que @derivexyz es el séptimo DEX más grande por OI con $435m 30% de Lighter, 6% de HL sin puntos y prácticamente sin incentivos ¿traders reales? debe ser