ishwarbb

Possible Mistake in Assert Statement

1

`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()); ```

R1CS instance does not match the definition

1

The R1CS instance example used in cubic.rs is not an R1CS instance according to [https://eprint.iacr.org/2020/1069.pdf](link) Theorem 19 . Although it's still a valid constraint system, it's just more inefficient ...