|
@ -122,9 +122,9 @@ impl R1CSShape { |
|
|
})
|
|
|
})
|
|
|
};
|
|
|
};
|
|
|
|
|
|
|
|
|
let Az = sparse_matrix_vec_product(&self.A, self.num_cons, &z);
|
|
|
|
|
|
let Bz = sparse_matrix_vec_product(&self.B, self.num_cons, &z);
|
|
|
|
|
|
let Cz = sparse_matrix_vec_product(&self.C, self.num_cons, &z);
|
|
|
|
|
|
|
|
|
let Az = sparse_matrix_vec_product(&self.A, self.num_cons, z);
|
|
|
|
|
|
let Bz = sparse_matrix_vec_product(&self.B, self.num_cons, z);
|
|
|
|
|
|
let Cz = sparse_matrix_vec_product(&self.C, self.num_cons, z);
|
|
|
|
|
|
|
|
|
Ok((Az, Bz, Cz))
|
|
|
Ok((Az, Bz, Cz))
|
|
|
}
|
|
|
}
|
|
@ -286,8 +286,8 @@ impl R1CSInstance { |
|
|
Err(NovaError::InvalidInputLength)
|
|
|
Err(NovaError::InvalidInputLength)
|
|
|
} else {
|
|
|
} else {
|
|
|
Ok(R1CSInstance {
|
|
|
Ok(R1CSInstance {
|
|
|
comm_W: comm_W.clone(),
|
|
|
|
|
|
comm_E: comm_E.clone(),
|
|
|
|
|
|
|
|
|
comm_W: *comm_W,
|
|
|
|
|
|
comm_E: *comm_E,
|
|
|
X: X.to_owned(),
|
|
|
X: X.to_owned(),
|
|
|
u: *u,
|
|
|
u: *u,
|
|
|
})
|
|
|
})
|
|
|