Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation