Code

Feature: Orion PCS Integration#153

Code

Open

tonyfloatersu wants to merge 71 commits intodevPolyhedraZK/Expander:devfrom feature/orionPolyhedraZK/Expander:feature/orionCopy head branch name to clipboard

+3,139-131

Commits

Commits on Nov 22, 2024

• Orion PCS implementation prorotyped

  tonyfloatersu

  committed
  0fe9dc4

  Copy full SHA for 0fe9dc4

• rust compilation cache again?

  tonyfloatersu

  committed
  0694446

  Copy full SHA for 0694446

Commits on Nov 23, 2024

• orion interface changes, working on aligning with pcs trait

  tonyfloatersu

  committed
  6ed985a

  Copy full SHA for 6ed985a

• orion commit from multilinear poly over simd fields

  tonyfloatersu

  committed
  4e81cd9

  Copy full SHA for 4e81cd9

Commits on Nov 24, 2024

• minor, refactoring orion opening base field, need to work on orion opening simd field

  tonyfloatersu

  committed
  533be26

  Copy full SHA for 533be26

• prototype simd version of orion opening, need to get some rest and check impl again

  tonyfloatersu

  committed
  a84e286

  Copy full SHA for a84e286

• minor, move original orion verify to base field impl

  tonyfloatersu

  committed
  14f8532

  Copy full SHA for 14f8532

• minor, renaming from Circuit*F to Simd*F

  tonyfloatersu

  committed
  a81d45d

  Copy full SHA for a81d45d

• minor, prototype for orion verify for simd field

  tonyfloatersu

  committed
  4e08b59

  Copy full SHA for 4e08b59

• minor, typo

  tonyfloatersu

  committed
  ad2581d

  Copy full SHA for ad2581d

Commits on Nov 25, 2024

• move test to base field test, working on simd test

  tonyfloatersu

  committed
  23ce12a

  Copy full SHA for 23ce12a

• orion simd commitment consistency test

  tonyfloatersu

  committed
  a065d8b

  Copy full SHA for a065d8b

• started working on test orion pcs simd full e2e

  tonyfloatersu

  committed
  e664a4b

  Copy full SHA for e664a4b

Commits on Nov 26, 2024

• e2e test finalized, prototype first round of polishing starts

  tonyfloatersu

  committed
  955d2b4

  Copy full SHA for 955d2b4

• minor polishing and benchmarks for orion over simd polynomial

  tonyfloatersu

  committed
  164ff4c

  Copy full SHA for 164ff4c

• minor, remove old cloned iterator

  tonyfloatersu

  committed
  ba2ce01

  Copy full SHA for ba2ce01

• standard pcs trait implementation for both flavors of orion impls

  tonyfloatersu

  committed
  7838aad

  Copy full SHA for 7838aad

Commits on Nov 27, 2024

• orion simd pcs aligning with PCSForExpanderGKR, restrict constraint to ExtensionField

  tonyfloatersu

  committed
  a885ed5

  Copy full SHA for a885ed5

• simplified type constraints for orion, no need for SimdEvalF

  tonyfloatersu

  committed
  0f42507

  Copy full SHA for 0f42507

• minor, fixing up a unattended impl for standard pcs for simd orion

  tonyfloatersu

  committed
  441482b

  Copy full SHA for 441482b

Commits on Nov 28, 2024

• minor, one liner change

  tonyfloatersu

  committed
  73e8baa

  Copy full SHA for 73e8baa

• working on mpi versioned commit/open/verify algorithm

  tonyfloatersu

  committed
  a74cf76

  Copy full SHA for a74cf76

• change base pcs impl testing to test_pcs from common

  tonyfloatersu

  committed
  3d9006e

  Copy full SHA for 3d9006e

• tame the CI

  tonyfloatersu

  committed
  f67463d

  Copy full SHA for f67463d

Commits on Nov 29, 2024

• testing harness minor changes

  tonyfloatersu

  committed
  0e85b7a

  Copy full SHA for 0e85b7a

• minor, renamings and using params in standard pcs trait

  tonyfloatersu

  committed
  1673d3b

  Copy full SHA for 1673d3b

• pcs trait impl file too large, separate into 2 files

  tonyfloatersu

  committed
  e000787

  Copy full SHA for e000787

• working on mpi version of open/verify, based on assumption that only leader machine's output matters

  tonyfloatersu

  committed
  1fd5655

  Copy full SHA for 1fd5655

Commits on Nov 30, 2024

• prototype in orion simd verify aggregated version

  tonyfloatersu

  committed
  2c771f5

  Copy full SHA for 2c771f5

• separate aggregated verify for orion simd field into a standalone file

  tonyfloatersu

  committed
  0112511

  Copy full SHA for 0112511

• minor, refactoring the prototype as a personal review

  tonyfloatersu

  committed
  41fb654

  Copy full SHA for 41fb654

Commits on Dec 1, 2024

• aggregate then verify test complete, tweaking mpi environment

  tonyfloatersu

  committed
  d436436

  Copy full SHA for d436436

• minor, refactoring by abstracting out aggregation method

  tonyfloatersu

  committed
  1cc2348

  Copy full SHA for 1cc2348

• tame CI clippy

  tonyfloatersu

  committed
  1ec5b76

  Copy full SHA for 1ec5b76

