Miden v0.34.0 減少證明器的記憶體用量，並加入破壞性變更

Miden v0.33.0 引入了分割式 VM witness proving、每個 STARK 的安全性檢查、Eidos hashing、SIMD 加速，以及批次 proof-of-work grinding。它也改變了 precompile witness 的處理方式，並將 ExecutionProof 與 ExecutionWitness 格式升級至第 2 版，因此生產者與使用者必須同步升級。 Miden v0.34.0 延續此版本，提供更快的 lifted STARK proving，並透過 Merkle-layer pruning 將 prover 的峰值記憶體降低 13–20%。API 變更讓 main traces 可以更早釋放，使測得的記憶體使用量再降低 7%。本次更新加入 precompile proving 的 64 GiB 預設記憶體預算、Eidos wasm32 SIMD128 支援、更快的 native 與 WebAssembly 壓縮，以及 Plonky3 v0.8.0。 Miden v0.34.0 也在 parser、prover、MastForest、Falcon signing 與 AIR constraints 方面引入破壞性變更。安全性修正改變了 proof relation digests、遞迴驗證器的 MAST roots、block-stack 與 END APIs，以及 ACE registry roots，使舊有 proofs 失效。交易者應將 Miden v0.34.0 升級視為協議與開發者基礎設施的改善，而不是直接的市場催化劑。