Method add_ref_with_top

bitvm/src/bigint/add.rs:221–253

(b: u32)

    }

    pub fn add_ref_with_top(b: u32) -> Script {
        let b_depth = b * Self::N_LIMBS;
        assert_ne!(b, 0);
        script! {
            { b_depth } OP_PICK
            OP_OVER
            OP_ADD

            // OP_DEPTH OP_1SUB OP_PICK
            { 1 << LIMB_SIZE }
            OP_SWAP

            { limb_add_create_carry() }
            OP_TOALTSTACK

            for i in 0..Self::N_LIMBS - 2 {
                { i + 3 } OP_PICK
                OP_ADD
                { b_depth + i + 3 } OP_PICK
                OP_ADD { limb_add_create_carry() } OP_TOALTSTACK
            }

            OP_NIP
            { b_depth + Self::N_LIMBS } OP_PICK
            { Self::N_LIMBS + 1 } OP_PICK
            OP_ROT
            { limb_add_with_carry_prevent_overflow(Self::HEAD_OFFSET) }

            for _ in 0..Self::N_LIMBS - 1 {
                OP_FROMALTSTACK
            }
        }
    }

    /// Add BigInt on top of the stack to a BigInt at `b` depth in the stack
    ///