Remove dynamic unroll (to simplify the zkDSL compiler, at the cost of a few percent more cycles (but saves some memory))#230

TomWambsgans merged 3 commits into

mainleanEthereum/leanVM:mainfrom

remove_dynamic_unrollleanEthereum/leanVM:remove_dynamic_unrollCopy head branch name to clipboard