HyperNova

HyperNova implementation

Satisfy

$ \sum^{q}{i=1}c_1·\circ{j\in{S_i}}Mj·z=0 $