fn compute_transition(
        &self,
        evaluation_context: &TransitionEvaluationContext<Self::Field, Self::FieldExtension>,
    ) -> Vec<FieldElement<Self::FieldExtension>> {
        let mut evaluations =
            vec![FieldElement::<Self::FieldExtension>::zero(); self.num_transition_constraints()];
        self.transition_constraints()
            .iter()
            .for_each(|c| c.evaluate(evaluation_context, &mut evaluations));

        evaluations
    }
The method called by the prover to evaluate the transitions corresponding to an evaluation frame.
In the case of the prover, the main evaluation table of the frame takes values in
`Self::Field`, since they are the evaluations of the main trace at the LDE domain.
In the case of the verifier, the frame take elements of Self::FieldExtension.
crates/provers/stark/src/traits.rs