Code

SE SNARK verifier gadget#127

Code

Open

imeckler wants to merge 8 commits intoscipr-lab:masterscipr-lab/libsnark:masterfrom imeckler:se-verifier-gadgetimeckler/libsnark:se-verifier-gadgetCopy head branch name to clipboard

+2,056-24

Commits

Commits on Aug 9, 2018

• change SE SNARK verification key to contain e(G_alpha, H_beta)

  imeckler

  committed
  1b2283c

  Copy full SHA for 1b2283c

• add a gadget for checking the equality of a vector of field elements

  imeckler

  committed
  02f8031

  Copy full SHA for 02f8031

• some simple modifications to the field gadgets

  imeckler

  committed
  924a95c

  Copy full SHA for 924a95c

• a G2 addition gadget to mirror the G1 addition gadget

  imeckler

  committed
  06b346a

  Copy full SHA for 06b346a

• add the flip at the end of the weierstrass miller loop gadget if the loop count is supposed to be negative

  imeckler

  committed
  76601e7

  Copy full SHA for 76601e7

• add a gadget for computing the value of a final exponenation

  imeckler

  committed
  16831eb

  Copy full SHA for 16831eb

• some bureaucratic changes to pairing gadgets

  imeckler

  committed
  1d708e4

  Copy full SHA for 1d708e4

• add the SE verifier gadget

  imeckler

  committed
  cf113f5

  Copy full SHA for cf113f5