Code

Merge PCS and LDT#16

Code

Merged

WizardOfMenlo merged 10 commits intomainWizardOfMenlo/whir:mainfrom recmo/merge-ldtWizardOfMenlo/whir:recmo/merge-ldtCopy head branch name to clipboardNov 26, 2024

+271-1,801

Commits

Commits on Nov 23, 2024

• LDT agnostic parameters

  recmo

  committed
  9f2a972

  Copy full SHA for 9f2a972

• Use non-LDT prover for LDT

  recmo

  committed
  84fee75

  Copy full SHA for 84fee75

• Optional statement in prover

  recmo

  committed
  1f4227b

  Copy full SHA for 1f4227b

Commits on Nov 25, 2024

• Large field proof works

  recmo

  committed
  5939fd2

  Copy full SHA for 5939fd2

Commits on Nov 26, 2024

• Unify log_eta

  recmo

  committed
  5c9562f

  Copy full SHA for 5c9562f

• remove whir_ldt comitter prover

  recmo

  committed
  1a2d8c7

  Copy full SHA for 1a2d8c7

• Adapt WHIR verifier to accept LDT

  recmo

  committed
  0b05df3

  Copy full SHA for 0b05df3

• Deprecate whir_ldt

  recmo

  committed
  951e126

  Copy full SHA for 951e126

• Fix tests

  recmo

  committed
  09b3383

  Copy full SHA for 09b3383

• Merge branch 'main' into recmo/merge-ldt

  recmo

  committed
  6c74f85

  Copy full SHA for 6c74f85