Overview
Currently, in the decider_circuit we do a big MSM of curve points, many of which are constant. Can we save some gates by using the "fixed" version of the msm function to deal with the constant points?
Tasks
Do two MSMs, one with fixed curve points, one with variable curve points.
Optional
No optional element but if it increases the number of gates because we're now doing two MSMs instead of one (which I think is very unlikely), we don't implement this change.
Definition of done
When this "cheaper" MSM is implemented in the decider_circuit or we find out it's not helpful.
Links
No links
Overview
Currently, in the
decider_circuitwe do a big MSM of curve points, many of which are constant. Can we save some gates by using the "fixed" version of themsmfunction to deal with the constant points?Tasks
Do two MSMs, one with fixed curve points, one with variable curve points.
Optional
No optional element but if it increases the number of gates because we're now doing two MSMs instead of one (which I think is very unlikely), we don't implement this change.
Definition of done
When this "cheaper" MSM is implemented in the
decider_circuitor we find out it's not helpful.Links
No links