Add State deserialization

ClementWalter · Sep 27, 2024 · 7750524 · 7750524
1 parent 223e9d8
commit 7750524
Show file tree

Hide file tree

Showing 8 changed files with 1,713 additions and 1,589 deletions.
diff --git a/cairo/programs/os.cairo b/cairo/programs/os.cairo
@@ -8,8 +8,9 @@ from src.model import model
 func main{pedersen_ptr: HashBuiltin*, output_ptr: felt*}() {
     %{ dict_manager %}
     tempvar block: model.Block*;
-    tempvar initial_state: model.State*;
+    tempvar state: model.State*;
     %{ block %}
+    %{ state %}
     // TODO: Compute initial state root hash and compare with block.parent_hash
     // TODO: Loop through transactions and apply them to the initial state
     // TODO: Compute the state root hash after applying all transactions