| Commit | Title | Run ID | Status | Conclusion | Runtime (s) | Failure Type |
|---|---|---|---|---|---|---|
| 21a84c580e1f37810e9b76d3cf250d7448d42482 | ci: simplify msrv CI check (#1673) | 22146102421 | completed | failure | 121 | MISSING_SCRIPT |
| 2f26190077c9f5c0227550ba9b74bc21a0027e29 | feat/ci: ensure static linkage of C deps (#1684) | 22143825352 | completed | failure | 940 | PUBLISH_GIT_DEP |
| 9bed52eb03b0244b79b23618c7c50abc2b19d433 | feat: Validator database (#1614) | 22117684036 | completed | failure | 889 | PUBLISH_GIT_DEP |
| 2340d92ccb8c582bf4289aab6c546d36f5f31e80 | ci: workflow cleanup follow-up (#1679) | 22093330761 | completed | failure | 940 | PUBLISH_GIT_DEP |
| ffd3f4d335736e66b53ccd84805c32a2e17e2500 | fix: compile fix from missed merge (#1683) | 22093290514 | completed | cancelled | 84 | CANCELLED |
| d3b085f586b06372b7e5814664ced8b2aa660a6d | Merge branch 'm |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| commit b32cd775a91d346a5381b84c870aac30ec5377fb | |
| Author: François Garillot <francois@garillot.net> | |
| Date: Fri Feb 20 01:26:32 2026 -0500 | |
| Fix transaction proving benchmarks | |
| - Change prove_transaction from sync to async to use prove_async() | |
| - This avoids Tokio runtime nesting issues with miden-vm 0.22.0 | |
| - Fix bug where prove_transaction wasn't being awaited in benchmarks | |
| - Proving now correctly runs and generates ~218KB proofs |
This is a hand‑off summary for someone starting fresh on a newer miden-base branch. It captures the hard‑won lessons from the old UPGRADE_LOG and the recent branch work, plus what is still broken. Treat it as a map, not a history book.
- Upgrade miden-base to miden-crypto v0.22 and miden-vm
next. - Align the kernel and host code with two breaking changes:
- hash function switch to Poseidon2
- stack ordering switch from BE to LE
- Get
make check,make test,make lint, andscripts/check-features.shpassing.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| //! Verify QuadFelt::new_complex matches the old QuadFelt::from([a, b]) behavior. | |
| //! | |
| //! Both APIs call BinomialExtensionField::new with the same array, so they should be identical. | |
| use miden_core::{Felt, QuadFelt}; | |
| use proptest::prelude::*; | |
| /// Create QuadFelt from array like the old API did. | |
| /// | |
| /// BinomialExtensionField is #[repr(transparent)] over [A; D], and PhantomData is zero-sized, |
NewerOlder