Previous commitment is misleading. The simulation is already byte-level.
In this commitment, controller.cc is revised. it would fit for any curve
with arbitrary array length. This commitment should be a working one.