using recursive layout

crates/saya/core/Cargo.toml

@@ -19,7 +19,7 @@ async-trait.workspace = true
 cairo-proof-parser.workspace = true
 cairo-vm.workspace = true
 convert_case.workspace = true
-dojo-world = { workspace = true, features = [ "contracts", "metadata", "migration", "manifest" ] }
+dojo-world = { workspace = true, features = [ "contracts", "manifest", "metadata", "migration" ] }
 flate2.workspace = true
 futures.workspace = true
 itertools.workspace = true
@@ -47,8 +47,8 @@ cairo-felt = "0.9.1"
 num-bigint = "0.4.4"
 num-traits = "0.2.18"
 
-prover-sdk = { git = "https://github.com/neotheprogramist/http-prover", rev = "69a3dc93f477c57ffeed32154d70a2a37aea7485" }
+prover-sdk = { git = "https://github.com/neotheprogramist/http-prover", rev = "05aa9dbb7fdd5618693cead978d4ab0eebbf8f80" }
 
 [features]
-default = []
-cairo1differ = [] # Not fully functional at the moment
+cairo1differ = [  ] # Not fully functional at the moment
+default = [  ]

crates/saya/core/src/prover/loader.rs

@@ -33,7 +33,7 @@ pub async fn prepare_input_cairo0(
     let program = serde_json::from_str(&serde_json::to_string(&program)?)?;
     let program_input: Value = serde_json::from_str(&arguments)?;
 
-    Ok(Cairo0ProverInput { program, program_input })
+    Ok(Cairo0ProverInput { program, program_input, layout: "recursive".into() })
 }
 
 pub async fn prepare_input_cairo1(
@@ -49,5 +49,5 @@ pub async fn prepare_input_cairo1(
     let program = serde_json::from_str(&serde_json::to_string(&program)?)?;
 
     let program_input = Value::Array(vec![Value::String(arguments)]);
-    Ok(Cairo1ProverInput { program, program_input })
+    Ok(Cairo1ProverInput { program, program_input, layout: "recursive".into() })
 }