Optimize the verifier by directly evaluating eq instead of building the entire table. Also enabled public inputs that are smaller than a witness column. Only supports power of 2 public inputs.
For mu=19
Fixing EQ: 137.558ms -> 44.067ms
Fixing public inputs 44.067ms->20.560ms
Optimize the verifier by directly evaluating eq instead of building the entire table. Also enabled public inputs that are smaller than a witness column. Only supports power of 2 public inputs. For mu=19 Fixing EQ: 137.558ms -> 44.067ms Fixing public inputs 44.067ms->20.560ms
close #100