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!
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.
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 likec=a1*g1+a2*g2+...+an*gn
(or called REP, representation comp.), if I'm right? Or there is a way. Thanks!