Using multiplicative group of size 16 to demonstrate the concept of coset.
Start with STARK context:
suppose we have a trace \([1,2,3,4]\) , and we want to prove \(f(x)+1=f(gx)\)
\(g\) is the group generator for cyclic group of size 4, the same size of the trace.