### Abstract

In group signature schemes, signers prove verifiers, their validity of signing through an interactive protocol in zero-knowledge. In lattice-based group signatures with Verifier-local revocation (VLR), group members have both secret signing key and revocation token. Thus, the members in VLR schemes should show the verifiers, that he has a valid secret signing key and his token is not in the revoked members list. These conditions are satisfied in the underlying interactive protocol provided in the first lattice-based group signature scheme with VLR suggested by Langlois et al. in PKC 2014. In their scheme, member revocation token is a part of the secret signing key and has an implicit tracing algorithm to trace signers. For a scheme which generates member revocation token separately, the suggested interactive protocol by Langlois et al. is not suitable. Moreover, if the group manager wants to use an explicit tracing algorithm to trace signers instead the implicit tracing algorithm given in VLR schemes, then the signer should encrypt his index at the time of signing, and the interactive protocol should show signer’s index is correctly encrypted. This work presents a combined interactive protocol that signer can use to prove his validity of signing, his separately generated revocation token is not in the revocation list, and his index is correctly encrypted required for such kind of schemes.

Original language | English |
---|---|

Title of host publication | Lecture Notes on Data Engineering and Communications Technologies |

Publisher | Springer |

Pages | 772-782 |

Number of pages | 11 |

DOIs | |

Publication status | Published - 2019 |

### Publication series

Name | Lecture Notes on Data Engineering and Communications Technologies |
---|---|

Volume | 22 |

ISSN (Print) | 2367-4512 |

ISSN (Electronic) | 2367-4520 |

### Keywords

- Interactive protocol
- Lattice-based group signatures
- Verifier-local revocation
- Zero-knowledge proof

### ASJC Scopus subject areas

- Media Technology
- Electrical and Electronic Engineering
- Computer Science Applications
- Computer Networks and Communications
- Information Systems

## Fingerprint Dive into the research topics of 'Zero-Knowledge Proof for Lattice-Based Group Signature Schemes with Verifier-Local Revocation'. Together they form a unique fingerprint.

## Cite this

*Lecture Notes on Data Engineering and Communications Technologies*(pp. 772-782). (Lecture Notes on Data Engineering and Communications Technologies; Vol. 22). Springer. https://doi.org/10.1007/978-3-319-98530-5_68