Lattice-based functional commitments: fast verification and cryptanalysis
From MaRDI portal
Publication:6604929
Recommendations
- Functional commitments for all functions, with transparent setup and from SIS
- Succinct vector, polynomial, and functional commitments from lattices
- Succinct functional commitments for circuits from \(k\)-\textsf{Lin}
- Functional commitments for arbitrary circuits of bounded sizes
- Functional commitment schemes: from polynomial commitments to pairing-based accumulators from simple assumptions
Cites work
- scientific article; zbMATH DE number 1256724 (Why is no real title available?)
- Aggregatable subvector commitments for stateless cryptocurrencies
- Attribute-based encryption for circuits
- Boosting batch arguments and RAM delegation
- Candidate witness encryption from lattice techniques
- Computationally Sound Proofs
- Concise mercurial vector commitments and independent zero-knowledge sets with short proofs
- Constant-Size Commitments to Polynomials and Their Applications
- Constrained key-homomorphic PRFs from standard lattice assumptions. Or: how to secretly embed a circuit in your PRF
- Delegating RAM Computations
- Fully key-homomorphic encryption, arithmetic circuit ABE and compact garbled circuits
- Functional commitment schemes: from polynomial commitments to pairing-based accumulators from simple assumptions
- Functional commitments for all functions, with transparent setup and from SIS
- Homomorphic encryption from learning with errors: conceptually-simpler, asymptotically-faster, attribute-based
- How to delegate computations publicly
- Incrementally aggregatable vector commitments and applications to verifiable decentralized storage
- KVaC: key-value commitments for blockchains and beyond
- Lattice-based SNARKs: publicly verifiable, preprocessing, and recursively composable (extended abstract)
- Lattice-based succinct arguments from vanishing polynomials (extended abstract)
- Leveled fully homomorphic signatures from standard lattices
- Multi-authority ABE from lattices without random oracles
- Non-interactive delegation and batch NP verification from standard computational assumptions
- On the size of pairing-based non-interactive arguments
- Optimal broadcast encryption and CP-ABE from evasive lattice assumptions
- Predicate encryption for circuits from LWE
- Private constrained PRFs (and more) from LWE
- Quadratic span programs and succinct NIZKs without PCPs
- Separating succinct non-interactive arguments from all falsifiable assumptions
- Somewhere statistical soundness, post-quantum security, and SNARGs
- Streaming authenticated data structures
- Subvector commitments with application to succinct arguments
- Succinct arguments from multi-prover interactive proofs and their efficiency benefits
- Succinct functional commitment for a large class of arithmetic circuits
- Succinct non-interactive arguments via linear interactive proofs
- Succinct vector, polynomial, and functional commitments from lattices
- Trapdoors for lattices: simpler, tighter, faster, smaller
- Vector and functional commitments from lattices
- Vector commitments and their applications
- Witness encryption and null-iO from evasive LWE
- \textsf{Orbweaver}: succinct linear functional commitments from lattices
Cited in
(9)- Functional commitments for arbitrary circuits of bounded sizes
- Fully-succinct multi-key homomorphic signatures from standard assumptions
- Aggregating Falcon signatures with LaBRADOR
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency
- Succinct functional commitments for circuits from \(k\)-\textsf{Lin}
- SLAP: succinct lattice-based polynomial commitments from standard assumptions
- Succinct vector, polynomial, and functional commitments from lattices
- Concretely efficient lattice-based polynomial commitment from standard assumptions
- Greyhound: fast polynomial commitments from lattices
This page was built for publication: Lattice-based functional commitments: fast verification and cryptanalysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6604929)
