I'm not aware of any way to prove funds held in a LN channel.

You could open a large channel to SN node and probe all their channels to "verify" for yourself.