Method add1

bitvm/src/bigint/add.rs:67–92

add one

()

    /// add one
    pub fn add1() -> Script {
        script! {
            OP_1ADD                             // a0 ... an
            { 1 << LIMB_SIZE }                  // a0 ... an x
            OP_SWAP                             // a0 ... x an
            for _ in 0..Self::N_LIMBS-1 {       // ... x a
                OP_2DUP                         // ... x a x a
                OP_EQUAL                        // ... x a 0/1
                OP_TUCK                         // ... x 0/1 a 0/1
                OP_IF OP_NOT OP_ENDIF           // ... x 0/1 a/0
                OP_TOALTSTACK                   // ... x 0/1
                OP_ROT                          // .. x 0/1 a_{i-1}
                OP_ADD                          // .. x a'
            }
                                                // x a0
            OP_NIP                              // a0
            { Self::HEAD_OFFSET }               // a0 y
            OP_OVER                             // a0 y a0
            OP_EQUAL                            // a0 0/1
            OP_IF OP_NOT OP_ENDIF               // a/0

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

    /// Double the BigInt on top of the stack
    ///