diff --git a/yarn-project/simulator/docs/avm/README.md b/yarn-project/simulator/docs/avm/README.md
index eea6fd284b94..1ffbc967b4e0 100644
--- a/yarn-project/simulator/docs/avm/README.md
+++ b/yarn-project/simulator/docs/avm/README.md
@@ -53,7 +53,7 @@ single AVM proof.
### Overview of Public Simulation
- **[Enqueued Calls](./enqueued-calls.md)**: How public calls are enqueued from private and delivered to the AVM
-- **[Public Transaction Simulation](./public-tx-simulation.md)**: Execution phases, rollback on reverts, fee payment, and finalization
+- **[Public Transaction Simulation](./public-tx-simulation.md)**: Execution phases, rollback on reverts, fee payment, and tree padding
### The Machine Model
- **[State](./state.md)**: World state (persistent) vs execution state (transient)
diff --git a/yarn-project/simulator/docs/avm/addressing.md b/yarn-project/simulator/docs/avm/addressing.md
index 5f90e6953398..b68ec374de8b 100644
--- a/yarn-project/simulator/docs/avm/addressing.md
+++ b/yarn-project/simulator/docs/avm/addressing.md
@@ -40,7 +40,7 @@ Relative addressing adds the memory offset to the value stored at memory address
When both indirect and relative addressing modes are applied to an offset `x`, **relative addressing is resolved first, then indirect addressing**.
-**Notation**: `M[x + M[0]]` (resolved address)
+**Notation**: `M[M[x + M[0]]]`
This means the VM first adds the base pointer `M[0]` to the offset to compute an intermediate address, then reads the pointer from that intermediate address to get the final address.
diff --git a/yarn-project/simulator/docs/avm/avm-isa-quick-reference.md b/yarn-project/simulator/docs/avm/avm-isa-quick-reference.md
index de90a50ea76d..50f6d458182c 100644
--- a/yarn-project/simulator/docs/avm/avm-isa-quick-reference.md
+++ b/yarn-project/simulator/docs/avm/avm-isa-quick-reference.md
@@ -6,7 +6,7 @@ Quick reference for all Aztec Virtual Machine (AVM) opcodes.
Before diving into the instruction set, familiarize yourself with these core concepts:
-- **[Introduction](index.md)**: What is the AVM and why do we need it?
+- **[Introduction](README.md)**: What is the AVM and why do we need it?
- **[State](state.md)**: World state (persistent) vs execution state (transient)
- **[Memory Model](memory.md)**: Memory notation and tagged memory (`M[x]` and `T[x]`)
- **[Addressing Modes](addressing.md)**: Direct, indirect, and relative addressing along with their gas implications
@@ -265,3 +265,6 @@ Click on an opcode name to view its detailed documentation.
/*outputBits=*/M[outputBitsOffset]
)
```
+
+---
+← Previous: [Wire Formats](./wire-format.md) | Next: [Tooling and Compilation](./tooling.md) →
diff --git a/yarn-project/simulator/docs/avm/external-calls.md b/yarn-project/simulator/docs/avm/external-calls.md
index 9f78a38596f1..918431413201 100644
--- a/yarn-project/simulator/docs/avm/external-calls.md
+++ b/yarn-project/simulator/docs/avm/external-calls.md
@@ -122,7 +122,8 @@ This is not a comprehensive list. See individual opcode docs for more details.
| Error | Cause |
|-------|-------|
| OUT_OF_GAS | Insufficient gas for instruction |
-| INVALID_TAG | Type tag mismatch on operands |
+| INVALID_TAG | Operand tag is not valid for the operation |
+| TAG_MISMATCH | Type tag mismatch between operands |
| MEMORY_ACCESS_OUT_OF_RANGE | Memory offset exceeds addressable space |
| SIDE_EFFECT_LIMIT_REACHED | Transaction limit exceeded (see [Transaction Limits](#transaction-limits)) |
| STATIC_CALL_VIOLATION | State modification attempted in static context |
diff --git a/yarn-project/simulator/docs/avm/memory.md b/yarn-project/simulator/docs/avm/memory.md
index db7c1b005c2e..4579ab70db60 100644
--- a/yarn-project/simulator/docs/avm/memory.md
+++ b/yarn-project/simulator/docs/avm/memory.md
@@ -133,7 +133,7 @@ An out-of-bounds memory access can be encountered when:
- An instruction operand uses relative addressing which derives a memory offset from the addition of two values (see [Addressing](addressing.md)).
- An instruction operates on a _range_ of data (see [EMITUNENCRYPTEDLOG](opcodes/emitunencryptedlog.md))
-When this happens, the instruction errors and execution in the current context exceptionally halts (See [Errors](./errors.md).
+When this happens, the instruction errors and execution in the current context exceptionally halts (see [Errors](./errors.md)).
---
← Previous: [State](./state.md) | Next: [Addressing Modes](./addressing.md) →
diff --git a/yarn-project/simulator/docs/avm/opcodes/add.md b/yarn-project/simulator/docs/avm/opcodes/add.md
index 330bacc91ec9..26f46de1052a 100644
--- a/yarn-project/simulator/docs/avm/opcodes/add.md
+++ b/yarn-project/simulator/docs/avm/opcodes/add.md
@@ -22,7 +22,7 @@ Performs addition. Both operands must have the same type tag. For integer types
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/and.md b/yarn-project/simulator/docs/avm/opcodes/and.md
index 31572103c341..deaaac0f8bc4 100644
--- a/yarn-project/simulator/docs/avm/opcodes/and.md
+++ b/yarn-project/simulator/docs/avm/opcodes/and.md
@@ -23,7 +23,7 @@ Performs bitwise AND operation. Both operands must have the same integral type t
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
| L2 Dynamic | 3 | - |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -113,4 +113,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/call.md b/yarn-project/simulator/docs/avm/opcodes/call.md
index 06f9a4bb51cc..5fd493284fa1 100644
--- a/yarn-project/simulator/docs/avm/opcodes/call.md
+++ b/yarn-project/simulator/docs/avm/opcodes/call.md
@@ -29,7 +29,7 @@ Calls another contract with the specified calldata and gas allocation. Can modif
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -122,4 +122,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/calldatacopy.md b/yarn-project/simulator/docs/avm/opcodes/calldatacopy.md
index 9cd7084b6b7b..d1eaa2437305 100644
--- a/yarn-project/simulator/docs/avm/opcodes/calldatacopy.md
+++ b/yarn-project/simulator/docs/avm/opcodes/calldatacopy.md
@@ -23,7 +23,7 @@ Copies a section of the current call's calldata into memory at the specified off
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
| L2 Dynamic | 3 | `M[copySizeOffset]` |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -99,4 +99,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/cast.md b/yarn-project/simulator/docs/avm/opcodes/cast.md
index ab74f8f27d17..db6e6f9be67d 100644
--- a/yarn-project/simulator/docs/avm/opcodes/cast.md
+++ b/yarn-project/simulator/docs/avm/opcodes/cast.md
@@ -22,7 +22,7 @@ Changes the type tag of a value. The value itself is preserved if casting to a l
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -106,4 +106,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/debuglog.md b/yarn-project/simulator/docs/avm/opcodes/debuglog.md
index a89d685c4bc6..72db704097e9 100644
--- a/yarn-project/simulator/docs/avm/opcodes/debuglog.md
+++ b/yarn-project/simulator/docs/avm/opcodes/debuglog.md
@@ -12,7 +12,7 @@ debugLog(level, message, M[fieldsOffset:fieldsOffset+M[fieldsSizeOffset]])
## Details
-Prints a debug log to console as a formatted a message, and pushes a structured debug object (`{contractAddress, level, message, fields[]}`) to an accumulated list for the transaction. This opcode does nearly nothing when executed by sequencers or provers (only performs PC increment and address resolution). It is meant for local debugging or for use by RPC nodes and wallets. Logs are only printed if logging level is "Debug" (6) or higher. Message size is an immediate (constant in the bytecode). Throws an irrecoverable error if truly doing debug logging and log level is invalid (greater than 7) or upon reaching the node's configured maxDebugLogMemoryReads.
+Prints a debug log to console as a formatted message, and pushes a structured debug object (`{contractAddress, level, message, fields[]}`) to an accumulated list for the transaction. This opcode does nearly nothing when executed by sequencers or provers (only performs PC increment and address resolution). It is meant for local debugging or for use by RPC nodes and wallets. Logs are only printed if logging level is "Debug" (6) or higher. Message size is an immediate (constant in the bytecode). Throws an irrecoverable error if truly doing debug logging and log level is invalid (greater than 7) or upon reaching the node's configured maxDebugLogMemoryReads.
## Gas Costs
@@ -22,7 +22,7 @@ Prints a debug log to console as a formatted a message, and pushes a structured
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -96,4 +96,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/div.md b/yarn-project/simulator/docs/avm/opcodes/div.md
index 23e190e0d8ab..c8b527a3001c 100644
--- a/yarn-project/simulator/docs/avm/opcodes/div.md
+++ b/yarn-project/simulator/docs/avm/opcodes/div.md
@@ -22,7 +22,7 @@ Performs integer division (truncating). Both operands must have the same integra
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -113,4 +113,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/ecadd.md b/yarn-project/simulator/docs/avm/opcodes/ecadd.md
index b7a1bbfb9b48..7e367b9ca7d8 100644
--- a/yarn-project/simulator/docs/avm/opcodes/ecadd.md
+++ b/yarn-project/simulator/docs/avm/opcodes/ecadd.md
@@ -25,7 +25,7 @@ Performs elliptic curve point addition on the Grumpkin curve. Each point is repr
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -120,4 +120,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/emitnotehash.md b/yarn-project/simulator/docs/avm/opcodes/emitnotehash.md
index c1aafd2b576d..1390841fab0a 100644
--- a/yarn-project/simulator/docs/avm/opcodes/emitnotehash.md
+++ b/yarn-project/simulator/docs/avm/opcodes/emitnotehash.md
@@ -22,7 +22,7 @@ Writes a new note hash to the Note Hash Tree. Note hash must have type tag FIELD
| DA Base | 512 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -81,10 +81,10 @@ packet-beta
## Error Conditions
- **INVALID_TAG**: Note hash operand is not FIELD
-- **STATIC_CALL_ALTERATION**: Attempted note hash emission in static call context
+- **STATIC_CALL_VIOLATION**: Attempted note hash emission in static call context
- **SIDE_EFFECT_LIMIT_REACHED**: Exceeded maximum note hashes per transaction (MAX_NOTE_HASHES_PER_TX)
- **MEMORY_ACCESS_OUT_OF_RANGE**: Memory offset operand exceeds addressable memory
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/emitnullifier.md b/yarn-project/simulator/docs/avm/opcodes/emitnullifier.md
index 49660e235402..ca49f1bd2120 100644
--- a/yarn-project/simulator/docs/avm/opcodes/emitnullifier.md
+++ b/yarn-project/simulator/docs/avm/opcodes/emitnullifier.md
@@ -22,7 +22,7 @@ Writes a new nullifier to the Nullifier Tree. This opcode can only emit nullifie
| DA Base | 512 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -81,11 +81,11 @@ packet-beta
## Error Conditions
- **INVALID_TAG**: Nullifier operand is not FIELD
-- **STATIC_CALL_ALTERATION**: Attempted nullifier emission in static call context
+- **STATIC_CALL_VIOLATION**: Attempted nullifier emission in static call context
- **NULLIFIER_COLLISION**: Nullifier already exists
- **SIDE_EFFECT_LIMIT_REACHED**: Exceeded maximum nullifiers per transaction (MAX_NULLIFIERS_PER_TX)
- **MEMORY_ACCESS_OUT_OF_RANGE**: Memory offset operand exceeds addressable memory
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/emitunencryptedlog.md b/yarn-project/simulator/docs/avm/opcodes/emitunencryptedlog.md
index d4fff3685f54..c9b8bc3acebd 100644
--- a/yarn-project/simulator/docs/avm/opcodes/emitunencryptedlog.md
+++ b/yarn-project/simulator/docs/avm/opcodes/emitunencryptedlog.md
@@ -24,7 +24,7 @@ Emits a public log from the currently executing contract. Log size must be Uint3
| L2 Dynamic | 3 | `M[logSizeOffset]` |
| DA Dynamic | 512 | `M[logSizeOffset]` |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -86,10 +86,10 @@ packet-beta
## Error Conditions
- **INVALID_TAG**: Log size is not Uint32 or log data is not FIELD
-- **STATIC_CALL_ALTERATION**: Attempted log emission in static call context
+- **STATIC_CALL_VIOLATION**: Attempted log emission in static call context
- **SIDE_EFFECT_LIMIT_REACHED**: Exceeded maximum cumulative log size per transaction (FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH)
- **MEMORY_ACCESS_OUT_OF_RANGE**: Memory offset operand exceeds addressable memory
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/eq.md b/yarn-project/simulator/docs/avm/opcodes/eq.md
index 6be7631fb759..cc9ff4c11fbd 100644
--- a/yarn-project/simulator/docs/avm/opcodes/eq.md
+++ b/yarn-project/simulator/docs/avm/opcodes/eq.md
@@ -22,7 +22,7 @@ Compares two values for equality. Both operands must have the same type tag. The
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/fdiv.md b/yarn-project/simulator/docs/avm/opcodes/fdiv.md
index 5f643842fb3d..7460066d5280 100644
--- a/yarn-project/simulator/docs/avm/opcodes/fdiv.md
+++ b/yarn-project/simulator/docs/avm/opcodes/fdiv.md
@@ -22,7 +22,7 @@ Performs field division (computes a * b^(-1) mod p where p is the BN254 field mo
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -113,4 +113,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/getcontractinstance.md b/yarn-project/simulator/docs/avm/opcodes/getcontractinstance.md
index 02c6fd81b215..21135c4c50c5 100644
--- a/yarn-project/simulator/docs/avm/opcodes/getcontractinstance.md
+++ b/yarn-project/simulator/docs/avm/opcodes/getcontractinstance.md
@@ -46,7 +46,7 @@ This separation allows for:
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -115,4 +115,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/getenvvar.md b/yarn-project/simulator/docs/avm/opcodes/getenvvar.md
index 96ce69f91fed..b1c42d2f455c 100644
--- a/yarn-project/simulator/docs/avm/opcodes/getenvvar.md
+++ b/yarn-project/simulator/docs/avm/opcodes/getenvvar.md
@@ -39,7 +39,7 @@ Retrieves environment variables from the currently executing context. The variab
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -104,4 +104,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/internalcall.md b/yarn-project/simulator/docs/avm/opcodes/internalcall.md
index b2085cee4116..a0ef7020a358 100644
--- a/yarn-project/simulator/docs/avm/opcodes/internalcall.md
+++ b/yarn-project/simulator/docs/avm/opcodes/internalcall.md
@@ -21,7 +21,7 @@ Pushes current PC and return PC onto internal call stack, then jumps to the targ
| L2 Base | 9 |
| DA Base | 0 |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -48,4 +48,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/internalreturn.md b/yarn-project/simulator/docs/avm/opcodes/internalreturn.md
index f03528b6137e..228d628f0397 100644
--- a/yarn-project/simulator/docs/avm/opcodes/internalreturn.md
+++ b/yarn-project/simulator/docs/avm/opcodes/internalreturn.md
@@ -21,7 +21,7 @@ Pops return PC from internal call stack and sets PC to it.
| L2 Base | 9 |
| DA Base | 0 |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Wire Formats
See [Wire Format](wire-format.md) page for an explanation of wire format variants and opcode naming (e.g., why `ADD_8` vs `ADD_16`).
@@ -41,8 +41,8 @@ packet-beta
## Error Conditions
-- **INTERNAL_CALL_STACK_EMPTY**: Internal call stack is empty
+- **INTERNAL_CALL_STACK_UNDERFLOW**: Internal call stack is empty
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/jump.md b/yarn-project/simulator/docs/avm/opcodes/jump.md
index abed52ffa10b..f118d3d96544 100644
--- a/yarn-project/simulator/docs/avm/opcodes/jump.md
+++ b/yarn-project/simulator/docs/avm/opcodes/jump.md
@@ -21,7 +21,7 @@ Sets the program counter to the specified offset. The offset is an immediate val
| L2 Base | 9 |
| DA Base | 0 |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -48,4 +48,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/jumpi.md b/yarn-project/simulator/docs/avm/opcodes/jumpi.md
index 23c9f98c14ad..804e59899a7e 100644
--- a/yarn-project/simulator/docs/avm/opcodes/jumpi.md
+++ b/yarn-project/simulator/docs/avm/opcodes/jumpi.md
@@ -22,7 +22,7 @@ Jumps to the specified location if the condition is non-zero (true). The conditi
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -87,4 +87,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/keccakf1600.md b/yarn-project/simulator/docs/avm/opcodes/keccakf1600.md
index ed8728bbb92c..ee9d06d4c988 100644
--- a/yarn-project/simulator/docs/avm/opcodes/keccakf1600.md
+++ b/yarn-project/simulator/docs/avm/opcodes/keccakf1600.md
@@ -22,7 +22,7 @@ Computes the Keccak-f[1600] permutation on a state of 25 Uint64 elements. Input
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -91,4 +91,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/l1tol2msgexists.md b/yarn-project/simulator/docs/avm/opcodes/l1tol2msgexists.md
index bfe88e3567fd..c2c7135d6aa3 100644
--- a/yarn-project/simulator/docs/avm/opcodes/l1tol2msgexists.md
+++ b/yarn-project/simulator/docs/avm/opcodes/l1tol2msgexists.md
@@ -22,7 +22,7 @@ Checks whether the specified L1-to-L2 message hash exists in the L1 to L2 messag
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -94,4 +94,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/lt.md b/yarn-project/simulator/docs/avm/opcodes/lt.md
index d5765f270fe2..7a6c213a1a09 100644
--- a/yarn-project/simulator/docs/avm/opcodes/lt.md
+++ b/yarn-project/simulator/docs/avm/opcodes/lt.md
@@ -22,7 +22,7 @@ Compares two values. Both operands must have the same type tag. For integer type
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/lte.md b/yarn-project/simulator/docs/avm/opcodes/lte.md
index 2f3486a4b00e..9ef0496a14e6 100644
--- a/yarn-project/simulator/docs/avm/opcodes/lte.md
+++ b/yarn-project/simulator/docs/avm/opcodes/lte.md
@@ -22,7 +22,7 @@ Compares two values. Both operands must have the same type tag. For integer type
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/mov.md b/yarn-project/simulator/docs/avm/opcodes/mov.md
index 08f43a244b75..d16a6ecf7ea5 100644
--- a/yarn-project/simulator/docs/avm/opcodes/mov.md
+++ b/yarn-project/simulator/docs/avm/opcodes/mov.md
@@ -22,7 +22,7 @@ Copies a value and its type tag from the source memory offset to the destination
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -102,4 +102,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/mul.md b/yarn-project/simulator/docs/avm/opcodes/mul.md
index 84e5397ff938..fc9b12265689 100644
--- a/yarn-project/simulator/docs/avm/opcodes/mul.md
+++ b/yarn-project/simulator/docs/avm/opcodes/mul.md
@@ -22,7 +22,7 @@ Performs multiplication. Both operands must have the same type tag. For integer
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/not.md b/yarn-project/simulator/docs/avm/opcodes/not.md
index 9d55730c9c89..85a25c056972 100644
--- a/yarn-project/simulator/docs/avm/opcodes/not.md
+++ b/yarn-project/simulator/docs/avm/opcodes/not.md
@@ -22,7 +22,7 @@ Performs bitwise NOT operation (one's complement). The operand must have an inte
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -107,4 +107,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/notehashexists.md b/yarn-project/simulator/docs/avm/opcodes/notehashexists.md
index ec0827f81e07..ad058cadae3b 100644
--- a/yarn-project/simulator/docs/avm/opcodes/notehashexists.md
+++ b/yarn-project/simulator/docs/avm/opcodes/notehashexists.md
@@ -22,7 +22,7 @@ Performs a read of the Note Hash Tree to query whether the specified note hash e
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -94,4 +94,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/nullifierexists.md b/yarn-project/simulator/docs/avm/opcodes/nullifierexists.md
index 00984d10ce6d..d52aaf87546a 100644
--- a/yarn-project/simulator/docs/avm/opcodes/nullifierexists.md
+++ b/yarn-project/simulator/docs/avm/opcodes/nullifierexists.md
@@ -22,7 +22,7 @@ Performs a read of the Nullifier Tree to query whether the specified nullifier e
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -94,4 +94,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/or.md b/yarn-project/simulator/docs/avm/opcodes/or.md
index b02293f9d1b2..59e4ff87fae2 100644
--- a/yarn-project/simulator/docs/avm/opcodes/or.md
+++ b/yarn-project/simulator/docs/avm/opcodes/or.md
@@ -23,7 +23,7 @@ Performs bitwise OR operation. Both operands must have the same integral type ta
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
| L2 Dynamic | 3 | - |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -113,4 +113,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/poseidon2.md b/yarn-project/simulator/docs/avm/opcodes/poseidon2.md
index ea5ec81a5557..0feae7fc4b3d 100644
--- a/yarn-project/simulator/docs/avm/opcodes/poseidon2.md
+++ b/yarn-project/simulator/docs/avm/opcodes/poseidon2.md
@@ -22,7 +22,7 @@ Computes the Poseidon2 permutation on a state of 4 field elements. Input and out
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -91,4 +91,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/return.md b/yarn-project/simulator/docs/avm/opcodes/return.md
index c8991ba81d11..6e43fec78301 100644
--- a/yarn-project/simulator/docs/avm/opcodes/return.md
+++ b/yarn-project/simulator/docs/avm/opcodes/return.md
@@ -23,7 +23,7 @@ Halts execution and returns data to the caller. Return size must be Uint32. Sets
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -93,4 +93,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/returndatacopy.md b/yarn-project/simulator/docs/avm/opcodes/returndatacopy.md
index 62e1494f5228..775b6e1abdcb 100644
--- a/yarn-project/simulator/docs/avm/opcodes/returndatacopy.md
+++ b/yarn-project/simulator/docs/avm/opcodes/returndatacopy.md
@@ -23,7 +23,7 @@ Copies a section of the returndata from the most recent nested external call (CA
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
| L2 Dynamic | 3 | `M[copySizeOffset]` |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -99,4 +99,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/returndatasize.md b/yarn-project/simulator/docs/avm/opcodes/returndatasize.md
index 945ec65063d2..4f4812d1e3e3 100644
--- a/yarn-project/simulator/docs/avm/opcodes/returndatasize.md
+++ b/yarn-project/simulator/docs/avm/opcodes/returndatasize.md
@@ -22,7 +22,7 @@ Returns the size of the return data from the most recent nested external call (C
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -89,4 +89,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/revert.md b/yarn-project/simulator/docs/avm/opcodes/revert.md
index 9780209f60ae..02c91de229cc 100644
--- a/yarn-project/simulator/docs/avm/opcodes/revert.md
+++ b/yarn-project/simulator/docs/avm/opcodes/revert.md
@@ -23,7 +23,7 @@ Halts execution with revert status and returns error data to the caller. Revert
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -109,4 +109,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/sendl2tol1msg.md b/yarn-project/simulator/docs/avm/opcodes/sendl2tol1msg.md
index 5f3e797686e2..b359a07e7de2 100644
--- a/yarn-project/simulator/docs/avm/opcodes/sendl2tol1msg.md
+++ b/yarn-project/simulator/docs/avm/opcodes/sendl2tol1msg.md
@@ -22,7 +22,7 @@ Sends a message to L1, with the specified recipient, from the currently executin
| DA Base | 512 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -84,10 +84,10 @@ packet-beta
## Error Conditions
- **INVALID_TAG**: Recipient or content is not FIELD
-- **STATIC_CALL_ALTERATION**: Attempted L2-to-L1 message send in static call context
+- **STATIC_CALL_VIOLATION**: Attempted L2-to-L1 message send in static call context
- **SIDE_EFFECT_LIMIT_REACHED**: Exceeded maximum L2-to-L1 messages per transaction (MAX_L2_TO_L1_MSGS_PER_TX)
- **MEMORY_ACCESS_OUT_OF_RANGE**: Memory offset operand exceeds addressable memory
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/set.md b/yarn-project/simulator/docs/avm/opcodes/set.md
index 32a43d8e7322..e95c6b10dfcc 100644
--- a/yarn-project/simulator/docs/avm/opcodes/set.md
+++ b/yarn-project/simulator/docs/avm/opcodes/set.md
@@ -22,7 +22,7 @@ Stores an immediate value (a constant encoded directly in the bytecode) at the s
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -174,4 +174,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/sha256compression.md b/yarn-project/simulator/docs/avm/opcodes/sha256compression.md
index 9007589258e0..309e262d9abe 100644
--- a/yarn-project/simulator/docs/avm/opcodes/sha256compression.md
+++ b/yarn-project/simulator/docs/avm/opcodes/sha256compression.md
@@ -22,7 +22,7 @@ Computes the SHA-256 compression function on an 8-word state and 16-word input b
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -94,4 +94,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/shl.md b/yarn-project/simulator/docs/avm/opcodes/shl.md
index d96713a0a3e7..8b3413b303c0 100644
--- a/yarn-project/simulator/docs/avm/opcodes/shl.md
+++ b/yarn-project/simulator/docs/avm/opcodes/shl.md
@@ -22,7 +22,7 @@ Performs left bit shift. Both operands must have the same integral type tag (UIN
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/shr.md b/yarn-project/simulator/docs/avm/opcodes/shr.md
index bf336dbb57af..3d1182f5f514 100644
--- a/yarn-project/simulator/docs/avm/opcodes/shr.md
+++ b/yarn-project/simulator/docs/avm/opcodes/shr.md
@@ -22,7 +22,7 @@ Performs right bit shift (logical, zero-fill). Both operands must have the same
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/sload.md b/yarn-project/simulator/docs/avm/opcodes/sload.md
index f6c47406c69c..ac04d3b47e07 100644
--- a/yarn-project/simulator/docs/avm/opcodes/sload.md
+++ b/yarn-project/simulator/docs/avm/opcodes/sload.md
@@ -22,7 +22,7 @@ Reads from public storage at the specified slot. Performs a read of the Public D
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -91,4 +91,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/sstore.md b/yarn-project/simulator/docs/avm/opcodes/sstore.md
index 546f7fbcb021..510dacf49985 100644
--- a/yarn-project/simulator/docs/avm/opcodes/sstore.md
+++ b/yarn-project/simulator/docs/avm/opcodes/sstore.md
@@ -23,7 +23,7 @@ Writes to public storage at the specified slot. Performs a write to the Public D
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
| DA Dynamic | 1024 | - |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -85,10 +85,10 @@ packet-beta
## Error Conditions
- **INVALID_TAG**: Slot or value operand is not FIELD
-- **STATIC_CALL_ALTERATION**: Attempted storage write in static call context
+- **STATIC_CALL_VIOLATION**: Attempted storage write in static call context
- **SIDE_EFFECT_LIMIT_REACHED**: Exceeded maximum public data updates per transaction (MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX)
- **MEMORY_ACCESS_OUT_OF_RANGE**: Memory offset operand exceeds addressable memory
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/staticcall.md b/yarn-project/simulator/docs/avm/opcodes/staticcall.md
index 98a86d5bfaac..de0876b5eb87 100644
--- a/yarn-project/simulator/docs/avm/opcodes/staticcall.md
+++ b/yarn-project/simulator/docs/avm/opcodes/staticcall.md
@@ -30,7 +30,7 @@ Calls another contract in static mode (read-only). Any state modifications in th
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -123,4 +123,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/sub.md b/yarn-project/simulator/docs/avm/opcodes/sub.md
index 2681ce633c4c..5ef25da63eb6 100644
--- a/yarn-project/simulator/docs/avm/opcodes/sub.md
+++ b/yarn-project/simulator/docs/avm/opcodes/sub.md
@@ -22,7 +22,7 @@ Performs subtraction. Both operands must have the same type tag. For integer typ
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -110,4 +110,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/successcopy.md b/yarn-project/simulator/docs/avm/opcodes/successcopy.md
index b1da9a951a2c..c4e0dc15f07b 100644
--- a/yarn-project/simulator/docs/avm/opcodes/successcopy.md
+++ b/yarn-project/simulator/docs/avm/opcodes/successcopy.md
@@ -22,7 +22,7 @@ Returns 1 if the most recent nested external call (CALL or STATICCALL instructio
| DA Base | 0 | - |
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -88,4 +88,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/toradixbe.md b/yarn-project/simulator/docs/avm/opcodes/toradixbe.md
index 29f5f3682168..9b88579d17cc 100644
--- a/yarn-project/simulator/docs/avm/opcodes/toradixbe.md
+++ b/yarn-project/simulator/docs/avm/opcodes/toradixbe.md
@@ -28,9 +28,9 @@ Decomposes a field element into limbs in the specified radix (2-256). If outputB
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
| L2 Dynamic | 3 | `M[numLimbsOffset]`, `M[radixOffset]`* |
-*Note: The L2 gas cost scales linearly with M[numLimbsOffset], but also includes a per-limb multiplier based on M[radixOffset]
+\*Note: The L2 gas cost scales linearly with M[numLimbsOffset], but also includes a per-limb multiplier based on M[radixOffset]
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -120,4 +120,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/opcodes/xor.md b/yarn-project/simulator/docs/avm/opcodes/xor.md
index 1ecc54db5160..81d6730327d7 100644
--- a/yarn-project/simulator/docs/avm/opcodes/xor.md
+++ b/yarn-project/simulator/docs/avm/opcodes/xor.md
@@ -23,7 +23,7 @@ Performs bitwise XOR operation. Both operands must have the same integral type t
| L2 Addressing | 3 | 3 L2 gas per indirect memory offset
3 L2 gas per relative memory offset |
| L2 Dynamic | 3 | - |
-*See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
+\* See [Gas Metering](gas.md) for details on how gas costs are computed and applied.
## Operands
@@ -113,4 +113,4 @@ packet-beta
---
-[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
\ No newline at end of file
+[← Back to Instruction Set: Quick Reference](../avm-isa-quick-reference.md)
diff --git a/yarn-project/simulator/docs/avm/public-tx-simulation.md b/yarn-project/simulator/docs/avm/public-tx-simulation.md
index 1ba0a7026d8d..fe16b9083f33 100644
--- a/yarn-project/simulator/docs/avm/public-tx-simulation.md
+++ b/yarn-project/simulator/docs/avm/public-tx-simulation.md
@@ -12,7 +12,7 @@ Public transaction simulation encompasses:
2. **Side effect integration** - Committing side effects from private execution into world state
3. **State management** - Handling reverts with proper rollback semantics
4. **Fee payment** - Deducting the transaction fee from the fee payer
-5. **Tree padding** -
+5. **Tree padding**
## Execution Phases
diff --git a/yarn-project/simulator/docs/avm/tooling.md b/yarn-project/simulator/docs/avm/tooling.md
index efdd54598078..9fd6ced36087 100644
--- a/yarn-project/simulator/docs/avm/tooling.md
+++ b/yarn-project/simulator/docs/avm/tooling.md
@@ -43,4 +43,4 @@ The compilation process produces:
AVM bytecode format may evolve between protocol versions. Bytecode produced by a compiler version must match the protocol's expected format.
---
-← Previous: [AVM vs EVM](./avm-vs-evm.md)
+← Previous: [Instruction Set: Quick Reference](./avm-isa-quick-reference.md) | Back to [Introduction](./README.md) →
diff --git a/yarn-project/simulator/docs/avm/wire-format.md b/yarn-project/simulator/docs/avm/wire-format.md
index 6c3ca4dc648d..943756c5175f 100644
--- a/yarn-project/simulator/docs/avm/wire-format.md
+++ b/yarn-project/simulator/docs/avm/wire-format.md
@@ -14,8 +14,7 @@ The AVM bytecode uses a compact binary encoding where each instruction is serial
### Example: `ADD_8` and `ADD_16`
-The numeric suffixes in these opcode names (`_8` or `_16`) indicate the **size of memory offset operands
- in the bytecode**, not the type of data being operated on.
+The numeric suffixes in these opcode names (`_8` or `_16`) indicate the **size of memory offset operands in the bytecode**, not the type of data being operated on.
The actual operation type is determined by the [type tags](memory.md#type-tags) of the resolved memory
locations. For example, `ADD_8` encodes its `aOffset` and `bOffset` operands as 8-bit values in the