diff --git a/cairo_programs/_keccak.cairo b/cairo_programs/keccak.cairo similarity index 100% rename from cairo_programs/_keccak.cairo rename to cairo_programs/keccak.cairo diff --git a/cairo_programs/_keccak_alternative_hint.cairo b/cairo_programs/keccak_alternative_hint.cairo similarity index 100% rename from cairo_programs/_keccak_alternative_hint.cairo rename to cairo_programs/keccak_alternative_hint.cairo diff --git a/cairo_programs/proof_programs/_keccak.cairo b/cairo_programs/proof_programs/_keccak.cairo deleted file mode 120000 index 73c4dc9243..0000000000 --- a/cairo_programs/proof_programs/_keccak.cairo +++ /dev/null @@ -1 +0,0 @@ -../_keccak.cairo \ No newline at end of file diff --git a/cairo_programs/proof_programs/_keccak_alternative_hint.cairo b/cairo_programs/proof_programs/_keccak_alternative_hint.cairo deleted file mode 120000 index 188837a642..0000000000 --- a/cairo_programs/proof_programs/_keccak_alternative_hint.cairo +++ /dev/null @@ -1 +0,0 @@ -../_keccak_alternative_hint.cairo \ No newline at end of file diff --git a/cairo_programs/proof_programs/keccak.cairo b/cairo_programs/proof_programs/keccak.cairo new file mode 120000 index 0000000000..85e66e5a21 --- /dev/null +++ b/cairo_programs/proof_programs/keccak.cairo @@ -0,0 +1 @@ +../keccak.cairo \ No newline at end of file diff --git a/cairo_programs/proof_programs/keccak_alternative_hint.cairo b/cairo_programs/proof_programs/keccak_alternative_hint.cairo new file mode 120000 index 0000000000..6960b2186f --- /dev/null +++ b/cairo_programs/proof_programs/keccak_alternative_hint.cairo @@ -0,0 +1 @@ +../keccak_alternative_hint.cairo \ No newline at end of file diff --git a/vm/src/serde/serialize_program.rs b/vm/src/serde/serialize_program.rs index 32550d187c..e50ba1c872 100644 --- a/vm/src/serde/serialize_program.rs +++ b/vm/src/serde/serialize_program.rs @@ -250,14 +250,14 @@ mod tests { #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)] fn program_json_from_program_test() { let programs_bytes: Vec> = [ - include_bytes!("../../../cairo_programs/_keccak.json").to_vec(), + include_bytes!("../../../cairo_programs/keccak.json").to_vec(), include_bytes!("../../../cairo_programs/assert_nn.json").to_vec(), include_bytes!("../../../cairo_programs/bitwise_recursion.json").to_vec(), include_bytes!("../../../cairo_programs/blake2s_felts.json").to_vec(), include_bytes!("../../../cairo_programs/cairo_finalize_keccak_block_size_1000.json") .to_vec(), include_bytes!("../../../cairo_programs/bitwise_recursion.json").to_vec(), - include_bytes!("../../../cairo_programs/_keccak.json").to_vec(), + include_bytes!("../../../cairo_programs/keccak.json").to_vec(), include_bytes!("../../../cairo_programs/ec_double_slope.json").to_vec(), include_bytes!("../../../cairo_programs/example_blake2s.json").to_vec(), include_bytes!("../../../cairo_programs/fibonacci.json").to_vec(), @@ -291,14 +291,14 @@ mod tests { #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)] fn serialize_and_deserialize_programs() { let programs_bytes: Vec> = [ - include_bytes!("../../../cairo_programs/_keccak.json").to_vec(), + include_bytes!("../../../cairo_programs/keccak.json").to_vec(), include_bytes!("../../../cairo_programs/assert_nn.json").to_vec(), include_bytes!("../../../cairo_programs/bitwise_recursion.json").to_vec(), include_bytes!("../../../cairo_programs/blake2s_felts.json").to_vec(), include_bytes!("../../../cairo_programs/cairo_finalize_keccak_block_size_1000.json") .to_vec(), include_bytes!("../../../cairo_programs/bitwise_recursion.json").to_vec(), - include_bytes!("../../../cairo_programs/_keccak.json").to_vec(), + include_bytes!("../../../cairo_programs/keccak.json").to_vec(), include_bytes!("../../../cairo_programs/ec_double_slope.json").to_vec(), include_bytes!("../../../cairo_programs/example_blake2s.json").to_vec(), include_bytes!("../../../cairo_programs/fibonacci.json").to_vec(), diff --git a/vm/src/tests/cairo_run_test.rs b/vm/src/tests/cairo_run_test.rs index f291a678af..c06a3d4e3a 100644 --- a/vm/src/tests/cairo_run_test.rs +++ b/vm/src/tests/cairo_run_test.rs @@ -462,7 +462,7 @@ fn keccak_add_uint256() { #[test] #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)] fn keccak() { - let program_data = include_bytes!("../../../cairo_programs/_keccak.json"); + let program_data = include_bytes!("../../../cairo_programs/keccak.json"); run_program_simple(program_data.as_slice()); } @@ -732,7 +732,7 @@ fn mul_s_inv() { #[test] #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)] fn keccak_alternative_hint() { - let program_data = include_bytes!("../../../cairo_programs/_keccak_alternative_hint.json"); + let program_data = include_bytes!("../../../cairo_programs/keccak_alternative_hint.json"); run_program_simple(program_data.as_slice()); } diff --git a/vm/src/vm/runners/builtin_runner/keccak.rs b/vm/src/vm/runners/builtin_runner/keccak.rs index 3eed4a61b6..244efa866d 100644 --- a/vm/src/vm/runners/builtin_runner/keccak.rs +++ b/vm/src/vm/runners/builtin_runner/keccak.rs @@ -412,7 +412,7 @@ mod tests { vm.segments.segment_used_sizes = Some(vec![0]); let program = Program::from_bytes( - include_bytes!("../../../../../cairo_programs/_keccak.json"), + include_bytes!("../../../../../cairo_programs/keccak.json"), Some("main"), ) .unwrap();