The cryptography that makes it work — fully homomorphic encryption and zero-knowledge proofs.
Computation on ciphertext, from first principles.
Prove a computation without revealing its inputs.
What void defends against, and what it doesn't.
Independent reviews of the cipher, in full.