docs(yellowpaper): avm tree-access operations (#4552)

AztecProtocol · Feb 14, 2024 · c1b60d1 · c1b60d1
1 parent 4e529dd
commit c1b60d1
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 13 deletions.
diff --git a/cpp/src/barretenberg/vm/avm_trace/AvmMini_opcode.cpp b/cpp/src/barretenberg/vm/avm_trace/AvmMini_opcode.cpp
@@ -66,16 +66,18 @@ const std::unordered_map<OpCode, size_t> Bytecode::OPERANDS_NUM = {
     //{ OpCode::CMOV, },
 
     //// World State
-    //{ OpCode::BLOCKHEADERBYNUMBER, },
     //{ OpCode::SLOAD, }, // Public Storage
     //{ OpCode::SSTORE, }, // Public Storage
-    //{ OpCode::READL1TOL2MSG, }, // Messages
-    //{ OpCode::SENDL2TOL1MSG, }, // Messages
+    //{ OpCode::NOTEHASHEXISTS, }, // Notes & Nullifiers
     //{ OpCode::EMITNOTEHASH, }, // Notes & Nullifiers
+    //{ OpCode::NULLIFIEREXISTS, }, // Notes & Nullifiers
     //{ OpCode::EMITNULLIFIER, }, // Notes & Nullifiers
+    //{ OpCode::READL1TOL2MSG, }, // Messages
+    //{ OpCode::HEADERMEMBER, },
 
     //// Accrued Substate
     //{ OpCode::EMITUNENCRYPTEDLOG, },
+    //{ OpCode::SENDL2TOL1MSG, },
 
     //// Control Flow - Contract Calls
     //{ OpCode::CALL, },
@@ -135,14 +137,16 @@ bool Bytecode::has_in_tag(OpCode const op_code)
     case OpCode::INTERNALRETURN:
     case OpCode::MOV:
     case OpCode::CMOV:
-    case OpCode::BLOCKHEADERBYNUMBER:
     case OpCode::SLOAD:
     case OpCode::SSTORE:
-    case OpCode::READL1TOL2MSG:
-    case OpCode::SENDL2TOL1MSG:
+    case OpCode::NOTEHASHEXISTS:
     case OpCode::EMITNOTEHASH:
+    case OpCode::NULLIFIEREXISTS:
     case OpCode::EMITNULLIFIER:
+    case OpCode::READL1TOL2MSG:
+    case OpCode::HEADERMEMBER:
     case OpCode::EMITUNENCRYPTEDLOG:
+    case OpCode::SENDL2TOL1MSG:
     case OpCode::CALL:
     case OpCode::STATICCALL:
     case OpCode::RETURN:

diff --git a/cpp/src/barretenberg/vm/avm_trace/AvmMini_opcode.hpp b/cpp/src/barretenberg/vm/avm_trace/AvmMini_opcode.hpp
@@ -74,16 +74,18 @@ enum class OpCode : uint8_t {
     CMOV,
 
     // World State
-    BLOCKHEADERBYNUMBER,
-    SLOAD,         // Public Storage
-    SSTORE,        // Public Storage
-    READL1TOL2MSG, // Messages
-    SENDL2TOL1MSG, // Messages
-    EMITNOTEHASH,  // Notes & Nullifiers
-    EMITNULLIFIER, // Notes & Nullifiers
+    SLOAD,           // Public Storage
+    SSTORE,          // Public Storage
+    NOTEHASHEXISTS,  // Notes & Nullifiers
+    EMITNOTEHASH,    // Notes & Nullifiers
+    NULLIFIEREXISTS, // Notes & Nullifiers
+    EMITNULLIFIER,   // Notes & Nullifiers
+    READL1TOL2MSG,   // Messages
+    HEADERMEMBER,    // Archive tree & Headers
 
     // Accrued Substate
     EMITUNENCRYPTEDLOG,
+    SENDL2TOL1MSG, // Messages
 
     // Control Flow - Contract Calls
     CALL,