chore: fix some minor issues in the comments#3346

spuradage wants to merge 1 commit intoo1-labs:mastero1-labs/proof-systems:masterfrom

spuradage:masterspuradage/proof-systems:masterCopy head branch name to clipboard