-
Notifications
You must be signed in to change notification settings - Fork 4
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
4 changed files
with
115 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
106 changes: 106 additions & 0 deletions
106
cairo_vm_hints/src/hints/lib/verifiers/evm/header_verifier.rs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,106 @@ | ||
| use cairo_vm::{ | ||
| hint_processor::builtin_hint_processor::{ | ||
| builtin_hint_processor_definition::HintProcessorData, | ||
| hint_utils::{get_integer_from_var_name, get_ptr_from_var_name, insert_value_into_ap}, | ||
| }, | ||
| types::exec_scope::ExecutionScopes, | ||
| vm::{errors::hint_errors::HintError, vm_core::VirtualMachine}, | ||
| Felt252, | ||
| }; | ||
| use std::collections::HashMap; | ||
|
|
||
| use crate::{ | ||
| hint_processor::models::proofs::{header::Header, Proofs}, | ||
| hints::vars, | ||
| }; | ||
|
|
||
| pub const HINT_BATCH_HEADERS_LEN: &str = "memory[ap] = to_felt_or_relocatable(len(batch.headers))"; | ||
|
|
||
| pub fn hint_batch_headers_len( | ||
| vm: &mut VirtualMachine, | ||
| exec_scopes: &mut ExecutionScopes, | ||
| _hint_data: &HintProcessorData, | ||
| _constants: &HashMap<String, Felt252>, | ||
| ) -> Result<(), HintError> { | ||
| let batch = exec_scopes.get::<Proofs>("batch")?; | ||
|
|
||
| insert_value_into_ap(vm, Felt252::from(batch.headers.len())) | ||
| } | ||
|
|
||
| pub const HINT_SET_HEADER: &str = "header = batch.headers[ids.idx - 1]\nsegments.write_arg(ids.rlp, [int(x, 16) for x in header.rlp])"; | ||
|
|
||
| pub fn hint_set_header( | ||
| vm: &mut VirtualMachine, | ||
| exec_scopes: &mut ExecutionScopes, | ||
| hint_data: &HintProcessorData, | ||
| _constants: &HashMap<String, Felt252>, | ||
| ) -> Result<(), HintError> { | ||
| let batch = exec_scopes.get::<Proofs>("batch")?; | ||
| let idx: usize = get_integer_from_var_name(vars::ids::IDX, vm, &hint_data.ids_data, &hint_data.ap_tracking)? | ||
| .try_into() | ||
| .unwrap(); | ||
| let header = batch.headers[idx - 1].clone(); | ||
| let rlp = header.rlp.clone(); | ||
|
|
||
| exec_scopes.insert_value::<Header>("header", header); | ||
|
|
||
| let rlp_ptr = get_ptr_from_var_name(vars::ids::RLP, vm, &hint_data.ids_data, &hint_data.ap_tracking)?; | ||
| vm.write_arg(rlp_ptr, &rlp)?; | ||
|
|
||
| Ok(()) | ||
| } | ||
|
|
||
| pub const HINT_RLP_LEN: &str = "memory[ap] = to_felt_or_relocatable(len(header.rlp))"; | ||
|
|
||
| pub fn hint_rlp_len( | ||
| vm: &mut VirtualMachine, | ||
| exec_scopes: &mut ExecutionScopes, | ||
| _hint_data: &HintProcessorData, | ||
| _constants: &HashMap<String, Felt252>, | ||
| ) -> Result<(), HintError> { | ||
| let header = exec_scopes.get::<Header>("header")?; | ||
|
|
||
| insert_value_into_ap(vm, Felt252::from(header.rlp.len())) | ||
| } | ||
|
|
||
| pub const HINT_LEAF_IDX: &str = "memory[ap] = to_felt_or_relocatable(len(header.proof.leaf_idx))"; | ||
|
|
||
| pub fn hint_leaf_idx( | ||
| vm: &mut VirtualMachine, | ||
| exec_scopes: &mut ExecutionScopes, | ||
| _hint_data: &HintProcessorData, | ||
| _constants: &HashMap<String, Felt252>, | ||
| ) -> Result<(), HintError> { | ||
| let header = exec_scopes.get::<Header>("header")?; | ||
|
|
||
| insert_value_into_ap(vm, Felt252::from(header.proof.leaf_idx)) | ||
| } | ||
|
|
||
| pub const HINT_MMR_PATH_LEN: &str = "memory[ap] = to_felt_or_relocatable(len(header.proof.mmr_path))"; | ||
|
|
||
| pub fn hint_mmr_path_len( | ||
| vm: &mut VirtualMachine, | ||
| exec_scopes: &mut ExecutionScopes, | ||
| _hint_data: &HintProcessorData, | ||
| _constants: &HashMap<String, Felt252>, | ||
| ) -> Result<(), HintError> { | ||
| let header = exec_scopes.get::<Header>("header")?; | ||
|
|
||
| insert_value_into_ap(vm, Felt252::from(header.proof.mmr_path.len())) | ||
| } | ||
|
|
||
| pub const HINT_MMR_PATH: &str = "segments.write_arg(ids.mmr_path, [int(x, 16) for x in header.proof.mmr_path])"; | ||
|
|
||
| pub fn hint_mmr_path( | ||
| vm: &mut VirtualMachine, | ||
| exec_scopes: &mut ExecutionScopes, | ||
| hint_data: &HintProcessorData, | ||
| _constants: &HashMap<String, Felt252>, | ||
| ) -> Result<(), HintError> { | ||
| let header = exec_scopes.get::<Header>("header")?; | ||
|
|
||
| let mmr_path_ptr = get_ptr_from_var_name(vars::ids::MMR_PATH, vm, &hint_data.ids_data, &hint_data.ap_tracking)?; | ||
| vm.write_arg(mmr_path_ptr, &header.proof.mmr_path)?; | ||
|
|
||
| Ok(()) | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,3 @@ | ||
| pub mod account_verifier; | ||
| pub mod block_tx_verifier; | ||
| pub mod header_verifier; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters