Add another challenge in dotproduct proof?

[3for]

In paper Halo: Recursive Proof Composition without a Trusted Setup , section 3.1:

And in paper Bulletproofs: Short Proofs for Confidential Transactions and More, protocol 1:

Do we need to add another challenge x in DotProductProofLog and DotProductProofLog, as shown above, to avoid the Prover cheat?

[srinathsetty]

@3for Thanks for bringing this to my attention! I checked with the authors of [37] and indeed, we need to add the additional challenge.

[3for]

Glad to help~