The Arithmetic of the Vault: Math Opcodes (OP_ADD, OP_SUB, OP_EQUAL)

5. The Arithmetic of the Vault: Math Opcodes (OP_ADD, OP_SUB, OP_EQUAL)

Bitcoin isn't just about signatures; it's about Math. Some of the most powerful scripts use arithmetic to ensure that a payment is only valid if a certain numerical condition is met (e.g., "The result of X + Y must be Z"). These are handled by the Math Opcodes.

For the Sovereign Architect, Math Opcodes are the "Calculators of the Ledger." They are the proof that your node can perform "Financial Audits" in real-time as part of the validation process.

Analyzing the Calculator: The Math Logic

In the source code, we see how the node performs addition and subtraction on the stack items.

/**
 * PEDAGOGICAL ANALYSIS: THE ADDITION ENGINE
 * This logic pops two numbers, adds them, and 
 * pushes the result back.
 */
case OP_ADD:
{
    // 1. Pop the top two items.
    // 2. Convert them to "Big Integers" (CScriptNum).
    // 3. Add them together.
    // 4. Push the result back to the stack.
    CScriptNum bn1(stacktop(-2), nMaxNumSize);
    CScriptNum bn2(stacktop(-1), nMaxNumSize);
    CScriptNum bn = bn1 + bn2;
    stack.pop_back();
    stack.pop_back();
    stack.push_back(bn.getvch());
}
break;

Explaining the Calculator: The Numbers of the Mesh

• "The Big Integer (CScriptNum)": The Script VM doesn't use standard computer numbers (which can "Overflow"). It uses a specialized class called CScriptNum that handles numbers safely up to 4 bytes. This prevents "Math Hacks." It is the Precision of the Sovereign.

• OP_SUB and OP_MUL: The VM can subtract, and in some upgrades, multiply. This allows for complex "Escrow" logic where money is only released if multiple people agree on a numerical result. It is the Utility of the Machine.

• OP_EQUAL (The Comparison): This is the most common math opcode. It compares the top two items. If they are exactly the same, it pushes TRUE. If not, FALSE. This is how "Secret Word" (Hashlock) payments work. It is the Validation of the Protocol.

• "The Overflow Defense": If a math operation results in a number that is too large for the VM to handle, the script fails. This ensures that the node never has to deal with "Infinite Numbers." It is the Safety of the Core.

The Sovereignty of the Calculator

Math Opcodes are the "Logic of the Balance." They ensure that every transaction is "Mathematically Inevitable." As a Sovereign Architect, you know that "Numbers never Lie." By understanding the arithmetic logic of the Script VM, you are ensuring your node's judgments are based on the "Immutable Laws of Mathematics." You are the "Master of the Calculator."