| 346 | } |
| 347 | |
| 348 | pub(crate) fn chunk_fq12_square(a: ark_bn254::Fq6) -> (ark_bn254::Fq6, bool, Script, Vec<Hint>) { |
| 349 | let (asq, is_valid_input, asq_scr, asq_hints) = utils_fq12_square(a); |
| 350 | let _hash_scr = hash_messages(vec![ElementType::Fp6, ElementType::Fp6]); |
| 351 | let scr = script! { |
| 352 | // [hints, a, c] [chash, ahash] |
| 353 | { Fq6::check_validity() } |
| 354 | { Fq6::check_validity() } |
| 355 | { Fq6::fromaltstack() } |
| 356 | { Fq6::fromaltstack() } |
| 357 | {asq_scr} |
| 358 | // [a, asq, 0/1] [chash, ahash] |
| 359 | }; |
| 360 | |
| 361 | (asq, is_valid_input, scr, asq_hints) |
| 362 | } |
| 363 | |
| 364 | pub(crate) fn chunk_dense_dense_mul( |
| 365 | a: ark_bn254::Fq6, |