Skip to content

Migrate backend to Plonky3 #2472

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
bobbinth merged 105 commits into from
Jan 2, 2026
Merged

Migrate backend to Plonky3 #2472

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
105 commits
Select commit Hold shift + click to select a range
05e9403
wip: working except for prover
Al-Kindi-0 Dec 14, 2025
2b0be14
working integration test for prove/verify
Al-Kindi-0 Dec 14, 2025
844d067
add back full precompile support
Al-Kindi-0 Dec 14, 2025
53cc378
tests e2e passing
Al-Kindi-0 Dec 14, 2025
fd12669
fix minor errors
Al-Kindi-0 Dec 14, 2025
6e39bee
fixed lints
Al-Kindi-0 Dec 14, 2025
19f4f27
removed obsolete files
Al-Kindi-0 Dec 15, 2025
7032ad8
address remaining issues in lib/core
Al-Kindi-0 Dec 15, 2025
3a2efb6
chore: clean up structure and move configs to air crate
Al-Kindi-0 Dec 15, 2025
1279b1f
minor fixes
Al-Kindi-0 Dec 15, 2025
6ba1f2a
update docs
Al-Kindi-0 Dec 15, 2025
36ad998
fix obsolete files
Al-Kindi-0 Dec 15, 2025
f7bab3c
chore: removed gpu-metal
Al-Kindi-0 Dec 15, 2025
44c6da3
fix lints
Al-Kindi-0 Dec 15, 2025
3dcd886
fix misc. ci issues
Al-Kindi-0 Dec 15, 2025
7bb883a
minor fix
Al-Kindi-0 Dec 15, 2025
287bae1
fix doc lint
Al-Kindi-0 Dec 15, 2025
6cc3666
another round of cleanups
Al-Kindi-0 Dec 15, 2025
a29b662
fix duplicate spin versions
Al-Kindi-0 Dec 15, 2025
b5ce252
remove traces of random trace rows
Al-Kindi-0 Dec 16, 2025
4630955
add test with fast-parallel path
Al-Kindi-0 Dec 16, 2025
0816f37
wip: self-review
Al-Kindi-0 Dec 17, 2025
cc84695
wip: self-review 2/2
Al-Kindi-0 Dec 17, 2025
ee08aa8
minor edits
Al-Kindi-0 Dec 17, 2025
c870357
address Adrian's feedback
Al-Kindi-0 Dec 18, 2025
816f7a3
fix: adapt test files for Plonky3 API after merge from next
Al-Kindi-0 Dec 18, 2025
ca43453
chore: cleanup and update to p3-miden (#2478)
Al-Kindi-0 Dec 18, 2025
e100f7c
chore: align Plonky3 migration diff with next branch
adr1anh Dec 18, 2025
c29a044
chore: remove unnecessary assert in get_divisors and fix comments
Al-Kindi-0 Dec 18, 2025
ab60eac
refactor: use try_inverse for trace computation helpers
Al-Kindi-0 Dec 18, 2025
5d4443c
chore: update to latest plonky3 and miden-crypto/huitseeker/p3-rebased
adr1anh Dec 18, 2025
a6ea945
chore(ci): fix `no-std` build
adr1anh Dec 18, 2025
6988f05
chore: add CHANGELOG.md entry
adr1anh Dec 18, 2025
b9352af
chore: update Plonky3 and use `QuadFelt::from`
adr1anh Dec 18, 2025
69bb196
refactor(fri_ops): add `expect` to `try_inverse()`
adr1anh Dec 18, 2025
ea532c0
fix(fri-fold-op): return error on zero-domain size
adr1anh Dec 19, 2025
5c610ab
chore: remove AlgebraicSponge imports
Al-Kindi-0 Dec 21, 2025
b6c172d
chore: update miden-crypto to d116c7c
Al-Kindi-0 Dec 21, 2025
00dbe45
refactor: use p3-miden cleanup-and-simplify branch and patched Plonky3
Al-Kindi-0 Dec 23, 2025
9d68781
refactor: replace custom Randomizable with miden-crypto's implementation
huitseeker Dec 24, 2025
bf0832f
refactor: migrate to Plonky3 v0.4.1 and updated miden-crypto
huitseeker Dec 24, 2025
dd05ce1
fix: resolve module import issues after rebase
huitseeker Dec 24, 2025
22586fc
wip: restore processor files from origin/next
huitseeker Dec 24, 2025
144eb08
wip: restore processor modules from original branch
huitseeker Dec 24, 2025
f40a6c0
wip: restore modules from original branch and fix Plonky3 APIs
huitseeker Dec 24, 2025
170b989
refactor: apply Plonky3 API migrations to FastProcessor codebase
huitseeker Dec 25, 2025
1a99125
wip: fix processor operations Plonky3 API conversions
huitseeker Dec 25, 2025
fed4415
fix: correct ext2mul irreducible polynomial to x² - 7
huitseeker Dec 27, 2025
490f119
fix: use fancy-no-syscall feature for miette dependency
huitseeker Dec 27, 2025
55e881b
fix: detect existing Tokio runtime before creating new one
huitseeker Dec 27, 2025
c0e81cd
fix: provide stub for set_panic_hook with fancy-no-syscall
huitseeker Dec 27, 2025
883a099
fix: use platform-specific tokio features for wasm32 compatibility
huitseeker Dec 27, 2025
4d999fa
fix: make prover wasm32-compatible by using async prove() by default
huitseeker Dec 27, 2025
933cfd6
fix: Complete Winterfell to Plonky3 migration after rebase cleanup
huitseeker Dec 28, 2025
e2999c3
test: update snapshots for Plonky3 field arithmetic
huitseeker Dec 28, 2025
d4de8d5
fix: re-ignore failing debug tests that require Process
huitseeker Dec 28, 2025
c8b6d21
fix: make processor::execute() async with execute_sync() wrapper for …
huitseeker Dec 28, 2025
3a332f8
fix: update README doc-tests to use sync wrappers
huitseeker Dec 28, 2025
199050d
fix: add await to async execute() call in build_trace benchmark
huitseeker Dec 28, 2025
6f4e3ce
chore: update miden-crypto to latest huitseeker/p3-rebased
huitseeker Dec 28, 2025
86ed7be
fix: switch p3-miden-* crates from git to crates.io versions
huitseeker Dec 28, 2025
1bcae4d
chore: switch miden-crypto from huitseeker/p3-rebased to next branch
huitseeker Dec 28, 2025
7aea91e
refactor: use miden-crypto re-exports instead of direct p3 imports
huitseeker Dec 28, 2025
76c4ab0
refactor: remove redundant p3-air and p3-uni-stark dependencies
huitseeker Dec 28, 2025
179594e
chore: remove unused dependencies identified by cargo udeps
huitseeker Dec 28, 2025
32a8fdf
refactor: migrate to miden-crypto bobbin-crate-exports branch
huitseeker Dec 28, 2025
4861e98
chore: switch miden-crypto from bobbin-crate-exports to next branch
huitseeker Dec 29, 2025
b35e3c5
chore: switch to released miden-crypto v0.20 from crates.io
huitseeker Dec 29, 2025
a1f97a4
chore: remove unneeded dependencies
bobbinth Dec 29, 2025
9ae2e36
fix: align OverflowTable API with next branch
Al-Kindi-0 Dec 29, 2025
31f982d
chore: remove p3-field dependency
bobbinth Dec 30, 2025
9ffcfd2
chore: create field sub-module in miden-core
bobbinth Dec 30, 2025
5061a2d
chore: remove p3-challenger dependency
bobbinth Dec 30, 2025
901a5d0
chore: fix comment formatting
bobbinth Dec 30, 2025
61c877b
chore: simplify stack input parsing
bobbinth Dec 30, 2025
f8f9b03
chore: normalize error handling for stack inputs/outputs
bobbinth Dec 30, 2025
8630f92
fix: parameter order
bobbinth Dec 30, 2025
a060c55
chore: bring back signature re-exports
bobbinth Dec 30, 2025
2322e95
chore: remove eprintln statements in tests
bobbinth Dec 30, 2025
0cff261
chore: remove obsolete rand methods
bobbinth Dec 30, 2025
1dc7ae7
chore: fix lint
bobbinth Dec 30, 2025
b26fad7
docs: fix readme typo
bobbinth Dec 31, 2025
116efcf
chore: remove redundant p3-util and p3-interpolation dependencies
huitseeker Dec 31, 2025
f3b9f68
chore: clean up ExecutionError
bobbinth Dec 31, 2025
24aaf1d
chore: re-enable fri module and fix test-utils feature gate
huitseeker Dec 31, 2025
ceb2750
chore: re-enable verifier_recursive module
huitseeker Dec 31, 2025
d6365bf
chore: clean up verifier dependencies
bobbinth Dec 31, 2025
e304030
fix: remove try_checked and unneeded test function
Al-Kindi-0 Dec 31, 2025
291db31
doc: add comment about map_value length
Al-Kindi-0 Dec 31, 2025
2385ab6
chore: simplified field element validity checks
bobbinth Dec 31, 2025
62f3d68
feat: remove Blake3_192 hash function variant
bobbinth Dec 31, 2025
02a7306
chore: remove redundant p3 dependencies
bobbinth Dec 31, 2025
7937aa3
refactor move AuxTraceBuilder into trace module
bobbinth Dec 31, 2025
c48bed0
refactor: move ColMatrix to miden-core
bobbinth Dec 31, 2025
3dfc637
chore: move MainTraceRow into trace module
bobbinth Dec 31, 2025
ccb40db
refactor: more RowIndex export into trace module
bobbinth Dec 31, 2025
532acda
chore: minor PublicInputs::to_elements() improvements
bobbinth Dec 31, 2025
a4d910e
remove 128bits security option
Al-Kindi-0 Dec 31, 2025
a88770c
remove obsolete comment
Al-Kindi-0 Dec 31, 2025
2456fe4
remove traces of Blake3-192 and magic numbers
Al-Kindi-0 Dec 31, 2025
89b13a7
improve error handling from prove function
Al-Kindi-0 Dec 31, 2025
a89b4d0
fix: feature-gate Vec import in main_trace.rs
huitseeker Dec 31, 2025
ccac074
chore: remove unused p3 dependencies
bobbinth Jan 2, 2026
53ed745
address feedback
Al-Kindi-0 Jan 2, 2026
a0224b7
chore: remove un-needed dependencies
bobbinth Jan 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
1 change: 1 addition & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@
- Moved `bytes_to_packed_u32_elements` to `miden-core::utils` and added `packed_u32_elements_to_bytes` inverse function ([#2458](https://github.com/0xMiden/miden-vm/pull/2458)).
- [BREAKING] Removed `Process`, `VmStateIterator` and `miden_processor::execute_iter()` ([#2483](https://github.com/0xMiden/miden-vm/pull/2483)).
- [BREAKING] Removed `miden debug`, `miden analyze` and `miden repl` ([#2483](https://github.com/0xMiden/miden-vm/pull/2483)).
- [BREAKING] Change backend from winterfell to Plonky3 ([#2472](https://github.com/0xMiden/miden-vm/pull/2472)).

## 0.20.1 (2025-12-14)

Expand Down
Loading
Loading