touchups

Author: sai-deng

recursion/Cargo.toml

@@ -14,14 +14,14 @@ categories.workspace = true
 p3-air.workspace = true
 p3-batch-stark.workspace = true
 p3-challenger.workspace = true
+p3-circuit-prover.workspace = true
 p3-commit.workspace = true
 p3-field.workspace = true
 p3-fri.workspace = true
 p3-merkle-tree.workspace = true
 p3-symmetric.workspace = true
 p3-uni-stark.workspace = true
 p3-util.workspace = true
-p3-circuit-prover.workspace = true
 
 # Other dependencies
 itertools.workspace = true

recursion/src/pcs/fri/targets.rs

@@ -437,7 +437,7 @@ where
         InputProofTargets<Val<SC>, SC::Challenge, RecursiveInputMmcs>,
     >;
 
-    /// Caller must observe all opened values before invoking this method.
+    /// Observes all opened values and derives PCS-specific challenges.
     fn get_challenges_circuit<const RATE: usize>(
         circuit: &mut CircuitBuilder<SC::Challenge>,
         challenger: &mut CircuitChallenger<RATE>,

recursion/src/verifier/stark.rs

@@ -291,7 +291,6 @@ where
     );
 
     // Get PCS-specific challenges (FRI betas, query indices, etc.)
-    opened_values.observe(circuit, &mut challenger);
     let pcs_challenges = SC::Pcs::get_challenges_circuit::<RATE>(
         circuit,
         &mut challenger,