refactor; rename alpha to prop

src/user.py

@@ -1,7 +1,7 @@
 from dataclasses import dataclass, field
 from src.models import EncipheredNKode
 from src.customer_cipher import CustomerCipher
-from src.user_cipher_keys import UserCipher
+from src.user_cipher import UserCipher
 from src.user_keypad import UserKeypad
 from src.utils import xor_lists
 
@@ -17,7 +17,7 @@ class User:
     def renew_keys(self, sets_xor: list[int], attrs_xor: list[int]):
         self.renew = True
         self.user_keys.set_key = xor_lists(self.user_keys.set_key, sets_xor)
-        self.user_keys.alpha_key = xor_lists(self.user_keys.alpha_key, attrs_xor)
+        self.user_keys.prop_key = xor_lists(self.user_keys.prop_key, attrs_xor)
 
     def refresh_passcode(self, passcode_attr_idx: list[int], customer_attributes: CustomerCipher):
         self.user_keys = UserCipher.create(