Spartan icon indicating copy to clipboard operation
Spartan copied to clipboard

Possible Mistake in Assert Statement

Open ishwarbb opened this issue 9 months ago • 1 comments

src/sparse_mlpoly.rs - line 1265 has the following code -

assert_eq!(eval_dotp_left.len(), eval_dotp_left.len());

Was this the intended behavior? Did the authors mean this instead -

assert_eq!(eval_dotp_left.len(), eval_dotp_right.len());

ishwarbb avatar May 07 '24 12:05 ishwarbb

Thanks for the catch! Yes, indeed the assert is what you noted in the last line. It is not critical for correctness, but it should be fixed.

srinathsetty avatar May 15 '24 20:05 srinathsetty