perf(poly): packed split-eq evaluation for base-coefficient multilinears#259

TomWambsgans merged 2 commits into

leanEthereum:mainleanEthereum/leanVM:mainfrom

wstran:eval-base-packedwstran/leanVM:eval-base-packedCopy head branch name to clipboard