Proof compatibility between Stone verifier and Sandstorm

[MauroToscano]

I'm trying to verify Sandstorm proofs with Stone prover to validate that they are compatible. For the same program and layout they seem to be quite different in size, and not really similar. Maybe some parameter is wrong.

I've tried with the following ones:

Layout: recursive

    "field": "PrimeField0",
    "stark": {
        "fri": {
            "fri_step_list": [
                0,
                2,
		2,
		2,
		2,
		2,
		2,
		2,
		2,
		2
            ],
            "last_layer_degree_bound": 1,
            "n_queries": 18,
            "proof_of_work_bits": 24
        },
        "log_n_cosets": 2
    },
    "use_extension_field": false
}

And in sandstorm I'm using:

cargo +nightly run -p sandstorm-cli -r -F parallel -- \
            --program fibonacci_compiled.json \
             --air-public-input fibonacci_public_input.json \
             prove --air-private-input fibonacci_private_input.json \
             --output proof.proof --fri-max-remainder-coeffs 1 --lde-blowup-factor 4 --fri-folding-factor 4 --num-queries 18 --proof-of-work-bits 24