Zero-knowledge protocols for the subset sum problem from MPC-in-the-head with rejection
From MaRDI portal
Publication:6132417
Recommendations
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
- On Efficient Zero-Knowledge PCPs
- scientific article; zbMATH DE number 1107670
- Zero-knowledge proofs from secure multiparty computation
- Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments
- Zero knowledge protocols from succinct constraint detection
- scientific article; zbMATH DE number 5485433
- Round-optimal zero-knowledge proofs of knowledge for NP
- scientific article; zbMATH DE number 1759795
- Promise zero knowledge and its applications to round optimal MPC
Cites work
- scientific article; zbMATH DE number 4195163 (Why is no real title available?)
- scientific article; zbMATH DE number 4213909 (Why is no real title available?)
- scientific article; zbMATH DE number 2081057 (Why is no real title available?)
- A $T = O(2^{n/2} )$, $S = O(2^{n/4} )$ Algorithm for Certain NP-Complete Problems
- A new identification scheme based on syndrome decoding
- Algebraic techniques for short(er) exact lattice-based zero-knowledge proofs
- Aurora: transparent succinct arguments for R1CS
- Computing Partitions with Applications to the Knapsack Problem
- Computing inverses over a shared secret modulus
- Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
- Efficient cryptographic schemes provably as secure as subset sum
- Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
- Fiat-Shamir with aborts: applications to lattice and factoring-based signatures
- Hiding information and signatures in trapdoor knapsacks
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- How to prove knowledge of small secrets
- Improved classical and quantum algorithms for subset-sum
- Improved low-density subset sum algorithms
- Improved zero-knowledge proofs of knowledge for the ISIS problem, and applications
- Inferring sequences produced by nonlinear pseudorandom number generators using Coppersmith's methods
- LegRoast: efficient post-quantum signatures from the Legendre PRF
- New generic algorithms for hard knapsacks
- New results on Modular Inversion Hidden Number problem and inversive congruential generator
- On lattices, learning with errors, random linear codes, and cryptography
- On the modular inversion hidden number problem
- On the size of pairing-based non-interactive arguments
- Practical exact proofs from lattices: new techniques to exploit fully-splitting rings
- Public-Key Cryptographic Primitives Provably as Secure as Subset Sum
- Reducibility among combinatorial problems
- Scalable zero knowledge with no trusted setup
- Shorter lattice-based zero-knowledge proofs via one-time commitments
- Sigma protocols for MQ, PKP and SIS, and fishy signature schemes
- Syndrome decoding in the head: shorter signatures from zero-knowledge proofs
- TFHE: fast fully homomorphic encryption over the torus
- The Knowledge Complexity of Interactive Proof Systems
- Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems
- Zero-knowledge proofs from secure multiparty computation
- Zero-knowledge protocols for the subset sum problem from MPC-in-the-head with rejection
Cited in
(11)- PERK: compact signature scheme based on a new variant of the permuted kernel problem
- Promise zero knowledge and its applications to round optimal MPC
- Practical and efficient FHE-based MPC
- Threshold linear secret sharing to the rescue of MPC-in-the-head
- ZK-for-Z2K: MPC-in-the-head zero-knowledge proofs for \(\mathbb{Z}_{2^k}\)
- Zero-knowledge protocols for the subset sum problem from MPC-in-the-head with rejection
- Efficient isogeny proofs using generic techniques
- Vector commitments with proofs of smallness: short range proofs and more
- A short note on Merlin-Arthur protocols for subset sum
- Commitments with efficient zero-knowledge arguments from subset sum problems
- Efficient zero-knowledge arguments and digital signatures \textit{via} sharing conversion \textit{in the head}
This page was built for publication: Zero-knowledge protocols for the subset sum problem from MPC-in-the-head with rejection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132417)
