Pages that link to "Item:Q2055668"
From MaRDI portal
The following pages link to Stacked garbling for disjunctive zero-knowledge proofs (Q2055668):
Displaying 15 items.
- \textsf{LogStack}: stacked garbling with \(O(b \log b)\) computation (Q2056778) (← links)
- Masked triples. Amortizing multiplication triples across conditionals (Q2061960) (← links)
- Stacked garbling. Garbled circuit proportional to longest execution path (Q2096548) (← links)
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures (Q2117059) (← links)
- Threshold Schnorr with stateless deterministic signing from standard assumptions (Q2120070) (← links)
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions (Q2139630) (← links)
- Garbled circuits with sublinear evaluator (Q2169991) (← links)
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier (Q2170049) (← links)
- Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions (Q2170057) (← links)
- \texttt{MOTIF}: (almost) free branching in GMW. Via vector-scalar multiplication (Q2691578) (← links)
- Sok: vector OLE-based zero-knowledge protocols (Q6063131) (← links)
- Satisfiability modulo finite fields (Q6535532) (← links)
- CDS composition of multi-round protocols (Q6653053) (← links)
- More efficient zero-knowledge protocols over \(\mathbb{Z}_{2^k}\) via Galois rings (Q6653054) (← links)
- Compact proofs of partial knowledge for overlapping CNF formulae (Q6655872) (← links)
