witness-encryption-functional-commitment icon indicating copy to clipboard operation
witness-encryption-functional-commitment copied to clipboard
verified publisher icon vicsn

Write down a formal correctness proof about the specific SPHF construction used for encryption/decryption

Open vicsn opened this issue 2 years ago • 0 comments

vicsn avatar Jan 16 '23 21:01 vicsn