Account logic in ATProto using Trusted Execution Environments