The underlying idea

• Start with ZK/WI protocol that has some ìgoodî properties.

• Modify the prover P as follows:

  • Use the ìfixedî random input as a seed k to a pseudorandom function fk .
  • Run the original P, where the randomness is computed by applying fk to the communication (or critical parts of it).

We show that this simple idea is very powerful.

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique