Closed cathieyun closed 1 year ago
Add public vector b to the transcript in the linear proof code, to prevent the frozen heart vulnerability, as advised by Quang Dao.
b
Oh nope, my apologies, github buried the point in the patch that showed the second calls are in verify().
verify()
I think this looks good to go. Thank you so much!
Awesome, thanks so much for taking a look!
Add public vector
b
to the transcript in the linear proof code, to prevent the frozen heart vulnerability, as advised by Quang Dao.