Stretching Groth-Sahai: NIZK proofs of partial satisfiability

DOI10.1007/978-3-662-46497-7_10zbMATH Open1334.94094OpenAlexW64287730MaRDI QIDQ5261679FDOQ5261679

Carla Ràfols

Publication date: 6 July 2015

Published in: Theory of Cryptography (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46497-7_10

Recommendations

• Groth–Sahai Proofs Revisited
• Fine-Tuning Groth-Sahai Proofs
• Batch Groth-Sahai
• Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
• Non-interactive Zaps and New Techniques for NIZK

zbMATH Keywords

non-interactive zero knowledge proofspartial satisfiabilitytwo-message and one-message witness-indistinguishable proofs (ZAPs and NIWIs)

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Cited In (22)

• NIWI and new notions of extraction for algebraic languages
• Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
• A simple and efficient framework of proof systems for NP
• Updatable NIZKs from non-interactive zaps
• Short, invertible elements in partially splitting cyclotomic rings and applications to lattice-based zero-knowledge proofs
• Logarithmic-size (linkable) threshold ring signatures in the plain model
• Unconditionally secure NIZK in the fine-grained setting
• Unbounded inner product functional encryption from bilinear maps
• Fine-grained verifier NIZK and its applications
• Signatures of knowledge for Boolean circuits under standard assumptions
• Efficient NIZKs for algebraic sets
• On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness
• Non-interactive composition of sigma-protocols via Share-then-Hash
• Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence Classes
• Fine-Tuning Groth-Sahai Proofs
• Practical traceable receipt-free encryption
• Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group
• Batch Groth-Sahai
• Signatures of Knowledge for Boolean Circuits Under Standard Assumptions
• QA-NIZK Arguments of Same Opening for Bilateral Commitments
• Non-interactive zero-knowledge proofs with fine-grained security
• DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF

This page was built for publication: Stretching Groth-Sahai: NIZK proofs of partial satisfiability

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