[WIP] Docs for the validation of re-encryption correctness proofs#1

cygnusv wants to merge 2 commits into

masternucypher/protocol:masterfrom

validationnucypher/protocol:validationCopy head branch name to clipboard