This PR adds two new summarized rules regarding program execution. The rule presented in this PR summarizes the function fidUpdate(uint balance0, uint balance1, uint112 vidReserve0, uint112 vidReserve1) private {...}.
By summarizing this function, we save 2109 steps.
(Without it, the program took 30874 steps, and after implementing it, the program took 28765 steps)
This PR adds two new summarized rules regarding program execution. The rule presented in this PR summarizes the
function fidUpdate(uint balance0, uint balance1, uint112 vidReserve0, uint112 vidReserve1) private {...}.By summarizing this function, we save 2109 steps. (Without it, the program took 30874 steps, and after implementing it, the program took 28765 steps)