NIWI and new notions of extraction for algebraic languages

DOI10.1007/978-3-031-14791-3_30MaRDI QIDQ6134854zbMATH OpenOpenAlexFDO

Authors Chaya Ganesh, Hamidreza Khoshakhlagh, Roberto Parisella

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

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

Cites work

• A subversion-resistant SNARK
• Advances in Cryptology - CRYPTO 2003
• Advances in Cryptology - CRYPTO 2003
• Algebraic distinguishers: from discrete logarithms to decisional Uber assumptions
• Block-wise P-signatures and non-interactive anonymous credentials with efficient attributes
• Efficient Non-interactive Proof Systems for Bilinear Groups
• scientific article; zbMATH DE number 1722673 (Why is no real title available?)
• scientific article; zbMATH DE number 1088250 (Why is no real title available?)
• scientific article; zbMATH DE number 2009971 (Why is no real title available?)
• scientific article; zbMATH DE number 2086698 (Why is no real title available?)
• scientific article; zbMATH DE number 4185024 (Why is no real title available?)
• Marlin: preprocessing zkSNARKs with universal and updatable SRS
• New techniques for noninteractive zero-knowledge
• NIWI and new notions of extraction for algebraic languages
• On instantiating the algebraic group model from falsifiable assumptions
• On QA-NIZK in the BPK model
• P-signatures and Noninteractive Anonymous Credentials
• Practical adaptive oblivious transfer from simple assumptions
• Quasi-adaptive NIZK for linear subspaces revisited
• Revocation for delegatable anonymous credentials
• Separating succinct non-interactive arguments from all falsifiable assumptions
• Short accountable ring signatures based on DDH
• Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
• Stretching Groth-Sahai: NIZK proofs of partial satisfiability
• Structure-preserving and re-randomizable RCCA-secure public key encryption and its applications
• The algebraic group model and its applications
• The knowledge complexity of interactive proof-systems
• Universally Composable Adaptive Priced Oblivious Transfer
• Unprovable security of perfect NIZK and non-interactive non-malleable commitments
• Zaps and Their Applications
• Zero-knowledge proofs of identity

Cited in

(6)

• NIWI and new notions of extraction for algebraic languages
• On the impossibility of algebraic NIZK in pairing-free groups
• On black-box knowledge-sound commit-and-prove SNARKs
• Efficient succinct zero-knowledge arguments in the CL framework
• On knowledge-soundness of Plonk in ROM from falsifiable assumptions
• Special soundness and binding properties: a framework for tightly secure zk-SNARKs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134854)