logoalt Hacker News

zkmonlast Saturday at 4:45 AM1 replyview on HN

The idea is very interesting. As a default strategy you could preserve the ratio of inputs by scaling them to match the scaling of the output, instead of making them equal (for addition). Similarly, for multiplication, you could preserve the ratio of inputs as well, by scaling them by nth root of the scaling factor of the output.


Replies

fouronnes3last Saturday at 6:55 AM

Currently the solver does not use the previous values of inputs at all when solving. But it could use it in some cases as a heuristic I guess, yes!