Combined interactive protocol for lattice-based group signature schemes with verifier-local revocation

In group signature schemes, signers are required to prove their validity of representing the group while being anonymous to the verifiers and traceable to the authority. On the other hand, group signature schemes with verifier-local revocation require signers to prove their revocation token is not in the revocation list. This paper presents a combined interactive protocol that supports group signature schemes with explicit tracing mechanism and verifier-local revocation, where keys and revocation tokens are generated separately to achieve stronger security. This new protocol enables signers to prove that their signing is valid, their revocation tokens are not in the revocation list, and their index is correctly encrypted.