Not proper expression for formula (7) in Bulletproofs+？

[zengo-x]

Not proper expression for formula (7) in Bulletproofs+？

[suyash67]

Hi @3for!

In Bulletproofs, the constraints are combined using scalars z^2, z, 1. Bulletproofs+ paper combines them using y^{n+1}, z, 1. As long as you combine the constraints using any scalars (or powers of scalars), it is fine.

What you are doing is also right, but for the first equation you don't need to multiply it with z^2 as we already multiply it by y^{n+1} to bring it to weighted inner product form.

Read my blog to understand the detailed steps. Hope this helps.

[3for]

@suyash67 Thanks for your reply. It's helpful.