Commits on Dec 3, 2024

• at least the mpi exec e2e runs on my machine for now... wait wtf mpi?

  tonyfloatersu

  committed
  27858e3

  Copy full SHA for 27858e3

Commits on Dec 4, 2024

• experimental move, should discuss with folks about if it is a good move

  tonyfloatersu

  committed
  edfb4e5

  Copy full SHA for edfb4e5

• experimental move, mpi opening each party precalculate weighted version

  tonyfloatersu

  committed
  9ab727a

  Copy full SHA for 9ab727a

Commits on Dec 5, 2024

• Revert "experimental move, mpi opening each party precalculate weighted version"

  Show description for 213ca4a
  tonyfloatersu

  committed
  213ca4a

  Copy full SHA for 213ca4a

• use common toolset in pcs testing

  tonyfloatersu

  committed
  f1e298c

  Copy full SHA for f1e298c

• pcs init for testing, take rng from the context

  tonyfloatersu

  committed
  df91b0a

  Copy full SHA for df91b0a

• minor - refactoring in favor of poly_commit lib export

  tonyfloatersu

  committed
  1bd79e4

  Copy full SHA for 1bd79e4

• minor - reformatting for code structure

  tonyfloatersu

  committed
  446b838

  Copy full SHA for 446b838

• minor, circle back to the improved query complexity

  tonyfloatersu

  committed
  ca88004

  Copy full SHA for ca88004

Commits on Dec 17, 2024

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  fd27a00

  Copy full SHA for fd27a00

• minor - use multilinear extension trait for orion base field impl

  tonyfloatersu

  committed
  7d6436b

  Copy full SHA for 7d6436b

Commits on Dec 18, 2024

• allow for parsing gf2 orion gkr config

  tonyfloatersu

  committed
  a609b6c

  Copy full SHA for a609b6c

• use fixed rng seeds to generate deterministic pcs crs in mpi cases

  tonyfloatersu

  committed
  28dc09b

  Copy full SHA for 28dc09b

Commits on Dec 19, 2024

• adapting to gkr codebase - setup with number of variables in each poly, ignore simd and mpi vars

  tonyfloatersu

  committed
  8bcd415

  Copy full SHA for 8bcd415

• integrated orion gf2 config into gkr correctness test - single process works, need to read test closely

  tonyfloatersu

  committed
  db77168

  Copy full SHA for db77168

Commits on Dec 21, 2024

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  527b21f

  Copy full SHA for 527b21f

Commits on Dec 22, 2024

• align fiat shamir transcript among all mpi parties

  tonyfloatersu

  committed
  403f23e

  Copy full SHA for 403f23e

• integrated into the benchmarking

  tonyfloatersu

  committed
  894cf89

  Copy full SHA for 894cf89

• inline things from multilinear extension

  tonyfloatersu

  committed
  ff730e1

  Copy full SHA for ff730e1

Commits on Dec 23, 2024

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  3e65000

  Copy full SHA for 3e65000

Commits on Dec 30, 2024

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  50064b8

  Copy full SHA for 50064b8

Commits on Jan 2, 2025

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  1edbea0

  Copy full SHA for 1edbea0

Commits on Jan 10, 2025

• base field orion pcs support for M31 prime

  tonyfloatersu

  committed
  04d7f34

  Copy full SHA for 04d7f34

• update on verifier side - sync up the randomness on verifier side

  tonyfloatersu

  committed
  4fce220

  Copy full SHA for 4fce220

• orion m31 base pcs commit and open benchmarking

  tonyfloatersu

  committed
  fcce135

  Copy full SHA for fcce135

• M31 simd commit testing

  tonyfloatersu

  committed
  cea7ebd

  Copy full SHA for cea7ebd

Commits on Jan 12, 2025

• minor - updated orion implementation with m31 support prototype

  tonyfloatersu

  committed
  0274b94

  Copy full SHA for 0274b94

• minor - each sumcheck IOP prove/verify sync up randomness beforehand

  tonyfloatersu

  committed
  b1cfa70

  Copy full SHA for b1cfa70

• benchmarking m31 case

  tonyfloatersu

  committed
  075abe8

  Copy full SHA for 075abe8

Commits on Jan 13, 2025

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  0ba1d8b

  Copy full SHA for 0ba1d8b

• push to 2^32 GF2 benchmark size

  tonyfloatersu

  committed
  7fe83ca

  Copy full SHA for 7fe83ca

Commits on Jan 14, 2025

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  16a67f7

  Copy full SHA for 16a67f7

Commits on Jan 17, 2025

• Add some notes to 'transcript_verifier_sync' and make clippy happy

  Show description for 0c35935
  

  zhiyong1997

  authored and

  tonyfloatersu

  committed
  0c35935

  Copy full SHA for 0c35935

• Merge branch 'dev' into feature/orion

  tonyfloatersu

  committed
  511d8fb

  Copy full SHA for 511d8fb

• trying to isolate potential problems

  tonyfloatersu

  committed
  fdc0f01

  Copy full SHA for fdc0f01

• smaller test size may work?

  tonyfloatersu

  committed
  22abffa

  Copy full SHA for 22abffa

• still trying smaller test size...

  tonyfloatersu

  committed
  09c6054

  Copy full SHA for 09c6054