Function hinted_from_eval_points

bitvm/src/bn254/g1.rs:565–601

(p: ark_bn254::G1Affine)

}

pub fn hinted_from_eval_points(p: ark_bn254::G1Affine) -> (Script, Vec<Hint>) {
    let mut hints = Vec::new();

    let py_inv = p.y().unwrap().inverse().unwrap();

    let (hinted_script1, hint1) = Fq::hinted_mul(1, p.y, 0, py_inv);
    let (hinted_script2, hint2) = Fq::hinted_mul(1, py_inv, 0, -p.x);

    let script = script! {
        // [yinv, hints,.., x, y]
        {Fq2::toaltstack()}
        for _ in 0..Fq::N_LIMBS {
            OP_DEPTH OP_1SUB OP_ROLL
        }
        { Fq::check_validity_and_keep_element() }
        {Fq2::fromaltstack()}
        // [hints, yinv, x, y]
        {Fq::copy(2)}

        {hinted_script1}
        {Fq::push_one()}
        {Fq::equalverify(1,0)}

        // [hints, yinv, x]
        {Fq::copy(1)}
        {Fq::toaltstack()}
        {Fq::neg(0)}
        {hinted_script2}
        {Fq::fromaltstack()}
    };

    hints.push(Hint::Fq(py_inv));
    hints.extend(hint1);
    hints.extend(hint2);

    (script, hints)
}

#[cfg(test)]
mod test {