Pages that link to "Item:Q2139628"
From MaRDI portal
The following pages link to Compressing proofs of \(k\)-out-of-\(n\) partial knowledge (Q2139628):
Displaying 13 items.
- Compact zero-knowledge proofs of small Hamming weight (Q1753865) (← links)
- Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics (Q2102078) (← links)
- A compressed \(\varSigma \)-protocol theory for lattices (Q2128575) (← links)
- Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions (Q2170057) (← links)
- Non-interactive composition of sigma-protocols via Share-then-Hash (Q2691604) (← links)
- Acyclicity programming for sigma-protocols (Q2695643) (← links)
- ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines (Q5087274) (← links)
- DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF (Q6132415) (← links)
- Parallel repetition of \((k_1,\dots ,k_{\mu }) \)-special-sound multi-round interactive proofs (Q6155262) (← links)
- CDS composition of multi-round protocols (Q6653053) (← links)
- On soundness notions for interactive oracle proofs (Q6655868) (← links)
- Compact proofs of partial knowledge for overlapping CNF formulae (Q6655872) (← links)
- Hybrid zero-knowledge from garbled circuits and circuit-based composition of \(\Sigma \)-protocols (Q6660381) (← links)