instruction: generate witness for multilinear eval#12

tcoratger merged 4 commits intomainleanEthereum/leanMultisig:mainfrom

new-precompilesleanEthereum/leanMultisig:new-precompilesCopy head branch name to clipboard