TODO: Add description
- harness: generate message to be encrypted
- Max of 16-bit integers (Toy: 8, Small: 64 , Medium: 512)
- Inner product of vectors of int16 mod 2^16 (Toy: 4, Small: 32 , Medium: 256)
- harness: Generate AES Key
- harness: Encrypt message with AES key
- submission-client: Keygen (FHE Key)
- submission-client: pre-processing (key expansion will be here)
- submission-client: encode-encrypt (AES key with FHE Key)
- Submission-server: encrypted_transciphering for homomorphically evaluating the AES decryption circuit on message in step3 with FHE(AES key) in step 6
- Submission-server: Encrypted computation to be performed as defined by the harness
- CGGI - Max function
- CKKS - Inner product
- Submission - client: transciphering Decrypt+Decode
- Submission - client: transciphering postprocess (to reconstitute message in step 1)
- Submission: decrypt_decode
- Submission: post_process (to reconstitute the final expected output)
- Harness: verify transciphering output (from step 10)
- Harness: verify final output (step 12)