They don't have to trust the bridge nodes. The proofs themselves just have to come from somewhere. The compact nodes are super light, remember and don't have the necessary data to generate proofs themselves.

But once they get the proofs no trust is involved.