Search results

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

Status: Open.

#4 In vicsn/witness-encryption-functional-commitment;

· vicsn opened on Jan 16, 2023

Use native matrix-library multiplication

Status: Open.

#3 In vicsn/witness-encryption-functional-commitment;

· vicsn opened on Jan 16, 2023

Ensure the library doesn't randomly panic by removing usage of unwrap()

Status: Open.

#2 In vicsn/witness-encryption-functional-commitment;

· vicsn opened on Jan 16, 2023

Use statically-sized matrices wherever possible

Status: Open.

#1 In vicsn/witness-encryption-functional-commitment;

· vicsn opened on Jan 16, 2023