Code

Mipp#44

Code

Open

swasilyev wants to merge 23 commits intomainw3f/apk-proofs:mainfrom mippw3f/apk-proofs:mippCopy head branch name to clipboard

+1,089

Commits

Commits on May 9, 2023

• Proves some GIPA of size 2

  swasilyev

  committed
  f01ed07

  Copy full SHA for f01ed07

• Proves some GIPA of arbitrary size

  swasilyev

  committed
  0beb2a7

  Copy full SHA for 0beb2a7

Commits on May 10, 2023

• MIPP proof size reduced

  swasilyev

  committed
  7487e00

  Copy full SHA for 7487e00

• Final commitment keys added to MIPP proof

  swasilyev

  committed
  efd1c63

  Copy full SHA for efd1c63

Commits on May 12, 2023

• Final commitment key argument implemented

  swasilyev

  committed
  3c0cdfa

  Copy full SHA for 3c0cdfa

Commits on May 15, 2023

• Final commitment key polynomial optimized

  swasilyev

  committed
  02a2a9e

  Copy full SHA for 02a2a9e

Commits on May 16, 2023

• Contiguous SRS used for the ck in G1

  swasilyev

  committed
  9c60746

  Copy full SHA for 9c60746

• Gt multiexp optimized

  swasilyev

  committed
  8665ea3

  Copy full SHA for 8665ea3

Commits on May 22, 2023

• FS challenges moved to a separate struct

  swasilyev

  committed
  60111f7

  Copy full SHA for 60111f7

• Code clean up

  swasilyev

  committed
  8e533e5

  Copy full SHA for 8e533e5

• print-traces added

  swasilyev

  committed
  b597bdd

  Copy full SHA for b597bdd

• batch conversion to affine in folding

  swasilyev

  committed
  d061251

  Copy full SHA for d061251

Commits on May 23, 2023

• folding in parallel

  swasilyev

  committed
  24f9460

  Copy full SHA for 24f9460

• MIPP moved to a submodule

  swasilyev

  committed
  7d50bdb

  Copy full SHA for 7d50bdb

• 128 bit challenges, x and x_inv swapped

  swasilyev

  committed
  def79f4

  Copy full SHA for def79f4

Commits on May 24, 2023

• final_poly stuff moved

  swasilyev

  committed
  72150c5

  Copy full SHA for 72150c5

• 'm' renamed to 'n'

  swasilyev

  committed
  cadc76d

  Copy full SHA for cadc76d

• comment

  swasilyev

  committed
  fecd118

  Copy full SHA for fecd118

• proof.a_final made affine

  swasilyev

  committed
  422443f

  Copy full SHA for 422443f

• mipp_u copied as mipp_k

  swasilyev

  committed
  245eb64

  Copy full SHA for 245eb64

• MIPP_k done

  swasilyev

  committed
  822bb90

  Copy full SHA for 822bb90

Commits on Jun 2, 2023

• MIPP-k for unstructured exponents

  swasilyev

  committed
  74d6003

  Copy full SHA for 74d6003

Commits on Jun 6, 2023

• SIPP implemented

  swasilyev

  committed
  aca3316

  Copy full SHA for aca3316