Learning new things!
need to get more detailed understanding of the concept of publics, isn’t it just some of the witness get revealed before the proving step?
following this …
this statemachine example has component with different degrees:
StateTRansitionEval is the evaluation function, coordinate mark the number of the Eval
statemachine 0 has just two numbers, the mix_into put these numbers in to channel
statemachine 1 aslo implement the mix_into function, and mix all …
Canonical coset:
odd coset setup
CirclePointIndex is just a wrapper of usize, which represent actually the order of the coset generator.
when creating a new coset, we need a generator and shiftoffset, the shiftoffset mostly be the generator of the subgroup of one log size bigger
so here, CirclePointIndex::subgroup_gen is …
Trace table looks like this:
| a_wire | a_val | b_wire | b_val | c_wire | c_val | multiplicity |
| 0 | 1 | 1 | 1 | 2 | 2 | 2 |
| 1 | 1 | 2 | 2 | 3 | 3 | 2 |
| 2 | 2 | 3 | 3 | 4 | 5 | 1 |
| 3 |