The success criterion for this milestone is that we can prove in Zero-Knowledge that we have a satisfying assignment to a key for the AES algorithm given (in public) the plaintext and the resuting ciphertext.