Is the serialization format of the proof byte-array documented somewhere?

[luckysori]

I have been trying to make sense of the proof array filled in by secp256k1_bulletproof_rangeproof_prove, but its format doesn't seem to be documented, so I'm left trying to infer it from the code. Is this documented somewhere?

My assumption is that this is incorrect:

https://github.com/mimblewimble/secp256k1-zkp/blob/84563edb127a8f7a9c56c2cccbaa35882bbbf036/src/modules/bulletproofs/rangeproof_impl.h#L425-L426

Am I wrong?