step 1: get the most important 2 ingredients:
when create a component like this:
there are two important thing:
- FrameworkComponent
- eval that implement FrameworkEval
we can see the example actually use two types of Component, one is from FrameworkComponent (MleCoeffColumnComponent), one is from MleEvalProverComponent, which is defined specifically for MLE evaluation.
one tricky part might be, in this example, the mle_coeffs is defined as secure field element, but that is bad for Powdr, there should be a transform.
Implementation:
FrameworkEval
in the xor example:
the only thing in evaluate function is creating a column:
in example it creates a column in extension field, but I can create it in base field.
my implementation is like this:
There are different ways to transform a basecolum to a securecolum, this is due to the need of mle evaluation are in secure field
- implement eval_at_point for MLE, where MLE is from basecolum
- or create secure column from the basecolum of the traces
now I am using the second way:
secure field can be directly come from m31:
then make it to securecolumn like this
check example here