Put mushrooms is a bowl, cover with boiling water and let sit for 15 minutes. Drain and squeeze. Remove stems and discard. Cut caps into thin julienne strips.
Blanch the broccoli and green beans in a large saucepan of boiling water for 2 minutes. Drain, rinse under cold running water and set on a kitchen towel to drain.
Set wok over medium-high heat and add oil. When hot but not smoking, add the curry paste and cook, stirring constantly, until the paste darkens and the sharp odour mellows, about 3 minutes.
Stir in the pork, fish sauce, lime zest and shredded ginger. Stir-fry 4-5 minutes.
Add the mushrooms, broccoli and beans to the work. Stir-fry for 5 minutes.
Add serrano peppers and tomatoes, stir-fry for 1 minute.
Add tamarind, sugar, pepper and salt. Stir to thoroughly mix in.
Transfer the curry to a serving dish and sprinkle with mint leaves.