Seems sigma_fun could not support zkp for vector commitment opening like c=a1*g1+a2*g2+...+an*gn

[xfap]

I see secp256k1.rs for DLOG, and.rs for (A & B) statement, OR, All, DLEQ, etc. But seeming that these methods now could not support statement like c=a1*g1+a2*g2+...+an*gn(or called REP, representation comp.), if I'm right? Or there is a way. Thanks!

[LLFourn]

Hey @xfap. Yeah you'd have to implement Sigma yourself for this. I'd be interested to know if you have any difficulty doing this or you think sigma_fun's design could be improved to make this more generic.