Patch jve#210

andrewlawhh wants to merge 89 commits into

mc2-project:comp-integritymc2-project/opaque-sql:comp-integrityfrom

andrewlawhh:patch-jveandrewlawhh/opaque:patch-jveCopy head branch name to clipboard