Compact proofs of partial knowledge for overlapping CNF formulae
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 708820 (Why is no real title available?)
- scientific article; zbMATH DE number 1162684 (Why is no real title available?)
- scientific article; zbMATH DE number 1406779 (Why is no real title available?)
- 1-out-of-n Signatures from a Variety of Keys
- Acyclicity programming for sigma-protocols
- Aurora: transparent succinct arguments for R1CS
- Compressing proofs of \(k\)-out-of-\(n\) partial knowledge
- DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF
- Designated verifier proofs and their applications
- Efficient proofs of knowledge for threshold relations
- Fully secure attribute-based encryption for t-CNF from LWE
- Garbling, stacked and staggered. Faster \(k\)-out-of-\(n\) garbled function evaluation
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Improved OR-composition of sigma-protocols
- Non-interactive composition of sigma-protocols via Share-then-Hash
- On converting CNF to DNF
- On the size of pairing-based non-interactive arguments
- One-out-of-many proofs: or how to leak a secret and spend a coin
- Online/offline OR composition of sigma protocols
- Speed-stacking: fast sublinear zero-knowledge proofs for disjunctions
- Stacked garbling for disjunctive zero-knowledge proofs
- Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
- The knowledge complexity of interactive proof-systems
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
This page was built for publication: Compact proofs of partial knowledge for overlapping CNF formulae
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6655872)
