Code

Feature/sumcheck#40

Code

Merged

dmpierre merged 37 commits intomainprivacy-scaling-explorations/sonobe:mainfrom feature/sumcheckprivacy-scaling-explorations/sonobe:feature/sumcheckCopy head branch name to clipboardDec 15, 2023

+291-211

Commits

Commits on Nov 24, 2023

• feat: init sumcheck.rs

  dmpierre

  committed
  8e3d35a

  Copy full SHA for 8e3d35a

• chore: rename

  dmpierre

  committed
  68c6a9c

  Copy full SHA for 68c6a9c

• feat: update lib and add trait for transcript with vec storing challenges

  dmpierre

  committed
  6a6b5d1

  Copy full SHA for 6a6b5d1

• bugfix: mut self ref of transcript

  dmpierre

  committed
  e62379e

  Copy full SHA for e62379e

• feat: tentative sum-check using poseidon

  dmpierre

  committed
  717da1d

  Copy full SHA for 717da1d

Commits on Nov 28, 2023

• refactor: remove extension trait and use initial trait

  dmpierre

  committed
  25126e4

  Copy full SHA for 25126e4

• refactor: stop using extension trait, use initial Transcript trait

  dmpierre

  committed
  6d19ab6

  Copy full SHA for 6d19ab6

• feat: generic over CurveGroup sum-check verifier and algorithm

  dmpierre

  committed
  c64c030

  Copy full SHA for c64c030

• feat: implement generic sum-check veriy

  dmpierre

  committed
  313fa1b

  Copy full SHA for 313fa1b

• bugfix: cargo clippy --fix

  dmpierre

  committed
  35e6b1d

  Copy full SHA for 35e6b1d

• chore: cargo fmt

  dmpierre

  committed
  d9c9211

  Copy full SHA for d9c9211

Commits on Dec 1, 2023

• feat: (unstable) sum-check implementation

  dmpierre

  committed
  e80bdbd

  Copy full SHA for e80bdbd

• feat: start benches

  dmpierre

  committed
  a3182bb

  Copy full SHA for a3182bb

• chore: run clippy

  dmpierre

  committed
  0933937

  Copy full SHA for 0933937

• chore: run cargo fmt

  dmpierre

  committed
  09c627e

  Copy full SHA for 09c627e

Commits on Dec 5, 2023

• feat: add sum-check tests + benches

  dmpierre

  committed
  09c7973

  Copy full SHA for 09c7973

• chore: clippy + fmt

  dmpierre

  committed
  e6a3fa9

  Copy full SHA for e6a3fa9

Commits on Dec 6, 2023

• chore: remove unstable sumcheck

  dmpierre

  committed
  62e89db

  Copy full SHA for 62e89db

• chore: delete duplicated sum-check code

  dmpierre

  committed
  93d5c23

  Copy full SHA for 93d5c23

• chore: remove deleted sum-check code from lib.rs imports

  dmpierre

  committed
  b4c81b9

  Copy full SHA for b4c81b9

• feat: remove non generic traits, implement sum-check with generic trait and add test

  dmpierre

  committed
  703b2fb

  Copy full SHA for 703b2fb

• chore: remove non-generic struct

  dmpierre

  committed
  5b992eb

  Copy full SHA for 5b992eb

• chore: remove non generic verifier

  dmpierre

  committed
  1c8743d

  Copy full SHA for 1c8743d

• feat: make nifms generic over transcript and update to use poseidon transcript

  dmpierre

  committed
  e6ef4f9

  Copy full SHA for e6ef4f9

• chore: cargo fmt

  dmpierre

  committed
  6f953c1

  Copy full SHA for 6f953c1

• chore: remove tmp benches

  dmpierre

  committed
  9ef8141

  Copy full SHA for 9ef8141

• chore: update cargo.toml

  dmpierre

  committed
  c183339

  Copy full SHA for c183339

• refactor: remove Generic suffix

  dmpierre

  committed
  748be57

  Copy full SHA for 748be57

• feat: prover state generic over CurveGroup

  dmpierre

  committed
  3b4e70b

  Copy full SHA for 3b4e70b

• chore: disable clippy type complexity warning

  dmpierre

  committed
  7ac2c75

  Copy full SHA for 7ac2c75

Commits on Dec 7, 2023

• refactor: remove Transcript type and espresso transcript dependency

  dmpierre

  committed
  812d710

  Copy full SHA for 812d710

Commits on Dec 9, 2023

• refactor: SumCheckProver generic over CurveGroup

  dmpierre

  committed
  c403591

  Copy full SHA for c403591

Commits on Dec 14, 2023

• chore: add line to eof for Cargo.toml

  dmpierre

  committed
  5c0ff25

  Copy full SHA for 5c0ff25

Commits on Dec 15, 2023

• bugfix: add error handling on sum-check prove and verify

  dmpierre

  committed
  978776a

  Copy full SHA for 978776a

• chore: clippy fix

  dmpierre

  committed
  4fa551d

  Copy full SHA for 4fa551d

• chore: add line at eof

  dmpierre

  committed
  b12397d

  Copy full SHA for b12397d

• fix: use map_err and call to_string() on PolyIOPErrors

  dmpierre

  committed
  59431ec

  Copy full SHA for 59431ec