Computation graphs

[WORK IN PROGRESS]

How user programs are represented as a graph of ciphertext operations — nodes for ops, edges for ciphertext flow.