init

Author: sklppy88

noir-projects/aztec-nr/aztec/src/oracle/block_header.nr

@@ -26,6 +26,19 @@ pub fn get_block_header_at(block_number: u32, context: PrivateContext) -> BlockH
         // Note: We subtract 1 because the last_archive root is the root of the archive after applying the previous block
         let last_archive_block_number = historical_block_number - 1;
 
+        crate::oracle::debug_log::debug_log_format(
+            "historical header block nr {}",
+            [historical_block_number as Field],
+        );
+        crate::oracle::debug_log::debug_log_format(
+            "last archive block nr {}",
+            [last_archive_block_number as Field],
+        );
+        crate::oracle::debug_log::debug_log_format(
+            "getting block header block nr {}",
+            [block_number as Field],
+        );
+
         // 2) Check that the last archive block number is more than or equal to the block number we want to prove against
         // We could not perform the proof otherwise because the last archive root from the header would not "contain"
         // the header we want to prove against
@@ -94,12 +107,12 @@ mod test {
         let current_header = env.private().historical_header;
 
         let target_block_number = 3;
-        let bad_header = get_block_header_at_internal(target_block_number - 1);
+        let bad_header = get_block_header_at_internal(target_block_number);
 
         // We pass in a different block number than the header received
         constrain_get_block_header_at_internal(
             bad_header,
-            2,
+            target_block_number - 1,
             current_header.global_variables.block_number as u32 - 1,
             current_header.last_archive.root,
         );

yarn-project/txe/src/oracle/txe_oracle.ts

@@ -501,6 +501,8 @@ export class TXE implements TypedOracle {
       Fr.ZERO,
     );
 
+    header.globalVariables.blockNumber = new Fr(blockNumber);
+
     return header;
   }
 
@@ -740,6 +742,8 @@ export class TXE implements TypedOracle {
       Fr.ZERO,
     );
 
+    header.globalVariables.blockNumber = new Fr(blockNumber);
+
     l2Block.header = header;
 
     await fork.updateArchive(l2Block.header);