Function chunk_hash_p

bitvm/src/chunk/taps_msm.rs:132–172

(
    hint_in_t: ark_bn254::G1Affine,
    hint_in_q: ark_bn254::G1Affine,
)

//vk0: G1Affine

pub(crate) fn chunk_hash_p(
    hint_in_t: ark_bn254::G1Affine,
    hint_in_q: ark_bn254::G1Affine,
) -> (ark_bn254::G1Affine, bool, Script, Vec<Hint>) {
    // r (gp3) = t(msm) + q(vk0)
    let (tx, qx, ty, qy) = (hint_in_t.x, hint_in_q.x, hint_in_t.y, hint_in_q.y);
    let t = ark_bn254::G1Affine::new_unchecked(tx, ty);
    let q = ark_bn254::G1Affine::new_unchecked(qx, qy);
    let (add_scr, add_hints) = G1Affine::hinted_check_add_prevent_degenerate(t, q);
    let r = (t + q).into_affine();
    let ops_script = script! {
        // [t] [hash_r, hash_t]

        //Validity checks
        { Fq2::check_validity() } { Fq2::fromaltstack() }

        { Fq2::copy(0)}
        // [t, t]
        {G1Affine::push(q)}
        // [t, t, q]
        {add_scr}
        // [t, r]
        {1}
    };

    let _hash_script = script! {
        {hash_messages(vec![ElementType::G1, ElementType::G1])}
        OP_TRUE
    };

    let sc = script! {
        {ops_script}
        // {hash_script}
    };

    let mut all_hints = vec![];
    all_hints.extend_from_slice(&add_hints);

    let valid_inputs = true;
    (r, valid_inputs, sc, all_hints)
}

#[cfg(test)]
mod test {