Small value sumcheck#112

wu-s-john wants to merge 16 commits intomicrosoft:mainmicrosoft/Spartan2:mainfrom

wu-s-john:small-value-sumcheckwu-s-john/Spartan2:small-value-sumcheckCopy head branch name to clipboard