Most positions that could be reached, in a specified number of moves, after an en passant capture could be reached just as well without one, suggesting that such positions could not occur in unique proof games. It is, however, possible to have a pair of positions in which the unique shortest sequence of moves to get from one to the other would require an en passant capture. For example:
[Title "Goal: Black king on b6 and both pawns gone, in two moves"] [FEN "8/1p/k/8/2P/8/8/5BK w - - 0 0"] 1. c5+ b5 2. cxb6+ Kxb6
There would be no way for White's pawn to disappear in only two moves without leaving a black pawn on the c file unless it was captured by Black's king at b6, and the only way for White's pawn to get there in two moves would be by first moving to c5 delivering check. Black's first move could not be b6, because that would leave Black in check from the bishop. If Black's first move didn't push the b pawn, however, it could not get captured on white's second move. Thus, the only possible first move for Black to reach the target position would be b5, followed by White playing cxb6, allowing Kxb6. Note that while Black would have legal first moves other than b6, none of them could yield the target position after only one additional move.
If one chooses a non-standard starting position, it's thus clearly possible for a unique sequence of moves to reach a specified other position to include an en-passant capture. Do any unique proof games that use the standard starting position have this interesting property?