chore: fix some function names in comment#1304

ivokub merged 1 commit intoConsensys:masterConsensys/gnark:masterfrom

wangjingcun:masterwangjingcun/gnark:masterCopy head branch name to clipboard