Skip to content

Upstream Goldilocks compatibility #2499

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

Closed
Al-Kindi-0 wants to merge 50 commits into from
Closed

Upstream Goldilocks compatibility #2499

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
50 commits
Select commit Hold shift + click to select a range
4736f4f
wip: working except for prover
Al-Kindi-0 Dec 14, 2025
fee0a83
working integration test for prove/verify
Al-Kindi-0 Dec 14, 2025
2437267
add back full precompile support
Al-Kindi-0 Dec 14, 2025
bed2c6a
tests e2e passing
Al-Kindi-0 Dec 14, 2025
d9ca5bf
fix minor errors
Al-Kindi-0 Dec 14, 2025
700585f
fixed lints
Al-Kindi-0 Dec 14, 2025
690ac69
removed obsolete files
Al-Kindi-0 Dec 15, 2025
23e9205
address remaining issues in lib/core
Al-Kindi-0 Dec 15, 2025
fc7e812
chore: clean up structure and move configs to air crate
Al-Kindi-0 Dec 15, 2025
79fd7be
minor fixes
Al-Kindi-0 Dec 15, 2025
5006a82
update docs
Al-Kindi-0 Dec 15, 2025
546d22c
Merge branch 'next' into al-migrate-p3-ver2
Al-Kindi-0 Dec 15, 2025
4a994e4
fix obsolete files
Al-Kindi-0 Dec 15, 2025
99cce58
chore: removed gpu-metal
Al-Kindi-0 Dec 15, 2025
e0dbd91
fix lints
Al-Kindi-0 Dec 15, 2025
fa2c800
fix misc. ci issues
Al-Kindi-0 Dec 15, 2025
ba9067c
minor fix
Al-Kindi-0 Dec 15, 2025
a460470
fix doc lint
Al-Kindi-0 Dec 15, 2025
6288da4
another round of cleanups
Al-Kindi-0 Dec 15, 2025
4321dac
fix duplicate spin versions
Al-Kindi-0 Dec 15, 2025
db37f7a
remove traces of random trace rows
Al-Kindi-0 Dec 16, 2025
43250b0
add test with fast-parallel path
Al-Kindi-0 Dec 16, 2025
e3568a2
wip: self-review
Al-Kindi-0 Dec 17, 2025
d5c8ae0
wip: self-review 2/2
Al-Kindi-0 Dec 17, 2025
c297359
minor edits
Al-Kindi-0 Dec 17, 2025
8fb6023
address Adrian's feedback
Al-Kindi-0 Dec 18, 2025
1dae5af
Merge remote-tracking branch 'origin/next' into al-migrate-p3-ver2
Al-Kindi-0 Dec 18, 2025
58b3bff
fix: adapt test files for Plonky3 API after merge from next
Al-Kindi-0 Dec 18, 2025
0897ace
chore: cleanup and update to p3-miden (#2478)
Al-Kindi-0 Dec 18, 2025
8906708
chore: align Plonky3 migration diff with next branch
adr1anh Dec 18, 2025
7e677e3
chore: remove unnecessary assert in get_divisors and fix comments
Al-Kindi-0 Dec 18, 2025
cf7d660
refactor: use try_inverse for trace computation helpers
Al-Kindi-0 Dec 18, 2025
236525d
chore: update to latest plonky3 and miden-crypto/huitseeker/p3-rebased
adr1anh Dec 18, 2025
01d24ba
fixup! chore: update to latest plonky3 and miden-crypto/huitseeker/p3…
adr1anh Dec 18, 2025
27bcf2f
chore(ci): fix `no-std` build
adr1anh Dec 18, 2025
c965a33
chore: add CHANGELOG.md entry
adr1anh Dec 18, 2025
ec529ca
chore: update Plonky3 and use `QuadFelt::from`
adr1anh Dec 18, 2025
30c9c7d
refactor(fri_ops): add `expect` to `try_inverse()`
adr1anh Dec 18, 2025
76b4d79
fix(fri-fold-op): return error on zero-domain size
adr1anh Dec 19, 2025
e249cbc
chore: remove AlgebraicSponge imports
Al-Kindi-0 Dec 21, 2025
89ab277
chore: update miden-crypto to d116c7c
Al-Kindi-0 Dec 21, 2025
256f292
refactor: use p3-miden cleanup-and-simplify branch and patched Plonky3
Al-Kindi-0 Dec 23, 2025
6072068
Revert "refactor: use p3-miden cleanup-and-simplify branch and patche…
Al-Kindi-0 Dec 23, 2025
1c2cc51
initial commit
adr1anh Dec 24, 2025
774c4c5
refactor: replace `p3-miden-goldilocks` with `p3-goldilocks`
adr1anh Dec 23, 2025
1863b61
fix: patch crates.io Plonky3 deps to use git versions
Al-Kindi-0 Dec 24, 2025
c8dba03
fix: update codebase for upstream p3-goldilocks compatibility
Al-Kindi-0 Dec 24, 2025
9682036
fix docs
Al-Kindi-0 Dec 24, 2025
9b97702
chore: fix imports
adr1anh Dec 24, 2025
a48e96a
bug: fix EventID
adr1anh Dec 24, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
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 @@ -14,6 +14,7 @@
- Fixed memory chiplet constraint documentation: corrected `f_i` variable definitions, first row flag, and `f_mem_nl` constraint expression ([#2423](https://github.com/0xMiden/miden-vm/pull/2423)).
- Removed undocumented `err_code` field from `ExecutionError::NotU32Values` ([#2419](https://github.com/0xMiden/miden-vm/pull/2419)).
- 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] Change backend from winterfell to Plonky3 ([#2472](https://github.com/0xMiden/miden-vm/pull/2472)).

## 0.20.1 (2025-12-14)

Expand Down
Loading