public class ZK_Beweis extends javax.swing.JFrame implements java.awt.event.WindowListener, java.awt.event.ActionListener, GUIObserver
javax.swing.JFrame.AccessibleJFrame
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
Modifier and Type | Field and Description |
---|---|
private java.awt.GridBagLayout |
GL |
private java.awt.GridBagLayout |
GL2 |
private java.awt.GridBagLayout |
GL3 |
private java.awt.GridBagLayout |
GL6 |
private static GroupParam |
group |
private int |
HEIGHT |
private javax.swing.JButton |
initial |
private javax.swing.JTextArea |
inP |
private javax.swing.JTextArea |
inV |
private javax.swing.JLabel |
label_g |
private javax.swing.JLabel |
label_p |
private javax.swing.JLabel |
label_proof |
private javax.swing.JLabel |
label_prover |
private javax.swing.JLabel |
label_public |
private javax.swing.JLabel |
label_q |
private javax.swing.JLabel |
label_transcript |
private javax.swing.JLabel |
label_verifier |
private java.awt.Container |
pane |
private javax.swing.JPanel |
panel_prot |
private javax.swing.JPanel |
panel1 |
private javax.swing.JPanel |
panel2 |
private javax.swing.JButton |
proof_complete |
private javax.swing.JButton |
proof_round |
private Prover |
prover |
private int |
round |
(package private) static long |
serialVersionUID |
private javax.swing.JButton |
simulate |
private javax.swing.JTextArea |
text_g |
private javax.swing.JTextArea |
text_p |
private javax.swing.JTextArea |
text_prover |
private javax.swing.JTextArea |
text_q |
private javax.swing.JTextArea |
text_transcript |
private javax.swing.JTextArea |
text_verifier |
private Verifier |
verifier |
private int |
WIDTH |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
Constructor and Description |
---|
ZK_Beweis() |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
int |
getHEIGHT() |
int |
getWIDTH() |
void |
initDialog() |
void |
initialise() |
static void |
main(java.lang.String[] args) |
void |
proofComplete() |
void |
proofRound() |
void |
show_P_commitment(java.math.BigInteger s,
java.math.BigInteger a) |
void |
show_P_commitment(java.math.BigInteger s,
java.math.BigInteger a,
java.math.BigInteger t,
int d,
java.math.BigInteger b) |
void |
show_P_response(int c,
java.math.BigInteger z) |
void |
show_P_response(int c,
java.math.BigInteger z,
int d,
java.math.BigInteger y) |
void |
show_P_secret(java.math.BigInteger w,
java.math.BigInteger h) |
void |
show_S_round(java.math.BigInteger z,
java.math.BigInteger a,
int c,
boolean addToTranscript) |
void |
show_V_challenge(java.math.BigInteger a,
java.math.BigInteger b,
int c) |
void |
show_V_challenge(java.math.BigInteger a,
int c) |
void |
show_V_verify(int c,
java.math.BigInteger z,
boolean accept,
double prob) |
void |
show_V_verify(int c,
java.math.BigInteger z,
int d,
java.math.BigInteger t,
boolean accept1,
boolean accept2,
double prob) |
void |
windowActivated(java.awt.event.WindowEvent event) |
void |
windowClosed(java.awt.event.WindowEvent event) |
void |
windowClosing(java.awt.event.WindowEvent event) |
void |
windowDeactivated(java.awt.event.WindowEvent event) |
void |
windowDeiconified(java.awt.event.WindowEvent event) |
void |
windowIconified(java.awt.event.WindowEvent event) |
void |
windowOpened(java.awt.event.WindowEvent event) |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack, toFront
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
static final long serialVersionUID
private java.awt.Container pane
private int WIDTH
private int HEIGHT
private java.awt.GridBagLayout GL
private java.awt.GridBagLayout GL2
private java.awt.GridBagLayout GL3
private java.awt.GridBagLayout GL6
private javax.swing.JPanel panel1
private javax.swing.JPanel panel2
private javax.swing.JPanel panel_prot
private javax.swing.JLabel label_prover
private javax.swing.JLabel label_transcript
private javax.swing.JLabel label_verifier
private javax.swing.JLabel label_public
private javax.swing.JLabel label_p
private javax.swing.JLabel label_q
private javax.swing.JLabel label_g
private javax.swing.JLabel label_proof
private javax.swing.JTextArea text_p
private javax.swing.JTextArea text_q
private javax.swing.JTextArea text_g
private javax.swing.JTextArea text_prover
private javax.swing.JTextArea text_verifier
private javax.swing.JTextArea text_transcript
private javax.swing.JButton initial
private javax.swing.JButton proof_complete
private javax.swing.JButton proof_round
private javax.swing.JButton simulate
private javax.swing.JTextArea inP
private javax.swing.JTextArea inV
private static GroupParam group
private Prover prover
private Verifier verifier
private int round
public void initDialog()
public int getWIDTH()
public int getHEIGHT()
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
public void windowActivated(java.awt.event.WindowEvent event)
windowActivated
in interface java.awt.event.WindowListener
public void windowClosed(java.awt.event.WindowEvent event)
windowClosed
in interface java.awt.event.WindowListener
public void windowClosing(java.awt.event.WindowEvent event)
windowClosing
in interface java.awt.event.WindowListener
public void windowDeactivated(java.awt.event.WindowEvent event)
windowDeactivated
in interface java.awt.event.WindowListener
public void windowDeiconified(java.awt.event.WindowEvent event)
windowDeiconified
in interface java.awt.event.WindowListener
public void windowIconified(java.awt.event.WindowEvent event)
windowIconified
in interface java.awt.event.WindowListener
public void windowOpened(java.awt.event.WindowEvent event)
windowOpened
in interface java.awt.event.WindowListener
public static void main(java.lang.String[] args)
public void initialise()
public void proofComplete()
public void proofRound()
public void show_P_secret(java.math.BigInteger w, java.math.BigInteger h)
show_P_secret
in interface GUIObserver
public void show_P_commitment(java.math.BigInteger s, java.math.BigInteger a)
show_P_commitment
in interface GUIObserver
public void show_P_response(int c, java.math.BigInteger z)
show_P_response
in interface GUIObserver
public void show_V_challenge(java.math.BigInteger a, int c)
show_V_challenge
in interface GUIObserver
public void show_V_verify(int c, java.math.BigInteger z, boolean accept, double prob)
show_V_verify
in interface GUIObserver
public void show_S_round(java.math.BigInteger z, java.math.BigInteger a, int c, boolean addToTranscript)
show_S_round
in interface GUIObserver
public void show_P_commitment(java.math.BigInteger s, java.math.BigInteger a, java.math.BigInteger t, int d, java.math.BigInteger b)
show_P_commitment
in interface GUIObserver
public void show_P_response(int c, java.math.BigInteger z, int d, java.math.BigInteger y)
show_P_response
in interface GUIObserver
public void show_V_verify(int c, java.math.BigInteger z, int d, java.math.BigInteger t, boolean accept1, boolean accept2, double prob)
show_V_verify
in interface GUIObserver
public void show_V_challenge(java.math.BigInteger a, java.math.BigInteger b, int c)
show_V_challenge
in interface GUIObserver