notation fix in groth-16 algo

[jeffreyscholz]

delta isn't squared, and it isn't possible to square it, as it is an elliptic curve point. What's the issue here?

[TakeASwing-420]

But while proving I think you took it as a scalar...can you re-check and confirm it?

[TakeASwing-420]

delta isn't squared, and it isn't possible to square it, as it is an elliptic curve point. What's the issue here?

@jeffreyscholz , I checked that you have actually proved the equation without using the ecc pairing (simple algebra xD)...

To derive the final verification formula, let's temporarily ignore that we don't know the discrete logs of the Greek letter terms and compute the left-hand-side of the verification equation $AB$: $$(\alpha + \sum_{i=1}^m a_i ui(x) + r\delta) \cdot (\beta + \sum{i=1}^m a_i v_i(x) + s\delta)$$

[TakeASwing-420]

@RareSkills what about this one? should I close this PR?