Protocol, Cryptography, Algorithms, Decentralized Storage.
algorithm produces a verification key VK and a secret key SK pair. Evaluate(SK, X) → (Y, ⍴). The evaluation algorithm takes as input the secret key SK, a message X and produces a pseudorandom output string Y and a proof ⍴. Verify(VK, X, Y, ⍴) → 0/1. The verification algorithm takes as input the