Is initial challenger observation in prove_deferred_leaves necessary?

[deukyunlee]

In prove_deferred_leaves, an initial challenger is created, but does not seem to be used afterwards.

Relevant Code

recursion.rs (lines 283–284)

let mut initial_challenger = self.prover.core_prover.config().challenger();
vk.observe_into(&mut initial_challenger);

Potential Change

If it’s indeed unused and has no side effects, these lines could be removed for clarity.

[ctian1]

Thanks for reporting, I believe you are correct and that is unused.