Code

LogUp GKR#1366

Code

Merged

bobbinth merged 39 commits intologup-gkr20xPolygonMiden/miden-vm:logup-gkr2from logup-gkr-bkp0xPolygonMiden/miden-vm:logup-gkr-bkpCopy head branch name to clipboardJun 26, 2024

+2,500-6

Commits

Commits on Mar 22, 2024

• chore: fix no-std errors

  Al-Kindi-0

  committed
  44a031e

  Copy full SHA for 44a031e

Commits on Mar 28, 2024

• merge next

  Al-Kindi-0

  committed
  fa5bd2e

  Copy full SHA for fa5bd2e

Commits on Apr 29, 2024

• Merge branch 'next' of https://github.com/0xPolygonMiden/miden-vm into next

  Al-Kindi-0

  committed
  48116ad

  Copy full SHA for 48116ad

Commits on May 1, 2024

• Merge branch 'next' of https://github.com/0xPolygonMiden/miden-vm into next

  Al-Kindi-0

  committed
  b2b2de5

  Copy full SHA for b2b2de5

Commits on May 10, 2024

• Merge branch 'next' of https://github.com/0xPolygonMiden/miden-vm into next

  Al-Kindi-0

  committed
  e2ce938

  Copy full SHA for e2ce938

Commits on May 24, 2024

• Merge branch 'next' of https://github.com/0xPolygonMiden/miden-vm into next

  Al-Kindi-0

  committed
  0bbb515

  Copy full SHA for 0bbb515

• feat: migrate to new Winterfell release

  Al-Kindi-0

  committed
  7078870

  Copy full SHA for 7078870

• chore: fix no-std errors

  Show description for df9b110
  Al-Kindi-0

  committed
  df9b110

  Copy full SHA for df9b110

• feat: sum-check protocol

  Al-Kindi-0

  committed
  699cb11

  Copy full SHA for 699cb11

• fix: no-std

  Al-Kindi-0

  committed
  3b2acf5

  Copy full SHA for 3b2acf5

• chore: fmt

  Al-Kindi-0

  committed
  431b937

  Copy full SHA for 431b937

• fix: remove challenger marker

  Al-Kindi-0

  committed
  2686d65

  Copy full SHA for 2686d65

• chore: add evaluation point to final eval claim output of prover

  Al-Kindi-0

  committed
  de541c5

  Copy full SHA for de541c5

• chore: fix typos and comments

  Al-Kindi-0

  committed
  5110915

  Copy full SHA for 5110915

• chore: nits and renaming

  Al-Kindi-0

  committed
  7537be3

  Copy full SHA for 7537be3

• refactor: remove Option for FinalOpeningClaim

  Al-Kindi-0

  committed
  87e3c49

  Copy full SHA for 87e3c49

• chore: namings comments and misc.

  Al-Kindi-0

  committed
  720ac33

  Copy full SHA for 720ac33

• wip: move to coefficient form

  Al-Kindi-0

  committed
  cea681a

  Copy full SHA for cea681a

• feat: move sum-check round polys to coefficient form representation

  Al-Kindi-0

  committed
  0fed9cd

  Copy full SHA for 0fed9cd

• fix: add file

  Al-Kindi-0

  committed
  cb503d1

  Copy full SHA for cb503d1

• wip: GKR protocol for virtual bus

  Al-Kindi-0

  committed
  5b734d1

  Copy full SHA for 5b734d1

• chore: add accessors and re-org

  Al-Kindi-0

  committed
  fa97e9e

  Copy full SHA for fa97e9e

• chore: fix merge conflicts

  Al-Kindi-0

  committed
  63243a8

  Copy full SHA for 63243a8

• chore: re-shuffle

  Al-Kindi-0

  committed
  a275df4

  Copy full SHA for a275df4

• chore: add vb errors and failing test

  Al-Kindi-0

  committed
  d6cd197

  Copy full SHA for d6cd197

• fix: update trait def after rebase

  Al-Kindi-0

  committed
  016bc95

  Copy full SHA for 016bc95

• fix: use last_mut

  Al-Kindi-0

  committed
  f46ac0c

  Copy full SHA for f46ac0c

• fix: address some comments

  Al-Kindi-0

  committed
  31609c5

  Copy full SHA for 31609c5

• Change suggestions to GKR implementation (#1323)

  Show description for 7567a10
  

  plafer

  authored and

  Al-Kindi-0

  committed
  7567a10

  Copy full SHA for 7567a10

• chore: rebase

  Al-Kindi-0

  committed
  37af90b

  Copy full SHA for 37af90b

• chore: pacify warning

  Al-Kindi-0

  committed
  456ebec

  Copy full SHA for 456ebec

• chore: change sumcheck_round signature

  Al-Kindi-0

  committed
  173e26a

  Copy full SHA for 173e26a

• chore: remove to_owned

  Al-Kindi-0

  committed
  4206910

  Copy full SHA for 4206910

Commits on Jun 9, 2024

• GKR: Refactor circuit evaluation (#1345)

  Show description for 09deed7
  

  plafer

  and

  Al-Kindi-0

  authored
  09deed7

  Copy full SHA for 09deed7

Commits on Jun 16, 2024

• Merge branch 'next' into al-gkr-circuit

  plafer

  committed
  8c1842b

  Copy full SHA for 8c1842b

• remove unused alloc

  plafer

  committed
  8b7b5c6

  Copy full SHA for 8b7b5c6

Commits on Jun 23, 2024

• docs: minor comment improvements and typo fixes

  bobbinth

  committed
  0dca8f2

  Copy full SHA for 0dca8f2

• refactor: move CompositionPoly from circuit to sumcheck

  bobbinth

  committed
  ddd7b50

  Copy full SHA for ddd7b50

Commits on Jun 25, 2024

• Merge pull request #1307 from 0xPolygonMiden/al-gkr-circuit

  bobbinth

  authored
  de4606e

  Copy full SHA for de4606e