An architecture for collaborative applications where data is encrypted and operations are cryptographically verifiable.