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.
arnaucube 3c91628ea5 backup wip 3 months ago
src backup wip 3 months ago
.gitignore init 10 months ago
Cargo.lock init 10 months ago
Cargo.toml init 10 months ago
README.md init 10 months ago

README.md

mat-vec-prod-exp

Matrix vector product experiments

Instructions:

  • Just run cargo test -- --nocapture and the number of constraints will be printed
  • Can comment & uncomment lib.rs lines 71 & 72 to test the different approaches:
    let Az = mat_vec_mul_sparse_gadget(A, z);
    // let Az = handcrafted_A_by_z(cs, z)?;