diff --git a/.tool-versions b/.tool-versions
new file mode 100644
index 00000000..20e21fa8
--- /dev/null
+++ b/.tool-versions
@@ -0,0 +1 @@
+python 3.9.18
diff --git a/README.md b/README.md
index e6c9ef4e..5ef31fe1 100644
--- a/README.md
+++ b/README.md
@@ -58,3 +58,7 @@ Once the docker image is built, you can fetch the python package zip file using:
 > docker rm -v ${container_id}
 ```
 
+
+python src/starkware/cairo/lang/scripts/cairo-compile     --cairo_path=src     src/starkware/cairo/cairo_verifier/layouts/all_cairo/cairo_verifier.cairo     --output cairo_verifier.json     --no_debug_info     --proof_mode
+
+python src/starkware/cairo/lang/scripts/cairo-run    --program=cairo_verifier.json     --layout=recursive_with_poseidon     --program_input=proof.json     --print_output     --print_info --proof_mode
\ No newline at end of file
diff --git a/src/starkware/cairo/cairo_verifier/layouts/all_cairo/cairo_verifier.cairo b/src/starkware/cairo/cairo_verifier/layouts/all_cairo/cairo_verifier.cairo
index f52c11fb..081b0c63 100644
--- a/src/starkware/cairo/cairo_verifier/layouts/all_cairo/cairo_verifier.cairo
+++ b/src/starkware/cairo/cairo_verifier/layouts/all_cairo/cairo_verifier.cairo
@@ -6,11 +6,11 @@ from starkware.cairo.common.builtin_poseidon.poseidon import poseidon_hash_many
 from starkware.cairo.common.cairo_builtins import BitwiseBuiltin, HashBuiltin, PoseidonBuiltin
 from starkware.cairo.common.math import assert_nn_le
 from starkware.cairo.common.registers import get_label_location
-from starkware.cairo.stark_verifier.air.layouts.all_cairo.public_verify import (
+from starkware.cairo.stark_verifier.air.layouts.dynamic.public_verify import (
     get_layout_builtins,
     segments,
 )
-from starkware.cairo.stark_verifier.air.layouts.all_cairo.verify import verify_proof
+from starkware.cairo.stark_verifier.air.layouts.dynamic.verify import verify_proof
 from starkware.cairo.stark_verifier.air.public_input import PublicInput, SegmentInfo
 from starkware.cairo.stark_verifier.air.public_memory import AddrValue
 from starkware.cairo.stark_verifier.core.stark import StarkProof