Q4-24: stateful vm with AES ciphertexts. Using the current VM we add stateful capability to prove out the idea and allow early adopting customers to try out the tech. Stretch: verifiable computation.