Functional commitments for all functions, with transparent setup and from SIS (Q6063522): Difference between revisions

@@ Property / cites work @@
+Lattice-based SNARKs: publicly verifiable, preprocessing, and recursively composable (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q5465355
@@ Property / cites work: Q5465355 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Bootstrapping with Polynomial Error
@@ Property / cites work: Faster Bootstrapping with Polynomial Error / rank @@
+Normal rank
@@ Property / cites work @@
+KVaC: key-value commitments for blockchains and beyond
+Normal rank
@@ Property / cites work @@
+Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\)
+Normal rank
@@ Property / cites work @@
+Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
+Normal rank
@@ Property / cites work @@
+Batching techniques for accumulators with applications to IOPs and stateless blockchains
+Normal rank
@@ Property / cites work @@
+Succinct Arguments from Multi-prover Interactive Proofs and Their Efficiency Benefits
+Normal rank
@@ Property / cites work @@
+\textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
+Normal rank
@@ Property / cites work @@
+Q4934724
@@ Property / cites work: Q4934724 / rank @@
+Normal rank
@@ Property / cites work @@
+Transparent SNARKs from DARK compilers
@@ Property / cites work: Transparent SNARKs from DARK compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE and Compact Garbled Circuits
+Normal rank
@@ Property / cites work @@
+Verifiable Delegation of Computation over Large Datasets
+Normal rank
@@ Property / cites work @@
+Algebraic techniques for short(er) exact lattice-based zero-knowledge proofs
+Normal rank
@@ Property / cites work @@
+FHE Circuit Privacy Almost for Free
@@ Property / cites work: FHE Circuit Privacy Almost for Free / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice-based FHE as secure as PKE
@@ Property / cites work: Lattice-based FHE as secure as PKE / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-knowledge for homomorphic key-value commitments with applications to privacy-preserving ledgers
+Normal rank
@@ Property / cites work @@
+Vector Commitments and Their Applications
@@ Property / cites work: Vector Commitments and Their Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Additive-homomorphic functional commitments and applications to homomorphic signatures
+Normal rank
@@ Property / cites work @@
+A Depth-Universal Circuit
@@ Property / cites work: A Depth-Universal Circuit / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409110
@@ Property / cites work: Q4409110 / rank @@
+Normal rank
@@ Property / cites work @@
+How To Prove Yourself: Practical Solutions to Identification and Signature Problems
+Normal rank
@@ Property / cites work @@
+Trapdoors for hard lattices and new cryptographic constructions
+Normal rank
@@ Property / cites work @@
+Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based
+Normal rank
@@ Property / cites work @@
+Predicate Encryption for Circuits from LWE
@@ Property / cites work: Predicate Encryption for Circuits from LWE / rank @@
+Normal rank
@@ Property / cites work @@
+Leveled Fully Homomorphic Signatures from Standard Lattices
+Normal rank
@@ Property / cites work @@
+Separating succinct non-interactive arguments from all falsifiable assumptions
+Normal rank
@@ Property / cites work @@
+Constant-Size Commitments to Polynomials and Their Applications
+Normal rank
@@ Property / cites work @@
+Dory: efficient, transparent arguments for generalised inner products and polynomial commitments
+Normal rank
@@ Property / cites work @@
+Updatable Zero-Knowledge Databases
@@ Property / cites work: Updatable Zero-Knowledge Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Compact Knapsacks Are Collision Resistant
+Normal rank
@@ Property / cites work @@
+Lattice-based zero-knowledge proofs and applications: shorter, simpler, and more general
+Normal rank
@@ Property / cites work @@
+Succinct functional commitment for a large class of arithmetic circuits
+Normal rank
@@ Property / cites work @@
+Q4598166
@@ Property / cites work: Q4598166 / rank @@
+Normal rank
@@ Property / cites work @@
+Concise Mercurial Vector Commitments and Independent Zero-Knowledge Sets with Short Proofs
+Normal rank
@@ Property / cites work @@
+Generalized compact knapsacks, cyclic lattices, and efficient one-way functions
+Normal rank
@@ Property / cites work @@
+Trapdoors for Lattices: Simpler, Tighter, Faster, Smaller
+Normal rank
@@ Property / cites work @@
+Worst‐Case to Average‐Case Reductions Based on Gaussian Measures
+Normal rank
@@ Property / cites work @@
+Vector and functional commitments from lattices
@@ Property / cites work: Vector and functional commitments from lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Noninteractive zero knowledge for NP from (Plain) Learning With Errors
+Normal rank
@@ Property / cites work @@
+Signatures of Correct Computation
@@ Property / cites work: Signatures of Correct Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Streaming Authenticated Data Structures
@@ Property / cites work: Streaming Authenticated Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+On lattices, learning with errors, random linear codes, and cryptography
+Normal rank
@@ Property / cites work @@
+Q4536659
@@ Property / cites work: Q4536659 / rank @@
+Normal rank