Code

Sumcheck IOP for LogUp-GKR#295

Code

Merged

irakliyk merged 28 commits intofacebook:logup-gkrfacebook/winterfell:logup-gkrfrom Al-Kindi-0:al-sumcheck-for-logup-gkrAl-Kindi-0/winterfell:al-sumcheck-for-logup-gkrCopy head branch name to clipboardAug 21, 2024

+2,411-4

Commits

Commits on Aug 6, 2024

• feat: math utilities needed for sum-check protocol

  Al-Kindi-0

  committed
  8ac25c7

• feat: add sum-check prover and verifier

  Al-Kindi-0

  committed
  5e06378

• tests: add sanity tests for utils

  Al-Kindi-0

  committed
  16389d6

• doc: document sumcheck_round

  Al-Kindi-0

  committed
  380aa1a

Commits on Aug 7, 2024

• feat: use SmallVec

  Al-Kindi-0

  committed
  7a1a99e

Commits on Aug 8, 2024

• docs: improve documentation of sum-check

  Al-Kindi-0

  committed
  1901066

Commits on Aug 9, 2024

• feat: add remaining functions for sum-check verifier

  Al-Kindi-0

  committed
  8a57216

• chore: move prover into sub-mod

  Al-Kindi-0

  committed
  ff9e6fa

• chore: remove utils mod

  Al-Kindi-0

  committed
  7e24f8f

• chore: remove utils mod

  Al-Kindi-0

  committed
  23044e8

• chore: move logup evaluator trait to separate file

  Al-Kindi-0

  committed
  ad0497d

Commits on Aug 15, 2024

• feat: add multi-threading support and simplify input sum-check

  Al-Kindi-0

  committed
  d721bc2

• chore: fix Sync issue

  Al-Kindi-0

  committed
  2e5a704

• chore: pacify clippy

  Al-Kindi-0

  committed
  06454d9

Commits on Aug 19, 2024

• chore: fix toml formatting

  Al-Kindi-0

  committed
  2c07857

• feat: add benchmarks and address feedback

  Al-Kindi-0

  committed
  2e02f1f

• feat: address feedback and add benchmarks

  Al-Kindi-0

  committed
  e7a50c0

• feat: simplify sum-check bench

  Al-Kindi-0

  committed
  2b64dbf

• feat: add sum-check benchmarks

  Al-Kindi-0

  committed
  ea7cb84

• doc: improve documentation

  Al-Kindi-0

  committed
  dae27e6

Commits on Aug 20, 2024

• chore: pacify clippy

  Al-Kindi-0

  committed
  9543e1a

• chore: pacify clippy

  Al-Kindi-0

  committed
  60c8591

• chore: pacify clippy

  Al-Kindi-0

  committed
  7338caf

• chore: pacify clippy

  Al-Kindi-0

  committed
  43c7441

• feat: reduce memory allocation in bind least signi

  Al-Kindi-0

  committed
  f85e44f

• doc: add docs to logup evaluator trait

  Al-Kindi-0

  committed
  be0c2cd

• chore: improve var naming

  Al-Kindi-0

  committed
  1847d0d

• doc: improve

  Al-Kindi-0

  committed
  3adc855