Add BlockHeader deserialization

.trunk/configs/cspell.yaml

@@ -0,0 +1,4 @@
+version: "0.2"
+# Suggestions can sometimes take longer on CI machines,
+# leading to inconsistent results.
+suggestionsTimeout: 5000 # ms

.trunk/trunk.yaml

@@ -20,6 +20,8 @@ runtimes:
       system_version: allowed
 # This is the section where you manage your linters. (https://docs.trunk.io/check/configuration)
 lint:
+  disabled:
+    - codespell
   files:
     - name: cairo
       extensions:
@@ -53,13 +55,13 @@ lint:
           read_output_from: stdout
           run_linter_from: workspace
   enabled:
+    - [email protected]
     - [email protected]
     - [email protected]
     - [email protected]
     - cairo@SYSTEM
     - [email protected]
     - clippy@SYSTEM
-    - [email protected]
     - git-diff-check
     - [email protected]
     - [email protected]

.vscode/settings.json

@@ -11,5 +11,6 @@
   "python.testing.pytestArgs": ["cairo"],
   "python.testing.unittestEnabled": false,
   "python.testing.pytestEnabled": true,
-  "jupyter.notebookFileRoot": "${workspaceFolder}/cairo"
+  "jupyter.notebookFileRoot": "${workspaceFolder}/cairo",
+  "githubPullRequests.remotes": ["kakarot", "upstream"]
 }

cairo/programs/os.cairo

@@ -5,19 +5,8 @@ from starkware.cairo.common.memcpy import memcpy
 from src.model import model
 
 func main{output_ptr: felt*}() {
-    tempvar block_info: model.BlockInfo* = cast(nondet %{ segments.add() %}, model.BlockInfo*);
-    %{ block_info %}
-
-    assert [output_ptr] = block_info.coinbase;
-    assert [output_ptr + 1] = block_info.timestamp;
-    assert [output_ptr + 2] = block_info.number;
-    assert [output_ptr + 3] = block_info.prev_randao.low;
-    assert [output_ptr + 4] = block_info.prev_randao.high;
-    assert [output_ptr + 5] = block_info.gas_limit;
-    assert [output_ptr + 6] = block_info.chain_id;
-    assert [output_ptr + 7] = block_info.base_fee;
-
-    let output_ptr = output_ptr + 8;
+    tempvar block_header: model.BlockHeader*;
+    %{ block_header %}
 
     return ();
 }