Speed-stacking: fast sublinear zero-knowledge proofs for disjunctions (Q6061364): Difference between revisions

@@ Property / cites work @@
+-out-of-n Signatures from a Variety of Keys
@@ Property / cites work: 1-out-of-n Signatures from a Variety of Keys / rank @@
+Normal rank
@@ Property / cites work @@
+KVaC: key-value commitments for blockchains and beyond
+Normal rank
@@ Property / cites work @@
+Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics
+Normal rank
@@ Property / cites work @@
+Compressing proofs of \(k\)-out-of-\(n\) partial knowledge
+Normal rank
@@ Property / cites work @@
+A compressed \(\varSigma \)-protocol theory for lattices
+Normal rank
@@ Property / cites work @@
+\textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
+Normal rank
@@ Property / cites work @@
+Aurora: transparent succinct arguments for R1CS
@@ Property / cites work: Aurora: transparent succinct arguments for R1CS / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Oracle Proofs
@@ Property / cites work: Interactive Oracle Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable Zero Knowledge via Cycles of Elliptic Curves
+Normal rank
@@ Property / cites work @@
+Q5875697
@@ Property / cites work: Q5875697 / rank @@
+Normal rank
@@ Property / cites work @@
+Public-coin zero-knowledge arguments with (almost) minimal time and space overheads
+Normal rank
@@ Property / cites work @@
+Time- and space-efficient arguments from groups of unknown order
+Normal rank
@@ Property / cites work @@
+Batching techniques for accumulators with applications to IOPs and stateless blockchains
+Normal rank
@@ Property / cites work @@
+Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
+Normal rank
@@ Property / cites work @@
+Fast modular transforms
@@ Property / cites work: Fast modular transforms / rank @@
+Normal rank
@@ Property / cites work @@
+\textsc{Fractal}: post-quantum and transparent recursive proofs from holography
+Normal rank
@@ Property / cites work @@
+Online/Offline OR Composition of Sigma Protocols
@@ Property / cites work: Online/Offline OR Composition of Sigma Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940695
@@ Property / cites work: Q4940695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434875
@@ Property / cites work: Q4434875 / rank @@
+Normal rank
@@ Property / cites work @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
+Normal rank
@@ Property / cites work @@
+Secure multiparty computation with free branching
@@ Property / cites work: Secure multiparty computation with free branching / rank @@
+Normal rank
@@ Property / cites work @@
+The knowledge complexity of interactive proof-systems
+Normal rank
@@ Property / cites work @@
+On the Size of Pairing-Based Non-interactive Arguments
+Normal rank
@@ Property / cites work @@
+One-Out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin
+Normal rank
@@ Property / cites work @@
+Stacked garbling. Garbled circuit proportional to longest execution path
+Normal rank
@@ Property / cites work @@
+Stacked garbling for disjunctive zero-knowledge proofs
+Normal rank
@@ Property / cites work @@
+\textsf{LogStack}: stacked garbling with \(O(b \log b)\) computation
+Normal rank
@@ Property / cites work @@
+A new approach to efficient non-malleable zero-knowledge
+Normal rank
@@ Property / cites work @@
+Free IF: how to omit inactive branches and implement \(\mathcal{S}\)-universal garbled circuit (almost) for free
+Normal rank
@@ Property / cites work @@
+Pushing the limits of Valiant's universal circuits: simpler, tighter and more compact
+Normal rank
@@ Property / cites work @@
+Constant-round interactive proofs for delegating computation
+Normal rank
@@ Property / cites work @@
+Q3210171
@@ Property / cites work: Q3210171 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal circuits (Preliminary Report)
@@ Property / cites work: Universal circuits (Preliminary Report) / rank @@
+Normal rank