diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1604ccfd9e..06f5bf6aea 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -14,8 +14,7 @@
 ### Changes
 
 - Added a check that the guardian public key is not one of the approver public keys ([#3764](https://github.com/0xMiden/protocol/pull/3764)).
-- [BREAKING] Updated the Miden VM and crypto crate family to v0.31.0 and `midenc-hir-type` to v0.13.0. Execution proofs now include a format version and compatible VM and PVM verifier roots, and protocol deserialization rejects unversioned proof bytes from earlier releases. Verifier outcomes now report separate VM and precompile security parameters ([#3806](https://github.com/0xMiden/protocol/pull/3806)).
-- [BREAKING] Updated the Miden VM and crypto crate family to v0.30.0 and `midenc-hir-type` to v0.12.0. `LocalTransactionProver::new` now takes `miden_prover::Prover`, `CoreLibrary` exposes one merged package, and `TransactionVerifier::verify` now returns `VerificationOutcome` so callers can handle outstanding precompile work ([#3782](https://github.com/0xMiden/protocol/pull/3782)).
+- [BREAKING] Updated the Miden VM and crypto crate family from v0.29.4 to v0.32.0. The cumulative update gives `CoreLibrary` one merged package, makes `LocalTransactionProver::new` take `miden_prover::Prover`, makes `TransactionVerifier::verify` return `VerificationOutcome`, adds a format version and compatible VM and PVM verifier roots to execution proof bytes, reports separate VM and precompile security parameters, and moves all Plonky3 dependencies to v0.7.0 ([#3782](https://github.com/0xMiden/protocol/pull/3782), [#3806](https://github.com/0xMiden/protocol/pull/3806), [#3813](https://github.com/0xMiden/protocol/pull/3813)).
 - [BREAKING] Removed the `BlockProof` placeholder in favor of `ExecutionProof` on `ProvenBlock`, matching `ProvenTransaction` and `ProvenBatch`, and `LocalBlockProver::prove` now takes an `ExecutedBlock` ([#3703](https://github.com/0xMiden/protocol/pull/3703)).
 - Added the `miden::protocol::tx::before_block_witness_load` kernel event, emitted before a block other than the reference block is read from the partial blockchain ([#3699](https://github.com/0xMiden/protocol/pull/3699)).
 - [BREAKING] Refactored `AccountVaultDelta` to track generic assets. `FungibleAssetDelta`, `NonFungibleAssetDelta` and `NonFungibleDeltaAction` were removed ([#3485](https://github.com/0xMiden/protocol/pull/3485)).
diff --git a/Cargo.lock b/Cargo.lock
index 8e131a83c3..c29a59a8dc 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2201,9 +2201,9 @@ dependencies = [
 
 [[package]]
 name = "miden-ace-codegen"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "65f9d6ffad0b155887eba85dfb0b92e01ba5d5660f7045e05c0def66468754cf"
+checksum = "1205d711fa2237f0c12bd00ff639b5b00f830704ad19eed337465a2341d72193"
 dependencies = [
  "miden-constraint-compiler",
  "miden-core",
@@ -2235,15 +2235,15 @@ dependencies = [
 
 [[package]]
 name = "miden-air"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "07b14b82d9644ba416d0867ed8562faa9319757f1b6a92d79323a574cff71a0b"
+checksum = "b07865434d24d0217bab657d2a4e65fe472a894868b8f8edce31379f1ca229b2"
 dependencies = [
  "miden-ace-codegen",
  "miden-core",
  "miden-crypto",
  "miden-utils-indexing",
- "p3-field 0.6.3",
+ "p3-field",
  "p3-security",
  "proptest",
  "thiserror",
@@ -2252,9 +2252,9 @@ dependencies = [
 
 [[package]]
 name = "miden-assembly"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5f7a45c20f28c1b56a3c84d7a2106adc16256890790faab52119ebaf00e91ef8"
+checksum = "a2570665cc21c10d3b8681f5992070f2db91296db731cc0656ffeba9d26f84f5"
 dependencies = [
  "env_logger",
  "log",
@@ -2270,9 +2270,9 @@ dependencies = [
 
 [[package]]
 name = "miden-assembly-syntax"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c8c46c4a51cc7c2779a152d750dc36743db5bf18a9f7af08ae24a1602383bed5"
+checksum = "711a563c327987a9fa9238b6bf9d286157e51c7818cb47a90e25c7e5c47b184b"
 dependencies = [
  "env_logger",
  "log",
@@ -2293,9 +2293,9 @@ dependencies = [
 
 [[package]]
 name = "miden-assembly-syntax-cst"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "138a0a3ff1944026d197ee8fbdacbd96a06edceabc65e526077a24f2cc327de8"
+checksum = "513403ea4accd4255c14c1ac8026a18c25c9eab17fb49a44693b44c81f4bd64f"
 dependencies = [
  "miden-debug-types",
  "miden-rowan",
@@ -2314,9 +2314,9 @@ dependencies = [
 
 [[package]]
 name = "miden-constraint-compiler"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "88d24ab39a51cb478b7d1f08cb62b4cd07d4c2a731dd9f48ac8e66953de33060"
+checksum = "1760d033707d03cf00965e99fdfadf9a905f83b7c4bc1604f331cf580af2e863"
 dependencies = [
  "miden-core",
  "miden-crypto",
@@ -2324,9 +2324,9 @@ dependencies = [
 
 [[package]]
 name = "miden-core"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7d85d8b19a315ff033ad1aafbd88ecee74ec6ed4a8e875ea05d7e84685cb388f"
+checksum = "359ddf8ba29ab31924c9b71ff5ccf9b7c11c7aa0129a1e189aa4cd6f30b355dc"
 dependencies = [
  "derive_more",
  "log",
@@ -2343,9 +2343,9 @@ dependencies = [
 
 [[package]]
 name = "miden-core-lib"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dcbdceb47a9731953e26bb22a74fc268c2c09e27948a939eb15bf997e3f60ba3"
+checksum = "4bf796fb15f11e9770273b6d87d498692e643e1fce817ea63e6eca42e3de4d48"
 dependencies = [
  "env_logger",
  "fs-err",
@@ -2364,9 +2364,9 @@ dependencies = [
 
 [[package]]
 name = "miden-core-lib-codegen"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "69980a98be6055dbfcbcb21434a6a91d1a17129bc7f474f4410d783b37e3ecf7"
+checksum = "25fd10c163d02a2b7f945554075a1fda7558925f613812a45a5c00bf5449caea"
 dependencies = [
  "miden-core",
  "miden-precompiles",
@@ -2375,9 +2375,9 @@ dependencies = [
 
 [[package]]
 name = "miden-crypto"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "068f9963f8d72ead5338329882a75c8947c60f9d4dbc8beac38fca37e0c2f8b2"
+checksum = "ba74f29ee9756631ed85794c0a15f5099a29758436526f57b607e1a1cadf293f"
 dependencies = [
  "blake3",
  "cc",
@@ -2400,10 +2400,10 @@ dependencies = [
  "p3-dft",
  "p3-goldilocks",
  "p3-keccak",
- "p3-matrix 0.6.3",
- "p3-maybe-rayon 0.6.3",
+ "p3-matrix",
+ "p3-maybe-rayon",
  "p3-symmetric",
- "p3-util 0.6.3",
+ "p3-util",
  "rand 0.10.2",
  "rand_chacha 0.10.0",
  "rayon",
@@ -2417,9 +2417,9 @@ dependencies = [
 
 [[package]]
 name = "miden-crypto-derive"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e723365f532ab1bc6615fae0c4f23df3c8d4e2590d9dbf8584dd1c5419dbe9ca"
+checksum = "e7578de2aff9443eab6852c12b7a0fbf12e937a0a27e92c33605a3df1abd8da2"
 dependencies = [
  "quote",
  "syn 2.0.119",
@@ -2427,9 +2427,9 @@ dependencies = [
 
 [[package]]
 name = "miden-debug-types"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e1cf1d95befe562cbaaba874858995623c57b8cc2b4679091c6f6ca5b9456c6e"
+checksum = "1297b5e30b30e5907a96bd29e9b192f3dc75a510cf5293d93611985eb1a7c9f1"
 dependencies = [
  "memchr",
  "miden-crypto",
@@ -2447,16 +2447,16 @@ dependencies = [
 
 [[package]]
 name = "miden-field"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "323775f0278ed850ec966d4d9b812fd06a1910e914a94de37b78d5f939b3ea1a"
+checksum = "b98bd4d24d3ab2cda622cf530fc32c1e93b4f552eea2763935013eab2e0c1ded"
 dependencies = [
  "miden-serde-utils",
  "num-bigint 0.5.1",
  "p3-challenger",
- "p3-field 0.6.3",
+ "p3-field",
  "p3-goldilocks",
- "p3-util 0.6.3",
+ "p3-util",
  "paste",
  "rand 0.10.2",
  "serde",
@@ -2475,35 +2475,35 @@ dependencies = [
 
 [[package]]
 name = "miden-lifted-air"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "cd63ca9fdd9db1804ffcdcaa3ee5384a59798fd4433b1ddd9bdae6733fab3348"
+checksum = "2d02a60f2a8e334e143afab7a3368467ff320d6c49c85383d8299751d33d68db"
 dependencies = [
- "p3-air 0.6.3",
+ "p3-air",
  "p3-challenger",
- "p3-field 0.6.3",
- "p3-matrix 0.6.3",
- "p3-util 0.6.3",
+ "p3-field",
+ "p3-matrix",
+ "p3-util",
  "thiserror",
 ]
 
 [[package]]
 name = "miden-lifted-stark"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "af47f2c6e40388438a9cddcf6504618e3a89fc3771905bcd76137e6d08d47d33"
+checksum = "f06988129906e9ae1228ea4d8e286e6d93e3331b1b79e73ce22e4d89b886f4d4"
 dependencies = [
  "miden-lifted-air",
  "miden-stark-transcript",
  "miden-stateful-hasher",
  "p3-challenger",
  "p3-dft",
- "p3-field 0.6.3",
+ "p3-field",
  "p3-goldilocks",
- "p3-matrix 0.6.3",
- "p3-maybe-rayon 0.6.3",
+ "p3-matrix",
+ "p3-maybe-rayon",
  "p3-symmetric",
- "p3-util 0.6.3",
+ "p3-util",
  "rand 0.10.2",
  "serde",
  "thiserror",
@@ -2512,9 +2512,9 @@ dependencies = [
 
 [[package]]
 name = "miden-mast-package"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5e8aaf78c69df33dbb624f1baf1e20ad870c1d5b113ba52ae81c33e00904096c"
+checksum = "443ecb138aceaad1b03a0952675ec53807a768f1b466ef0b68adc3b9363f84d0"
 dependencies = [
  "hashbrown 0.17.1",
  "miden-assembly-syntax",
@@ -2576,9 +2576,9 @@ dependencies = [
 
 [[package]]
 name = "miden-package-registry"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1e22e2416a279bd731fe2063565bcbef153a0314d789171ddc3b89c8d7d3fb38"
+checksum = "800a99645d14dbbb59c7e43dd28305cf7a3af8c82aee1fa2724f67f6e54a5346"
 dependencies = [
  "miden-assembly-syntax",
  "miden-core",
@@ -2592,9 +2592,9 @@ dependencies = [
 
 [[package]]
 name = "miden-precompiles"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7a192c2b5604754e3d00adf6567de38b691dd4906591e4f6e76018d9c50ec2cc"
+checksum = "d64ed605e6320c507ab620dda1edfeba66ef724b685d59b5424fc36d587bb3f0"
 dependencies = [
  "miden-core",
  "miden-crypto",
@@ -2603,9 +2603,9 @@ dependencies = [
 
 [[package]]
 name = "miden-precompiles-air"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "028d2ffcafabd2883c9b1974e2dad709c9b641430222e3e86d4a2f0feede1c1a"
+checksum = "59088ac195be1b19e67e8eebee431f93fed6a568c235df5c4c84f5d43891f063"
 dependencies = [
  "miden-air",
  "miden-core",
@@ -2619,9 +2619,9 @@ dependencies = [
 
 [[package]]
 name = "miden-precompiles-prover"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8e8bb0dbaae84e2476e5f4e2ac096dd2451991d3639eb23cda4349cfb2405f57"
+checksum = "30dd301d04535670c466447194b2fb319aa10169b6df0134ab03b34bc3f1f36e"
 dependencies = [
  "miden-air",
  "miden-core",
@@ -2639,9 +2639,9 @@ dependencies = [
 
 [[package]]
 name = "miden-precompiles-verifier"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "547910f93798c5058f8082b9098c82d974d91e5db0fef0a1d237c950e440c281"
+checksum = "8556c5da1c78d30c91146d0a9dd3b9aa50f8d278ed65ae945e87bfa35549b5ce"
 dependencies = [
  "miden-ace-codegen",
  "miden-core",
@@ -2658,9 +2658,9 @@ dependencies = [
 
 [[package]]
 name = "miden-processor"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "fdbc77b27f73b9f11b096e717d3a7d1dbeeb2f463b39aa87159bb7a366412438"
+checksum = "d3f06ff53be95356c8fba4b573e813be52dc2d1c0877786d8c9d3929f5503dc9"
 dependencies = [
  "hashbrown 0.17.1",
  "itertools 0.15.0",
@@ -2679,9 +2679,9 @@ dependencies = [
 
 [[package]]
 name = "miden-project"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6ac817a217ac04a14d02c2379170046e4a1b8c974243fc8154cac9b667ce47cf"
+checksum = "1f504225b1cc724198ac7fccba5ec4c763054f2b538cbb984657eb6e785bf49f"
 dependencies = [
  "miden-assembly-syntax",
  "miden-core",
@@ -2748,9 +2748,9 @@ dependencies = [
 
 [[package]]
 name = "miden-prover"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ce90f969e88d11ae357778153e50f5048a86fc5aa9ccf1c81405ad6f47ad1aec"
+checksum = "f7f2af66603361338c69cfe4b44dcd3475b65fac947b8bbb5e1f113812a7daea"
 dependencies = [
  "miden-air",
  "miden-core",
@@ -2775,11 +2775,11 @@ dependencies = [
 
 [[package]]
 name = "miden-serde-utils"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d00be824eeed0b886cc8e7c8a8f4d7d983c533cd0df8f7e6e759e8d09fa95e58"
+checksum = "65ee80264ca8539c385d03accb546ce53acbeb7e83123f3fd1a1472bb3090922"
 dependencies = [
- "p3-field 0.6.3",
+ "p3-field",
  "p3-goldilocks",
  "wincode",
 ]
@@ -2805,23 +2805,23 @@ dependencies = [
 
 [[package]]
 name = "miden-stark-transcript"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f43a21ad4a75d66d0782542d6e2343e7cd282e72a51c0b23828a8f8f2bee6e02"
+checksum = "5838c111819c2789e26e5fa2c891634c9617595af41800a17e41767a438c191c"
 dependencies = [
  "p3-challenger",
- "p3-field 0.6.3",
+ "p3-field",
  "serde",
  "thiserror",
 ]
 
 [[package]]
 name = "miden-stateful-hasher"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bc43c78b31145b05c59b349e24d11e26fbd3937292405664b07e673c8a163c7d"
+checksum = "1e0da6e0925167bc8681bd4fed43ed8cc7f7276c2a3e54973427e199598d4d51"
 dependencies = [
- "p3-field 0.6.3",
+ "p3-field",
  "p3-symmetric",
 ]
 
@@ -2880,9 +2880,9 @@ dependencies = [
 
 [[package]]
 name = "miden-utils-core-derive"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "97a909f5c1ab670bdf801b021e111c6da36eda7d2f45ad8dd8cb7101f2dd4b95"
+checksum = "5b22f1e067b238d967e58d0f0bbd9b83884ce0d787fad85a609c3ceab0a43413"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2891,9 +2891,9 @@ dependencies = [
 
 [[package]]
 name = "miden-utils-diagnostics"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "fb916257875c850fffd0ce62913ba07cb2e3027a93bad3b433fc5b37857c74ed"
+checksum = "73b58b01977ed67d9d7a8f949408983506cafae0d057f0fd755b1d5c9813e083"
 dependencies = [
  "miden-debug-types",
  "miden-miette",
@@ -2902,9 +2902,9 @@ dependencies = [
 
 [[package]]
 name = "miden-utils-indexing"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4f4efc411b81285240b915202c5ca1b0d3abbf608ec4ddd4a3ed3bfcf94061be"
+checksum = "7aa1e042a7cc1f095259d9344b7cdec0a5e9b8a4e100b8d5aae3242b31fe6013"
 dependencies = [
  "miden-serde-utils",
  "proptest",
@@ -2913,9 +2913,9 @@ dependencies = [
 
 [[package]]
 name = "miden-utils-sync"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dd62f64a8b2f346270a8665d3a6f4d16b1304c7268f1a5c1b41d7ed8f59903e9"
+checksum = "cf61bdb8e94f0e9f7c59fcbf0c37faa092a98c2d19152377c1fc2044255bfd58"
 dependencies = [
  "lock_api",
  "loom",
@@ -2925,9 +2925,9 @@ dependencies = [
 
 [[package]]
 name = "miden-verifier"
-version = "0.31.0"
+version = "0.32.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "357666bb2ae5a7b05139f741f4bf6c51fa93b8637317e67f9c6fc38354cf2d5c"
+checksum = "ec4e5cd6450f03cbda2cb7addec584acca088e97d38ea9855e2f9b35604870df"
 dependencies = [
  "miden-air",
  "miden-core",
@@ -2941,9 +2941,9 @@ dependencies = [
 
 [[package]]
 name = "midenc-hir-type"
-version = "0.13.0"
+version = "0.14.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4ca6e8aa439a331f2c8d8f007bd23fd703204bd2d83a95f14b7449a27d701ca4"
+checksum = "fb7a80104367d0c2359fa48a4a82102c76ce41b6a1a68b2ad99c88b613a87e0c"
 dependencies = [
  "miden-formatting",
  "miden-serde-utils",
@@ -3146,93 +3146,65 @@ checksum = "13c45bb4a6ae1280ec0803b1ef9d3455eb50f01efbbe1447ab020f1d54fba9d8"
 
 [[package]]
 name = "p3-air"
-version = "0.6.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ddb1be05c0d6f691afe0c9f468018a9a37cfa904dee78a8081ec96eb3cdd88e8"
-dependencies = [
- "p3-field 0.6.3",
- "p3-matrix 0.6.3",
- "tracing",
-]
-
-[[package]]
-name = "p3-air"
-version = "0.7.0-rc.1"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4e5a182153bc42bfb4e7483b27fdca707295fa0a3199be71d10678ac11be6678"
+checksum = "1de1da5a48410a5a68356cb0c43e2642b6fab1bb5906d77bd33e3e4c4d2a7785"
 dependencies = [
- "p3-field 0.7.0-rc.1",
- "p3-matrix 0.7.0-rc.1",
+ "p3-field",
+ "p3-matrix",
  "serde",
  "tracing",
 ]
 
 [[package]]
 name = "p3-blake3"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6f202f5fbcceb6f56f783d98efb5de27e5a171470e3364de97b0923b39c87ab5"
+checksum = "04035123bce04faf2e6de7ef2fd2d5c250b225a3410f4591d3f352ffb1e8c9b8"
 dependencies = [
  "blake3",
  "p3-symmetric",
- "p3-util 0.6.3",
+ "p3-util",
 ]
 
 [[package]]
 name = "p3-challenger"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "84d5d5e1ecf2c80b09b48ce870e8abd08b643454101c5dc9d0fd71bfbd78224d"
+checksum = "d33cda6d6dadf1e541121a479589206b83877889d04a3e6a42610c834d348ed2"
 dependencies = [
- "p3-field 0.6.3",
- "p3-maybe-rayon 0.6.3",
- "p3-monty-31",
+ "p3-field",
+ "p3-maybe-rayon",
  "p3-symmetric",
- "p3-util 0.6.3",
+ "p3-util",
  "tracing",
 ]
 
 [[package]]
 name = "p3-dft"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4321a952da2721ecd85ca593ea189798dfb4e439a2cc1378ce1442091880f173"
+checksum = "4344492a3a2981879411ef31b51b12fb364efeda59b9ac855d7d92559e7b46e8"
 dependencies = [
  "itertools 0.15.0",
- "p3-field 0.6.3",
- "p3-matrix 0.6.3",
- "p3-maybe-rayon 0.6.3",
- "p3-util 0.6.3",
+ "p3-field",
+ "p3-matrix",
+ "p3-maybe-rayon",
+ "p3-util",
  "spin 0.12.3",
  "tracing",
 ]
 
 [[package]]
 name = "p3-field"
-version = "0.6.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "53db75d38e04fc255826f388eca9d05976733dc9754aa3db411bc9ea1a37c1a0"
-dependencies = [
- "itertools 0.15.0",
- "num-bigint 0.5.1",
- "p3-maybe-rayon 0.6.3",
- "p3-util 0.6.3",
- "paste",
- "rand 0.10.2",
- "serde",
- "tracing",
-]
-
-[[package]]
-name = "p3-field"
-version = "0.7.0-rc.1"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "73cb102ff706ecf56decc4481ed60ba31017a27a6ab9b4825adc9bcd8ff58b7a"
+checksum = "f45f7364ae3aac1bd42e8dfec4aa76d1bc9087c4749649c893a671e386e96727"
 dependencies = [
  "itertools 0.15.0",
  "num-bigint 0.5.1",
- "p3-maybe-rayon 0.7.0-rc.1",
- "p3-util 0.7.0-rc.1",
+ "p3-maybe-rayon",
+ "p3-util",
  "paste",
  "rand 0.10.2",
  "serde",
@@ -3241,19 +3213,18 @@ dependencies = [
 
 [[package]]
 name = "p3-goldilocks"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d03b3f31080df31be723b876709246f8f1e532e1c5b82efb5281d705c8304c63"
+checksum = "5c62b44c110832ba3d3a5c11160f591205e23f81a08ceb8c7be1a3a71fc4c214"
 dependencies = [
  "num-bigint 0.5.1",
- "p3-challenger",
  "p3-dft",
- "p3-field 0.6.3",
+ "p3-field",
  "p3-mds",
  "p3-poseidon1",
  "p3-poseidon2",
  "p3-symmetric",
- "p3-util 0.6.3",
+ "p3-util",
  "paste",
  "rand 0.10.2",
  "serde",
@@ -3262,40 +3233,25 @@ dependencies = [
 
 [[package]]
 name = "p3-keccak"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ae50c8c37eb847c660298fb275e53c025c49b2623a8cfabf67f5322258b2b4db"
+checksum = "fc78b429da6c572d3d3764d5da86d711f75c0937c9821a8741dd0b4c2314819d"
 dependencies = [
  "p3-symmetric",
- "p3-util 0.6.3",
+ "p3-util",
  "tiny-keccak",
 ]
 
 [[package]]
 name = "p3-matrix"
-version = "0.6.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "473eb920c446a6f4536e0d3528fbdca2a23c0e24e1d0d7767452e6d385dd335c"
-dependencies = [
- "itertools 0.15.0",
- "p3-field 0.6.3",
- "p3-maybe-rayon 0.6.3",
- "p3-util 0.6.3",
- "rand 0.10.2",
- "serde",
- "tracing",
-]
-
-[[package]]
-name = "p3-matrix"
-version = "0.7.0-rc.1"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "824af1f13cac43e2ff2cbec58da2b86150b50d72fcfd9e0b132cfc13f553ed7d"
+checksum = "92f322bd7dded657d51f4c3adcc64bed27ffe4894dbd0f9c077d5670ce73217e"
 dependencies = [
  "itertools 0.15.0",
- "p3-field 0.7.0-rc.1",
- "p3-maybe-rayon 0.7.0-rc.1",
- "p3-util 0.7.0-rc.1",
+ "p3-field",
+ "p3-maybe-rayon",
+ "p3-util",
  "rand 0.10.2",
  "serde",
  "tracing",
@@ -3303,63 +3259,33 @@ dependencies = [
 
 [[package]]
 name = "p3-maybe-rayon"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e6fddfd435f96394769414cf5590b77058aa506659bf20d6592e9d1989e04440"
+checksum = "486d6396b0d22274f862a6c5987bb25f9ea61b34f21b54c23a2ee53f2d8c20ea"
 dependencies = [
  "rayon",
 ]
 
-[[package]]
-name = "p3-maybe-rayon"
-version = "0.7.0-rc.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "36bd5a80aab5d4c8eafc9f94deaf3b6e47b77cbf49d82e303b420679da39a02e"
-
 [[package]]
 name = "p3-mds"
-version = "0.6.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "551ba0ab2cccd89f85a99450224898aff224e323bbf61f777ba6344f0896ef10"
-dependencies = [
- "p3-dft",
- "p3-field 0.6.3",
- "p3-symmetric",
- "p3-util 0.6.3",
- "rand 0.10.2",
-]
-
-[[package]]
-name = "p3-monty-31"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "871f635f7340cd0868b17e43e0c98fefdafdaed90469d0725caf6d8372a2a47c"
+checksum = "00e11f572a44aa3c91057e59625d0992aacc6ffdb80dc1b44948d5587d66a159"
 dependencies = [
- "itertools 0.15.0",
- "num-bigint 0.5.1",
  "p3-dft",
- "p3-field 0.6.3",
- "p3-matrix 0.6.3",
- "p3-maybe-rayon 0.6.3",
- "p3-mds",
- "p3-poseidon1",
- "p3-poseidon2",
+ "p3-field",
  "p3-symmetric",
- "p3-util 0.6.3",
- "paste",
+ "p3-util",
  "rand 0.10.2",
- "serde",
- "spin 0.12.3",
- "tracing",
 ]
 
 [[package]]
 name = "p3-poseidon1"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8d0d304e9a1f29c0d66534aa84e69528e2118351fdce08dcf5898af4e0fecc32"
+checksum = "457e895bcf89b77e062653021b60c12ccd94dce599c54898d9ced4bfbabc820d"
 dependencies = [
- "p3-field 0.6.3",
+ "p3-field",
  "p3-mds",
  "p3-symmetric",
  "rand 0.10.2",
@@ -3367,59 +3293,49 @@ dependencies = [
 
 [[package]]
 name = "p3-poseidon2"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "43eb8a73a26d14becaed1c67c3e8a047e4311d7909b402383c82ca9643ba17c6"
+checksum = "65501f32d58b5055c9470ccff459b2576de5f4e6ba72e91f78457231bc67b1c6"
 dependencies = [
- "p3-field 0.6.3",
+ "p3-field",
  "p3-mds",
  "p3-symmetric",
- "p3-util 0.6.3",
+ "p3-util",
  "rand 0.10.2",
 ]
 
 [[package]]
 name = "p3-security"
-version = "0.7.0-rc.1"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c4d14e457c7301089b2dca72ed71e4c900780552007a00fff9fd1f29160a5283"
+checksum = "2347869521f4b61e8851ccb8327879a70e64291e884748d14ebc58bc0dd4dbe5"
 dependencies = [
  "libm",
- "p3-air 0.7.0-rc.1",
- "p3-field 0.7.0-rc.1",
- "p3-util 0.7.0-rc.1",
+ "p3-air",
+ "p3-field",
+ "p3-util",
  "serde",
 ]
 
 [[package]]
 name = "p3-symmetric"
-version = "0.6.3"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2015ea80cad969b6aabf27a04884286fe1354393b166d968ee0d80a95126b2a4"
+checksum = "3335886a1e2bec45877e050f76e6bf7a1a77019111c5f599d8b41c5889a2ea1c"
 dependencies = [
  "itertools 0.15.0",
- "p3-field 0.6.3",
- "p3-util 0.6.3",
+ "p3-field",
+ "p3-util",
  "serde",
 ]
 
 [[package]]
 name = "p3-util"
-version = "0.6.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6c5466fc40e6df89d3b291a2eff16b33e68e8571207790370137ec18090aadab"
-dependencies = [
- "rayon",
- "serde",
-]
-
-[[package]]
-name = "p3-util"
-version = "0.7.0-rc.1"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4f7bdc2183053def336f61d9180ed22458c4bd4b68f2a1b74e66527eafb8ddf3"
+checksum = "e020b468e9188da32310d8c876225e5183df105a1970368df97f8a76b85dcc5b"
 dependencies = [
- "p3-maybe-rayon 0.7.0-rc.1",
+ "p3-maybe-rayon",
  "serde",
 ]
 
diff --git a/Cargo.toml b/Cargo.toml
index 75d11b6a18..eecd00eece 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -48,20 +48,20 @@ miden-tx                   = { default-features = false, path = "crates/miden-tx
 miden-tx-batch             = { default-features = false, path = "crates/miden-tx-batch", version = "0.17" }
 
 # Miden dependencies
-miden-assembly         = { default-features = false, version = "0.31.0" }
-miden-assembly-syntax  = { default-features = false, version = "0.31.0" }
-miden-core             = { default-features = false, version = "0.31.0" }
-miden-core-lib         = { default-features = false, version = "0.31.0" }
-miden-crypto           = { default-features = false, version = "0.31.0" }
-miden-crypto-derive    = { default-features = false, version = "0.31.0" }
-miden-mast-package     = { default-features = false, version = "0.31.0" }
-miden-package-registry = { default-features = false, version = "0.31.0" }
-miden-precompiles      = { default-features = false, version = "0.31.0" }
-miden-processor        = { default-features = false, version = "0.31.0" }
-miden-project          = { default-features = false, version = "0.31.0" }
-miden-prover           = { default-features = false, version = "0.31.0" }
-miden-utils-sync       = { default-features = false, version = "0.31.0" }
-miden-verifier         = { default-features = false, version = "0.31.0" }
+miden-assembly         = { default-features = false, version = "0.32.0" }
+miden-assembly-syntax  = { default-features = false, version = "0.32.0" }
+miden-core             = { default-features = false, version = "0.32.0" }
+miden-core-lib         = { default-features = false, version = "0.32.0" }
+miden-crypto           = { default-features = false, version = "0.32.0" }
+miden-crypto-derive    = { default-features = false, version = "0.32.0" }
+miden-mast-package     = { default-features = false, version = "0.32.0" }
+miden-package-registry = { default-features = false, version = "0.32.0" }
+miden-precompiles      = { default-features = false, version = "0.32.0" }
+miden-processor        = { default-features = false, version = "0.32.0" }
+miden-project          = { default-features = false, version = "0.32.0" }
+miden-prover           = { default-features = false, version = "0.32.0" }
+miden-utils-sync       = { default-features = false, version = "0.32.0" }
+miden-verifier         = { default-features = false, version = "0.32.0" }
 
 # External dependencies
 alloy-sol-types = { default-features = false, version = "1.5" }
diff --git a/crates/miden-agglayer/asm/agglayer/miden-project.toml b/crates/miden-agglayer/asm/agglayer/miden-project.toml
index 16ed14f165..b84555c44c 100644
--- a/crates/miden-agglayer/asm/agglayer/miden-project.toml
+++ b/crates/miden-agglayer/asm/agglayer/miden-project.toml
@@ -7,6 +7,6 @@ namespace = "agglayer"
 path      = "mod.masm"
 
 [dependencies]
-miden-core      = { linkage = "dynamic", version = "0.31" }
+miden-core      = { linkage = "dynamic", version = "0.32" }
 miden-protocol  = { linkage = "dynamic", version = "0.16.0" }
 miden-standards = { linkage = "dynamic", version = "0.16.0" }
diff --git a/crates/miden-agglayer/asm/components/miden-project.toml b/crates/miden-agglayer/asm/components/miden-project.toml
index 97b6e2ff26..924bb39fee 100644
--- a/crates/miden-agglayer/asm/components/miden-project.toml
+++ b/crates/miden-agglayer/asm/components/miden-project.toml
@@ -6,6 +6,6 @@ version = "0.16.0"
 
 [workspace.dependencies]
 miden-agglayer  = { linkage = "static", version = "0.16.0" }
-miden-core      = { linkage = "dynamic", version = "0.31" }
+miden-core      = { linkage = "dynamic", version = "0.32" }
 miden-protocol  = { linkage = "dynamic", version = "0.16.0" }
 miden-standards = { linkage = "dynamic", version = "0.16.0" }
diff --git a/crates/miden-protocol/asm/miden-project.toml b/crates/miden-protocol/asm/miden-project.toml
index 39313a744a..c74efc0973 100644
--- a/crates/miden-protocol/asm/miden-project.toml
+++ b/crates/miden-protocol/asm/miden-project.toml
@@ -12,7 +12,7 @@ members = [
 version = "0.16.0"
 
 [workspace.dependencies]
-miden-core           = { linkage = "dynamic", version = "0.31" }
+miden-core           = { linkage = "dynamic", version = "0.32" }
 miden-protocol-utils = { linkage = "static", path = "protocol_utils" }
 miden-tx-kernel      = { linkage = "dynamic", path = "kernels/transaction" }
 miden-tx-kernel-core = { linkage = "static", path = "kernels/transaction-core" }
diff --git a/crates/miden-standards/asm/components/miden-project.toml b/crates/miden-standards/asm/components/miden-project.toml
index e83cfc3c27..bc1bff622e 100644
--- a/crates/miden-standards/asm/components/miden-project.toml
+++ b/crates/miden-standards/asm/components/miden-project.toml
@@ -37,6 +37,6 @@ members = [
 version = "0.16.0"
 
 [workspace.dependencies]
-miden-core      = { linkage = "dynamic", version = "0.31" }
+miden-core      = { linkage = "dynamic", version = "0.32" }
 miden-protocol  = { linkage = "dynamic", version = "0.16.0" }
 miden-standards = { linkage = "static", version = "0.16.0" }
diff --git a/crates/miden-standards/asm/standards/miden-project.toml b/crates/miden-standards/asm/standards/miden-project.toml
index 6468f82bc5..f358f5e8da 100644
--- a/crates/miden-standards/asm/standards/miden-project.toml
+++ b/crates/miden-standards/asm/standards/miden-project.toml
@@ -7,5 +7,5 @@ namespace = "miden::standards"
 path      = "mod.masm"
 
 [dependencies]
-miden-core     = { linkage = "dynamic", version = "0.31" }
+miden-core     = { linkage = "dynamic", version = "0.32" }
 miden-protocol = { linkage = "dynamic", version = "0.16.0" }
diff --git a/deny.toml b/deny.toml
index 0ee55d2be8..d54eee4498 100644
--- a/deny.toml
+++ b/deny.toml
@@ -49,13 +49,6 @@ skip = [
   { name = "itertools" },
   { name = "num-bigint" },
   { name = "sha3" },
-  # Miden VM 0.31 mixes Plonky3 0.6.3 with p3-security's 0.7.0 release candidates.
-  # See https://github.com/0xMiden/miden-vm/issues/3773.
-  { name = "p3-air", version = "=0.7.0-rc.1" },
-  { name = "p3-field", version = "=0.7.0-rc.1" },
-  { name = "p3-matrix", version = "=0.7.0-rc.1" },
-  { name = "p3-maybe-rayon", version = "=0.7.0-rc.1" },
-  { name = "p3-util", version = "=0.7.0-rc.1" },
   # Allow duplicate rand versions - miden-field uses 0.10, proptest uses 0.9.
   { name = "getrandom" },
   { name = "rand" },