search

pluto / aes-proof

WIP: circom AES-GCM circuits
Apache License 2.0
20 stars 1 forks source link

question: main entry point and output #61

Open Autoparallel opened 3 weeks ago

Autoparallel commented 3 weeks ago

For us to use this in the web-prover stack, we're going to need a main entrypoint here (even if it is parameterized by data size in some way).

Also, for decryption, we need this to output the raw bytes of an HTTP response so that we can feed that into the HTTP parser.

Can we set up these entry/exit points?

0xJepsen commented 2 weeks ago

First steps in my opinion are to build the aes-gcm entry point. We are finishing the exterior ghash template here #62 and aim to have the aes-gcm one done next week. The aes-gcm template will take in a 128-bit key and 128bit blocks of ciphertext (likely parameterized by the number of blocks) and product the proof that the key decrypts this cipher text.