Method check_validity

bitvm/src/bigint/std.rs:346–359

()

    }

    pub fn check_validity() -> Script {
        script! {                            // a0 a1 ... an
            { 1 << LIMB_SIZE }               // a0 a1 ... an x
            for _ in 0..Self::N_LIMBS-2 {    // a x
                OP_TUCK                      // x a x
                0 OP_SWAP                    // x a 0 x
                OP_WITHIN OP_VERIFY          // x
            }                                // a0 a1 x
            0 OP_SWAP                        // a0 a1 0 x
            OP_WITHIN OP_VERIFY              // a0
            0 { Self::HEAD_OFFSET }          // a0 0 y
            OP_WITHIN OP_VERIFY
        }
    }

    /// Resize positive numbers
    ///