Come viene generato / derivato PRK e cosa viene inviato ai server Apple se scelgo "utilizzare questo account iCloud per sbloccare e reimpostare la password ..." durante l'installazione di FileVault? Non sono riuscito a trovarlo nel white paper tecnico di FileVault. È solo un altro DEK (Data Encryption Key)?