This commit is contained in:
exfinen
2023-10-30 19:18:35 +09:00
parent 3dbcca13ba
commit c49ac9898a

View File

@@ -170,7 +170,6 @@ impl PinocchioProver {
for wi in &self.wi {
w = &w + wi
}
let delta_y = Polynomial::new(f, &vec![delta_y.clone()]);
&self.p + &(&(&self.t * &w) * delta_v) - &(&self.t * delta_y)
};