„Multi-Prover Interactive Proofs“

Suchergebnisse

3 Treffer

• Quantum Space, Ground Space Traversal, and How to Embed Multi-Prover Interactive Proofs into Unentanglement
  Gharibian, Sevag ; Rudolph, Dorian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hardness vs. (Very Little) Structure in Cryptography: A Multi-Prover Interactive Proofs Perspective
  Segev, Gil ; Shahaf, Ido 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Practical Relativistic Zero-Knowledge for NP
  Crépeau, Claude ; Massenet, Arnaud Y. ; Salvail, Louis ; Stinchcombe, Lucas Shigeru ; Yang, Nan 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik