Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
ba5aa2b
refactor: add `Felt` type unified for off-chain and on-chain code,
greenhat Jan 27, 2026
1519870
refactor: move `Word` and derived types from `miden-crypto` to `miden…
greenhat Feb 11, 2026
2340896
chore: add `make build_target_miden` task and `targe-miden` CI job in…
greenhat Feb 13, 2026
d852c32
fix: bring wasm+miden Felt API on par with native
greenhat Feb 13, 2026
06d007b
fix: build `miden-field` for wasm+miden target
greenhat Feb 13, 2026
c5ae258
fix: imports for `LexicographicWord`, remove `AsRef` impl for `Word`
greenhat Feb 16, 2026
0e06cae
refactor: change the shape of the `Word` type from a tuple to named f…
greenhat Feb 16, 2026
d0a0ae6
chore: formatting
greenhat Feb 16, 2026
2374a2b
refactor: make the inner type private in `Felt`
greenhat Feb 16, 2026
9ab51d9
chore: make `miden-field` crate a workspace dependency
greenhat Feb 16, 2026
2adaca4
chore: add README.md for the `miden-field` crate
greenhat Feb 16, 2026
d973a9b
refactor: use `format!`
greenhat Feb 16, 2026
b818ccc
fix: re-export `miden_field::word` module from `miden-crypto`
greenhat Feb 17, 2026
f3f7bda
refactor: rename `miden_field::WORD_SIZE_FELT` to `WORD_SIZE_FELTS`
greenhat Feb 17, 2026
81f9ce6
fix: `cargo check --all-targets --no-default-features` for the `miden…
greenhat Feb 17, 2026
a08abee
test: implement `Arbitrary` for `Felt`
greenhat Feb 17, 2026
ad0c03f
refactor: `native.rs` -> `native/mod.rs`
greenhat Feb 17, 2026
ea183ce
chore: add tests to ensure equivalence of `Felt` vs `Goldilocks`
greenhat Feb 18, 2026
2d67e4c
chore: convert `Word` tests to proptests
greenhat Feb 18, 2026
21199a3
refactor: re-export `p3-field` traits in `miden-field`
greenhat Feb 19, 2026
04f5af6
fix: gate `word!` to be available in the off-chain target only
greenhat Feb 19, 2026
a897b5b
test: add the roundtrip test for `Word::reversed`
greenhat Feb 19, 2026
daab99c
fix: don't clobber `RUSTFLAGS` env var `build-target-miden` task
greenhat Feb 19, 2026
f3e1a5a
chore: add doc comment for `Word::reversed`
greenhat Feb 19, 2026
440b59e
refactor: define `align(16)` for `Word` only for miden target
greenhat Feb 19, 2026
59dadc1
test: add a compile-time check that `Word` has the same layout as `[F…
greenhat Feb 20, 2026
7e5a2cb
fix: check that `MIDENC_TARGET_IS_MIDEN_VM` env var is not empty
greenhat Feb 20, 2026
12a70dc
chore: add comment explaining why `Word` fields have to be public
greenhat Feb 23, 2026
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
4 changes: 4 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
## 0.22.3 (unreleased)

- Refactored to introduce a unified `Felt` type for on-chain and off-chain code ([#819](https://github.com/0xMiden/crypto/pull/819)).

## 0.22.2 (2026-02-01)

- Re-exported `p3_keccak::VECTOR_LEN`.
Expand Down
15 changes: 15 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[workspace]
exclude = ["miden-crypto-fuzz"]
members = ["miden-crypto", "miden-crypto-derive", "miden-serde-utils"]
members = ["miden-crypto", "miden-crypto-derive", "miden-field", "miden-serde-utils"]
resolver = "3"

[workspace.package]
Expand Down
1 change: 1 addition & 0 deletions miden-crypto/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,7 @@ hashbrown = { features = ["serde"], optional = true, version
hkdf = { default-features = false, version = "0.12" }
k256 = { features = ["ecdh", "ecdsa"], version = "0.13" }
miden-crypto-derive.workspace = true
miden-field = { path = "../miden-field" }
miden-serde-utils.workspace = true
num = { default-features = false, features = ["alloc", "libm"], version = "0.4" }
num-complex = { default-features = false, version = "0.4" }
Expand Down
3 changes: 1 addition & 2 deletions miden-crypto/src/hash/blake/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,10 @@
use alloc::vec::Vec;

use p3_field::PrimeField64;
use p3_goldilocks::Goldilocks as Felt;
use proptest::prelude::*;

use super::*;
use crate::rand::test_utils::rand_vector;
use crate::{Felt, rand::test_utils::rand_vector};

#[test]
fn blake3_hash_elements() {
Expand Down
2 changes: 1 addition & 1 deletion miden-crypto/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ pub mod word;

// RE-EXPORTS
// ================================================================================================
pub use p3_goldilocks::Goldilocks as Felt;
pub use miden_field::Felt;
pub use word::{Word, WordError};

pub mod field {
Expand Down
Loading