Verifiable cryptographic obfuscation

A computer implemented method comprising:

• receiving, from an obfuscator system, an obfuscated program, a public seed and a secret seed, the public seed comprising a learning with parity (LPN) encryption of a PRG input that is embedded in the obfuscated program, wherein the LPN encryption of the PRG input is generated using an error vector generated by physically unclonable function (PUF) included in the obfuscator system;
• computing, using the public seed, a corrected PRG output obtained by evaluating the PRG on the LPN encryption of the PRG input;
• predicting, using an initial component of the secret seed, the error vector generated by the PUF included in the obfuscator system;
• computing, using the public seed and the predicted error vector, a corrupted PRG output obtained by evaluating the PRG on an LPN encryption of the PRG input and the predicted error vector;
• computing a Hamming distance between the corrected PRG output and the corrupted PRG output;
• determining whether the Hamming distance is less than a predetermined threshold that is dependent on a length of the error vector;
• and
• in response to determining that the Hamming distance is less than the predetermined threshold, verifying the obfuscation of the program.