direncryptor: initial state