Tezos_smart_rollup_016_PtMumbai.Proof_helpersval origination_proof :
boot_sector:string ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Kind.t ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Proof.serialized
Tezos_protocol_016_PtMumbai.Environment.Error_monad.tzresult
Lwt.torigination_proof ~boot_sector kind instantiate a kind PVM with an in memory context and produce the origination_proof for boot_sector