Repository navigation

compare evaluation winterfell plonky3 - #533

Open

Soulthym wants to merge 89 commits into

0xMiden:nextfrom

massalabs:feat-compare-eval-winterfell-plonky3

Open

compare evaluation winterfell plonky3#533
Soulthym wants to merge 89 commits into
0xMiden:nextfrom
massalabs:feat-compare-eval-winterfell-plonky3

Commits on Sep 17, 2025
- feat: Add Plonky3 basic backend
  Leo-Besancon
  committed
  2143ccf
- feat: Handle plonky3 target
  Leo-Besancon
  committed
  d83b791
- tests: Add E2E test codegen for binary plonky3
  Leo-Besancon
  committed
  98495ba
- tests: Add test of generated code in Plonky3 binary E2E tests
  Leo-Besancon
  committed
  f15970d
- fix: Make docs_sync() test work on windows
  Leo-Besancon
  committed
  254cdcc
Commits on Sep 19, 2025
Commits on Sep 24, 2025
- feat: add periodic_columns
  Leo-Besancon
  committed
  df72ff4
- fix(codegen): Correctly handle boundary constraints domain
  Leo-Besancon
  committed
  6c7c777
- tests: generate and test all E2E Plonky3 tests
  Leo-Besancon
  committed
  96e741c
Commits on Sep 26, 2025
- Merge branch 'next' into add_plonky3_backend
  Leo-Besancon
  committed
  0bd3b79
- tests: add E2E test for selectors combine with list comprehensions
  Leo-Besancon
  committed
  4875e6c
Commits on Oct 14, 2025
- Merge branch 'next' into add_plonky3_backend
  Leo-Besancon
  committed
  7a2998a
- refactor(plonky3): use AB::Expr::ZERO, ONE, from_u64 and double
  Leo-Besancon
  committed
  d8c60cc
- tests: update plonky3 E2E tests following codegen refactor
  Leo-Besancon
  committed
  ab4c4e8
- refactor(tests): Use macro for plonky3 test boilerplate
  Leo-Besancon
  committed
  dee6af7
- docs: Add documentation for Plonky3 backend
  Leo-Besancon
  committed
  7b11b11
Commits on Oct 15, 2025
- Merge branch 'next' into add_plonky3_backend
  Leo-Besancon
  committed
  3eb73ad
- tests: Add Plonky3 E2E tests for computed indices
  Leo-Besancon
  committed
  4409002
- chore: fix fmt lint
  Leo-Besancon
  committed
  d0418fe
Commits on Oct 20, 2025
- tests(plonky3): use Goldilocks instead of Mersenne32
  Leo-Besancon
  committed
  e6aa421
- Merge branch 'next' into add_plonky3_backend
  Leo-Besancon
  authored
  a2f9883
- chore: cleanup import
  Leo-Besancon
  committed
  1ec834b
