public class Simulator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.math.BigInteger |
a
Commitment
|
private int |
c
Challenge des Verifizierers
|
private int |
c_strich
geratene Challenge
|
boolean |
complete
Gibt an, ob Simulation abgeschlossen ist
|
private java.math.BigInteger |
g |
private GUIObserver |
gui |
private java.math.BigInteger |
inv_x
multiplikatives Inverses von x
|
private int |
k
Laenge k des zu simulierenden Transkriptes
|
private Verifier |
myVerifier
Verifizierer
|
private int |
n
Laenge des bereits simulierten Transkriptes
|
private java.math.BigInteger |
p
Systemparameter
|
private java.math.BigInteger |
q |
private java.util.Random |
rand
Zufallszahlengenerator
|
private java.math.BigInteger |
x
öffentlicher Schlüssel des zu simulierenden Beweisers
|
private java.math.BigInteger |
z
Response
|
Constructor and Description |
---|
Simulator(GroupParam group,
java.math.BigInteger h,
int k) |
Modifier and Type | Method and Description |
---|---|
void |
addO(GUIObserver o)
Legt GUI-Observer zum Darstellen gesendeter Nachrichten fest.
|
java.lang.String |
getView()
Gibt Trankript der Beweisrunde zurück.
|
void |
setVerifier(Verifier verifier)
Legt Verifizierer für Black-Box-Simulation fest.
|
boolean |
simulate()
Die Methode implementiert die Simulation EINER Beweisrunde für gegebenes
x.
|
private java.math.BigInteger p
private java.math.BigInteger q
private java.math.BigInteger g
private java.math.BigInteger x
private java.math.BigInteger inv_x
private java.math.BigInteger a
private int c_strich
private int c
private java.math.BigInteger z
private Verifier myVerifier
private java.util.Random rand
private int k
private int n
public boolean complete
private GUIObserver gui
public Simulator(GroupParam group, java.math.BigInteger h, int k)
public void addO(GUIObserver o)
o
- GUIpublic void setVerifier(Verifier verifier)
verifier
- Verifiziererpublic java.lang.String getView()
public boolean simulate()