Pages that link to "Item:Q6132415"
From MaRDI portal
The following pages link to DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF (Q6132415):
Displaying 5 items.
- Compressing proofs of \(k\)-out-of-\(n\) partial knowledge (Q2139628) (← links)
- Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions (Q2170057) (← links)
- Acyclicity programming for sigma-protocols (Q2695643) (← links)
- CDS composition of multi-round protocols (Q6653053) (← links)
- Compact proofs of partial knowledge for overlapping CNF formulae (Q6655872) (← links)