Method check_validity_and_keep_element

bitvm/src/bn254/fp254impl.rs:560–567

()

    }

    fn check_validity_and_keep_element() -> Script {
        script! {
            { Self::check_validity() }
            for _ in 0..Self::N_LIMBS {
                OP_FROMALTSTACK
            }
        }
    }

    // finds if the element at the top of the stack is less than the modulo and valid (limbs are in range)
    // consumes the element, leaves the result at the topstack