dynamic proof verification

.tool-versions

@@ -0,0 +1 @@
+python 3.9.18

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

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