(&self)
| 323 | } |
| 324 | |
| 325 | pub(crate) fn hash_le(&self) -> HashBytes { |
| 326 | let mut le = vec![]; |
| 327 | le.extend_from_slice(&[ |
| 328 | self.a_plus_b[0].c0, |
| 329 | self.a_plus_b[0].c1, |
| 330 | self.a_plus_b[1].c0, |
| 331 | self.a_plus_b[1].c1, |
| 332 | ]); |
| 333 | le.extend_from_slice( |
| 334 | &self |
| 335 | .one_plus_ab_j_sq |
| 336 | .to_base_prime_field_elements() |
| 337 | .collect::<Vec<ark_bn254::Fq>>(), |
| 338 | ); |
| 339 | le.extend_from_slice(&[ |
| 340 | self.p2le[0].c0, |
| 341 | self.p2le[0].c1, |
| 342 | self.p2le[1].c0, |
| 343 | self.p2le[1].c1, |
| 344 | ]); |
| 345 | extern_hash_fps(le) |
| 346 | } |
| 347 | |
| 348 | pub(crate) fn mock() -> Self { |
| 349 | let q4xc0: ark_bn254::Fq = ark_bn254::Fq::from( |
no test coverage detected