pub fn update_assembler(
    ctx: Context<'_, '_, '_, '_, UpdateAssembler<'_>>,
    args: UpdateAssemblerArgs,
    proof_index: u8
) -> Result<()>