All variables in the circuit are viewed as the pairing friendly curve scalars regardless of their function (i.e. wire values, coordinates of an embedded curve point or embedded curve scalars).
It is necessary to implement safe transformations between these two types so that the embedded curve scalars can be used in scalar-point multiplications and as variables in the circuit.
All variables in the circuit are viewed as the pairing friendly curve scalars regardless of their function (i.e. wire values, coordinates of an embedded curve point or embedded curve scalars). It is necessary to implement safe transformations between these two types so that the embedded curve scalars can be used in scalar-point multiplications and as variables in the circuit.