Function hinted_from_eval_point

bitvm/src/bn254/g1.rs:537–563

input of func (params): p.x, p.y Input Hints On Stack tmul hints, p.y_inverse output on stack: x' = -p.x / p.y y' = 1 / p.y

(p: ark_bn254::G1Affine)

///      x' = -p.x / p.y
///      y' = 1 / p.y
pub fn hinted_from_eval_point(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! {

        // [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.extend(hint1);
    hints.extend(hint2);

    (script, hints)
}

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