zk-study

Change polynomial and random from FP = 128

Generalize rounds

Implement sum check