NIWI and new notions of extraction for algebraic languages

DOI10.1007/978-3-031-14791-3_30OpenAlexW4294698948MaRDI QIDQ6134854

Roberto Parisella, Chaya Ganesh, Hamidreza Khoshakhlagh

Publication date: 25 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-14791-3_30

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62) Theory of computing (68Qxx)

Related Items (2)

NIWI and new notions of extraction for algebraic languages ⋮ On the impossibility of algebraic NIZK in pairing-free groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zero-knowledge proofs of identity
• A subversion-resistant SNARK
• The algebraic group model and its applications
• Marlin: preprocessing zkSNARKs with universal and updatable SRS
• Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
• On instantiating the algebraic group model from falsifiable assumptions
• Algebraic distinguishers: from discrete logarithms to decisional Uber assumptions
• Structure-preserving and re-randomizable RCCA-secure public key encryption and its applications
• Quasi-Adaptive NIZK for Linear Subspaces Revisited
• Practical Adaptive Oblivious Transfer from Simple Assumptions
• Revocation for Delegatable Anonymous Credentials
• Block-Wise P-Signatures and Non-interactive Anonymous Credentials with Efficient Attributes
• Universally Composable Adaptive Priced Oblivious Transfer
• The knowledge complexity of interactive proof-systems
• Unprovable Security of Perfect NIZK and Non-interactive Non-malleable Commitments
• On QA-NIZK in the BPK Model
• Short Accountable Ring Signatures Based on DDH
• Stretching Groth-Sahai: NIZK Proofs of Partial Satisfiability
• New Techniques for Noninteractive Zero-Knowledge
• Separating succinct non-interactive arguments from all falsifiable assumptions
• Advances in Cryptology - CRYPTO 2003
• Advances in Cryptology - CRYPTO 2003
• Zaps and Their Applications
• P-signatures and Noninteractive Anonymous Credentials
• Efficient Non-interactive Proof Systems for Bilinear Groups
• NIWI and new notions of extraction for algebraic languages

This page was built for publication: NIWI and new notions of extraction for algebraic languages