Commits on Dec 4, 2025
- Target 0xMiden Plonky3 repo and use AirScriptAir and AirScriptBuilder traits (#508)
  Leo-Besancon
  authored
  b3a441e
Commits on Dec 8, 2025
- Merge branch 'next' into add_plonky3_backend
  Leo-Besancon
  committed
  18a4905
- tests: update tests after merge, add plonky3 E2E tests codegen and update script
  Leo-Besancon
  committed
  805649f
- fix: cargo fmt
  Leo-Besancon
  committed
  13d2ae0
- fix: prev cargo fmt failed
  Leo-Besancon
  committed
  b72ead4
Commits on Dec 17, 2025
- feat: prove/verify and sync plonky3 (#523)
  Leo-Besancon
  authored
  f4f6c86
Commits on Jan 5, 2026
- Merge branch 'next' into add_plonky3_backend
  Leo-Besancon
  committed
  e979548
Commits on Jan 6, 2026
- feat: Target p3-miden repo
  Leo-Besancon
  committed
  0e99eef
- Add Miden VM constraint files
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  e02364d
- test: Add failing test for cross-module constant dependencies
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  5798a02
- fix: Handle cross-module constant dependencies in dependency graph and MIR translation
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  512e04b
- enable hasher constraints
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  778c366
- test: Add failing test for comprehension periodic binding scoping
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  28ced49
- fix: Convert comprehension bindings to Local type for proper scoping
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  0196da4
- misc. fixes
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  53968fe
- Add Kernel ROM chiplet constraints (#484)
  
  Al-Kindi-0
  authored and
  Leo-Besancon
  committed
  bf52a32
Commits on Jan 7, 2026
- chore: cleanup tests path
  Leo-Besancon
  committed
  578816e
Commits on Jan 22, 2026
- chore: Update p3-miden dependancies
  Leo-Besancon
  committed
  b8053f2
Commits on Jan 23, 2026
- tests(compare-wf-p3): compare eval test harness on all frames for plonly3 and winterfell
  Soulthym
  committed
  4d00cfe
- tests(compare-wf-p3): binary test
  Soulthym
  committed
  7238a2c
- tests(compare-wf-p3): compare wf-p3 test harness + test constants
  Soulthym
  committed
  7d95fd7
- tests(compare-wf-p3): add support for periodic columns in test harness
  Soulthym
  committed
  ca75903
- tests(compare-wf-p3): bitwise test
  Soulthym
  committed
  703bb55
- tests(compare-wf-p3): fibonnaci test
  Soulthym
  committed
  95583f6
- tests(compare-wf-p3): constraint comprehension test
  Soulthym
  committed
  25c2c93
- tests(compare-wf-p3): randomized tests
  Soulthym
  committed
  a1a2144
- tests(compare-wf-p3): remove useless comments
  Soulthym
  committed
  d2b767c
- tests(compare-wf-p3): cosss_module_constants test
  Soulthym
  committed
  ed1417a
Commits on Jan 27, 2026
- tests(compare-wf-p3): constant_in_range test
  Soulthym
  committed
  10171ca
Commits on Jan 30, 2026
- tests(compare-wf-p3): simplify test harness
  Soulthym
  committed
  2b6fe0a
- tests(compare-wf-p3): simplify all tests
  Soulthym
  committed
  ce0fff2
- tests(compare-p3-wf): unify trace generation/passing
  Soulthym
  committed
  6ba1aac
- tests(compare-wf-p3): computed_indices_simple test
  Soulthym
  committed
  75668c8
- tests(compare-wf-p3): computed_indices_complex test
  Soulthym
  committed
  97701e4
- tests(compare-wf-p3): indexed_trace_access test
  Soulthym
  committed
  f063837
- tests(compare-wf-p3): evaluators test
  Soulthym
  committed
  79ce4e0
- tests(compare-wf-p3): evaluators_slice test
  Soulthym
  committed
  aebfacb
- tests(compare-wf-p3): evaluators_nested_slice_call test
  Soulthym
  committed
  86a78bd
- tests(compare-wf-p3): functions_simple test
  Soulthym
  committed
  57364c6
- tests(compare-wf-p3): functions_complex test
  Soulthym
  committed
  8414a8a
- tests(compare-wf-p3): inlined_functions_simple test
  Soulthym
  committed
  ce9bd14
- tests(compare-wf-p3): list_comprehension test
  Soulthym
  committed
  1bc51e3
- tests(compare-wf-p3): list_comprehension_nested test
  Soulthym
  committed
  789aa75
- tests(compare-wf-p3): list_folding test
  Soulthym
  committed
  08831ba
- tests(compare-wf-p3): pub_inputs test
  Soulthym
  committed
  27107aa
- tests(compare-wf-p3): selectors test
  Soulthym
  committed
  f37f143
- tests(compare-wf-p3): selectors_with_evaluators test
  Soulthym
  committed
  ad56f49
- tests(compare-wf-p3): selectors_combine_simple test
  Soulthym
  committed
  be78e77
- tests(compare-wf-p3): selectors_combine_with_list_comprehensions test
  Soulthym
  committed
  1ee4d5a
- tests(compare-wf-p3): system test
  Soulthym
  committed
  4cc4535
- tests(compare-wf-p3): trace_col_groups test
  Soulthym
  committed
  17760ac
- tests(compare-wf-p3): variables test
  Soulthym
  committed
  fec8572
- tests(compare-wf-p3): cc_with_evaluators test
  Soulthym
  committed
  f83c649
- tests(compare-wf-p3): periodic_columns test
  Soulthym
  committed
  31a82f0
- tests(compare-wf-p3): comprehension_periodic_binding test
  Soulthym
  committed
  ebae749
- tests(compare-wf-p3): add support for aux trace in test harness
  Soulthym
  committed
  c2a1ae5
- tests(compare-wf-p3): buses_simple test: TODO: follow-up needed
  Soulthym
  committed
  e08f4d4
- tests(compare-wf-p3): buses_complex test
  Soulthym
  committed
  9504df6
- tests(compare-wf-p3): selectors_combine_complex test
  Soulthym
  committed
  0c9a9d3
- tests(compare-wf-p3): buses_simple_with_evaluators test: TODO: follow-up needed
  Soulthym
  committed
  ecb7e6d
- tests(compare-wf-p3): buses_varlen_boundary_first test: TODO: follow-up needed
  Soulthym
  committed
  68b39c4
- tests(compare-wf-p3): buses_varlen_boundary_both test: TODO: follow-up needed
  Soulthym
  committed
  e1550cd
- tests(compare-wf-p3): buses_varlen_boundary_last test: TODO: follow-up needed
  Soulthym
  committed
  e62fa0f
Commits on Feb 2, 2026
- chores(compare-wf-p3): cargo fmt
  Soulthym
  committed
  df6f405
- chores: update CHANGELOG.md
  Soulthym
  committed
  5ebcb50

Commits

Commits on Sep 17, 2025

Commits on Sep 19, 2025

Commits on Sep 24, 2025

Commits on Sep 26, 2025

Commits on Oct 14, 2025

Commits on Oct 15, 2025

Commits on Oct 20, 2025

Commits on Dec 4, 2025

Commits on Dec 8, 2025

Commits on Dec 17, 2025

Commits on Jan 5, 2026

Commits on Jan 6, 2026

Commits on Jan 7, 2026

Commits on Jan 22, 2026

Commits on Jan 23, 2026

Commits on Jan 27, 2026

Commits on Jan 30, 2026

Commits on Feb 2, 2026