[Blocked] Prove file attachment validity

[Divide-By-0]

Inside the body are the attachments. Create a circuit that handles the encoding/decoding of that section, and proves validity of some sub-part of that attachment. Note that this is probably blocked on making the circuits way faster via lookups or faster proving systems, because currently SHA is unsustainable at that scale.