Hey I am confused about these lines in stark.py in prove() function
# symbolically evaluate transition constraints
point = [Polynomial([self.field.zero(), self.field.one()])] + trace_polynomials + [tp.scale(self.omicron) for tp in trace_polynomials]
transition_polynomials = [a.evaluate_symbolic(point) for a in transition_constraints]
Isn't the point bigger array than transition_constraints have variables? And thus these omicron variables are not being assigned at all?
Hey I am confused about these lines in stark.py in prove() function
Isn't the point bigger array than transition_constraints have variables? And thus these omicron variables are not being assigned at all?