Spartan
Spartan copied to clipboard
Possible Mistake in Assert Statement
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());
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.