Încerc să-mi dau seama cum să construiesc un extractor pentru o dovadă neinteractivă bazată pe zăbrele. Mai exact, sunt curios despre transformarea Fiat-Shamir aplicată unui protocol interactiv cu cinci mișcări. Imi puteti explica va rog ce strategie trebuie folosita? Sau distribuiți un link către un articol cu exemple (referințele la extractoare pentru protocolul non-interactiv cu trei mișcări sunt binevenite, de asemenea). Mulțumesc!
Actualizare: dacă avem un protocol interactiv bazat pe zăbrele cu 5 mișcări, putem face 2 tipuri de derulări înapoi? Să spunem că mai întâi derulăm protocolul pentru a obține dovezi X cu prima și a doua provocare diferite, apoi derulăm înapoi chiar înainte de a doua provocare pentru a obține dovezi Y cu aceeași primă și a doua provocare diferită. Are sens în setările bazate pe zăbrele? Există vreun articol care să o facă?
Actualizare 2: Voi fi bucuros să primesc un link către orice articol care explică un extractor pentru un caz neinteractiv (FS, protocol sigma cu 3 sau 5 runde) sau unul interactiv cu 5 runde. În cea mai mare parte, vreau doar să înțeleg cum afectează avorturile strategia de extracție, în special pentru protocoalele asemănătoare sigma cu 5 treceri.
