The following pages link to (Q4249348):
Displaying 16 items.
- Algebraic (trapdoor) one-way functions: constructions and applications (Q500981) (← links)
- Non-interactive and non-malleable commitment scheme based on \(q\)-one way group homomorphisms (Q999185) (← links)
- Marlin: preprocessing zkSNARKs with universal and updatable SRS (Q2055641) (← links)
- Spartan: efficient and general-purpose zkSNARKs without trusted setup (Q2104239) (← links)
- Zero-knowledge proofs for committed symmetric Boolean functions (Q2118554) (← links)
- Compressing proofs of \(k\)-out-of-\(n\) partial knowledge (Q2139628) (← links)
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions (Q2139630) (← links)
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs (Q2163394) (← links)
- Non-interactive provably secure attestations for arbitrary RSA prime generation algorithms (Q2167716) (← links)
- Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions (Q2170057) (← links)
- Cryptographic reverse firewalls for interactive proof systems (Q2220883) (← links)
- Improved OR-Composition of Sigma-Protocols (Q2799092) (← links)
- How to deal with malicious users in privacy‐preserving distributed data mining (Q3497744) (← links)
- An accurate, scalable and verifiable protocol for federated differentially private averaging (Q6097108) (← links)
- Rogue-instance security for batch knowledge proofs (Q6581786) (← links)
- HyperNova: recursive arguments for customizable constraint systems (Q6660305) (← links)
