Publicly verifiable zero-knowledge and post-quantum signatures from VOLE-in-the-head

DOI10.1007/978-3-031-38554-4_19OpenAlexW4385648276MaRDI QIDQ6190150

Lawrence Roy, Peter Scholl, Carsten Baum, Emmanuela Orsini, Cyprien Delpech De Saint Guilhem, Michael Klooß, Lennart Braun

Publication date: 6 February 2024

Published in: Advances in Cryptology – CRYPTO 2023 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-38554-4_19

zbMATH Keywords

public-coin protocolsvector oblivious linear evaluationVOLE-in-the-head technique

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62) Quantum cryptography (quantum-theoretic aspects) (81P94)

Cites Work

• BBQ: using AES in Picnic signatures
• Tutorials on the foundations of cryptography. Dedicated to Oded Goldreich
• Banquet: short and fast signatures from AES
• TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
• Linear-time arguments with sublinear verification from tensor codes
• \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
• Succinct arguments in the quantum random oracle model
• Efficient UC commitment extension with homomorphism for free (and applications)
• Constrained Pseudorandom Functions and Their Applications
• Security Proofs for Signature Schemes
• Minimalism in Cryptography: The Even-Mansour Scheme Revisited
• Ciphers for MPC and FHE
• Actively Secure 1-out-of-N OT Extension with Application to Private Set Intersection
• Interactive Oracle Proofs
• Founding Cryptography on Oblivious Transfer – Efficiently
• The knowledge complexity of interactive proof-systems
• Quadratic Span Programs and Succinct NIZKs without PCPs
• Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography
• Fiat-Shamir: from practice to theory
• Computational Integrity with a Public Random String from Quasi-Linear PCPs
• Ligero: lightweight sublinear arguments without a trusted setup
• The return of the SDitH
• Syndrome decoding in the head: shorter signatures from zero-knowledge proofs
• SoftSpokenOT: quieter OT extension from small-field silent VOLE in the Minicrypt model
• Orion: zero knowledge proof with linear prover time
• Moz\(\mathbb{Z}_{2^k}\)arella: efficient vector-OLE and zero-knowledge proofs over \(\mathbb{Z}_{2^k}\)
• Fiat-Shamir transformation of multi-round interactive proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Publicly verifiable zero-knowledge and post-quantum signatures from VOLE-in-the-head