You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

11 lines
341 B

8 months ago
  1. # mat-vec-prod-exp
  2. *Matrix vector product experiments*
  3. Instructions:
  4. - Just run `cargo test -- --nocapture` and the number of constraints will be printed
  5. - Can comment & uncomment `lib.rs` lines `71` & `72` to test the different approaches:
  6. ```rust
  7. let Az = mat_vec_mul_sparse_gadget(A, z);
  8. // let Az = handcrafted_A_by_z(cs, z)?;
  9. ```