Witness-indistinguishable proof

Known as: Witness indistinguishable proof 
A witness-indistinguishable proof (WIP) is a variant of a zero-knowledge proof for languages in NP. In a typical zero-knowledge proof of a statement… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2018
024619952018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Verifiable random functions (VRFs) are pseudorandom functions where the owner of the seed, in addition to computing the function… (More)
Is this relevant?
2014
2014
We study Input Indistinguishable Computation (IIC), a security notion proposed by Micali, Pass, and Rosen in [14] and recently… (More)
Is this relevant?
2012
2012
We introduce the notion of complementary-witness-soundness for a witness indistinguishable proof system. We then present a new… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Non-interactive zero-knowledge proofs and non-interactive witness-indistinguishable proofs have played a significant role in the… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
2007
2007
A new approach and an idea for exploration are presented to the concurrent deniable authentication based on witness… (More)
Is this relevant?
2006
2006
Blum’s Hamiltonicity protocol. We used Protocol 1.2 to prove this. We let HAM denote the NP-complete language of all Hamiltonian… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Peer-to-peer grids that seek to harvest idle cycles available throughout the Internet are vulnerable to hosts that fraudulently… (More)
Is this relevant?
2005
2005
Two fluorescent compounds, scopoletin and carboxyfluorescein, have been used to label both tissue culture and leaf mesophyll… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
Is this relevant?
2004
2004
Systems that seek to harvest idle cycles available throughout the Internet are vulnerable to hosts that fraudently accept… (More)
  • table I
  • figure 3
  • figure 4
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present a comparative analysis of two sets of competing theories of financial anomalies: (1) “behavioral” theories relying on… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?