The following pages link to (Q2754165):
Displaying 13 items.
- Pipelined algorithms to detect cheating in long-term grid computations (Q959812) (← links)
- The hunting of the SNARK (Q1698394) (← links)
- Succinct non-interactive arguments via linear interactive proofs (Q2136170) (← links)
- Single-server private information retrieval with sublinear amortized time (Q2170035) (← links)
- Rational Sumchecks (Q2799100) (← links)
- Spooky Encryption and Its Applications (Q2829944) (← links)
- Spooky Interaction and Its Discontents: Compilers for Succinct Two-Message Argument Systems (Q2829945) (← links)
- Succinct NP Proofs from an Extractability Assumption (Q3507432) (← links)
- Multikey Fully Homomorphic Encryption and Applications (Q4599146) (← links)
- (Q5121905) (← links)
- No-signaling linear PCPs (Q5915596) (← links)
- No-signaling linear PCPs (Q5925695) (← links)
- Locally verifiable distributed SNARGs (Q6581783) (← links)
