Zero-knowledge proofs for committed symmetric Boolean functions

DOI10.1007/978-3-030-81293-5_18zbMath1485.94106OpenAlexW3180723629MaRDI QIDQ2118554

Huaxiong Wang, Duong Hieu Phan, Hanh Tang, San Ling, Khoa Nguyen

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81293-5_18

zbMATH Keywords

symmetric Boolean functionslearning-parity-with-noise assumption

Mathematics Subject Classification ID

Cryptography (94A60) Quantum cryptography (quantum-theoretic aspects) (81P94) Boolean functions (94D10)

Uses Software

• Ligero
• ZKBoo
• Libra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A code-based group signature scheme
• Using fully homomorphic hybrid encryption to minimize non-interative zero-knowledge proofs
• Minimum disclosure proofs of knowledge
• A code-based linkable ring signature scheme
• Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
• Group encryption: full dynamicity, message filtering and code-based instantiation
• Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics
• Two-round oblivious transfer from CDH or LPN
• New code-based privacy-preserving cryptographic constructions
• Libra: succinct zero-knowledge proofs with optimal prover computation
• Valiant’s Universal Circuit is Practical
• Zero-Knowledge Protocols for the McEliece Encryption
• Oblivious Transfer with Hidden Access Control from Attribute-Based Encryption
• Signature Schemes with Efficient Protocols and Dynamic Group Signatures from Lattice Assumptions
• A new paradigm for public key identification
• A New Efficient Threshold Ring Signature Scheme Based on Coding Theory
• Concurrently Secure Identification Schemes Based on the Worst-Case Hardness of Lattice Problems
• A Practical Universal Circuit Construction and Secure Evaluation of Private Functions
• Provably Secure Code-Based Threshold Ring Signatures
• Universal circuits (Preliminary Report)
• The knowledge complexity of interactive proof-systems
• Applied Cryptography and Network Security
• Commitments and Efficient Zero-Knowledge Proofs from Learning Parity with Noise
• Improved Zero-Knowledge Proofs of Knowledge for the ISIS Problem, and Applications
• Provably Secure Group Signature Schemes From Code-Based Assumptions
• A New Efficient Threshold Ring Signature Scheme Based on Coding Theory
• Policy-Based Signatures
• Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products
• Universally Composable Oblivious Transfer Based on a Variant of LPN
• On the Size of Pairing-Based Non-interactive Arguments
• Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
• Adaptive oblivious transfer with access control from lattice assumptions

This page was built for publication: Zero-knowledge proofs for committed symmetric Boolean functions