Accumulators in (and beyond) generic groups: Non-trivial batch verification requires interaction

Keyphrases

• Batch Verification 100%
• Non-interactive 40%
• Group Operations 40%
• Impossibility Results 20%
• Tight Lower Bound 20%
• Asymptotic Performance 20%
• Idealized Models 20%
• Membership Proof 20%
• Multilinear 20%
• Generic Group Model 20%
• Fundamental Challenges 20%
• Security Parameters 20%
• Number of Groups 20%
• Fiat-Shamir Heuristic 20%
• Unknown Order 20%
• Extended Model 20%
• Interactive Procedure 20%
• Jacobi Symbol 20%
• Non-generics 20%
• Least Significant Bit 20%
• Verification Protocol 20%
• Bilinear Accumulators 20%
• RSA Accumulator 20%

Computer Science

• Group Operation 100%
• Security Parameter 50%
• Protocol Verification 50%