feat(headers_proof): handle public inputs

Olexandr88 · Mar 8, 2023 · 90488ab · 90488ab
1 parent f8d3584
commit 90488ab
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/headers_chain_proof/main.cairo b/src/headers_chain_proof/main.cairo
@@ -124,7 +124,6 @@ func main{
     //Validate all blocks in this batch
     let (final_chain_state, block_header_pedersen_hashes) = validate_block_headers{hash_ptr = pedersen_ptr}(start_chain_state, batch_size);
 
-    //TODO: recurse - verifier then checks if the starting state = end state of previous batch
     recurse(block_height, program_hash, start_chain_state, merkle_root);
 
     // TODO think about how to accumulate and generate a (merkle) proof such that block X is in merkle_root without knowing the batch size in each step

diff --git a/src/headers_chain_proof/state_0.json b/src/headers_chain_proof/state_0.json
@@ -1 +1 @@
-{"block_height": -1, "total_work": 0, "best_block_hash": "0000000000000000000000000000000000000000000000000000000000000000", "current_target": 486604799, "epoch_start_time": 0, "prev_timestamps": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], "batch_size": 32}
+{"block_height": -1, "total_work": 0, "best_block_hash": "0000000000000000000000000000000000000000000000000000000000000000", "current_target": 486604799, "epoch_start_time": 0, "prev_timestamps": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], "batch_size": 32, "program_hash" : "0"}
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"block_height": -1, "total_work": 0, "best_block_hash": "0000000000000000000000000000000000000000000000000000000000000000", "current_target": 486604799, "epoch_start_time": 0, "prev_timestamps": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], "batch_size": 32}
		{"block_height": -1, "total_work": 0, "best_block_hash": "0000000000000000000000000000000000000000000000000000000000000000", "current_target": 486604799, "epoch_start_time": 0, "prev_timestamps": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], "batch_size": 32, "program_hash" : "0"}