huitseeker

Window Access Walkthrough: RowWindow, Matrix Views, RefCast, and Regressions

2026-03-28T22:40:11Z by Showboat 0.6.1

Goal

This walkthrough explains one narrow slice of the AIR API history in Plonky3:

1. what PR #1357 / commit 808fb9e2 introduced,

huitseeker

UX Walkthrough: Hunting mod_12289 with the Old and New MASM Analyses

This walkthrough studies one bug hunt: the missing u32assert on the advice remainder in miden::core::crypto::dsa::falcon512_poseidon2::mod_12289.

It compares three user experiences:

• the baseline analysis
• the current flat diagnostics
• the current optional grouped mode

The case study is the advice remainder in mod_12289. The quotient is checked with u32assert2, but the remainder loaded at line 57 reaches u32overflowing_sub and u32overflowing_add without a u32assert.

huitseeker

diff --git i/crates/mast-package/src/package/mod.rs w/crates/mast-package/src/package/mod.rs
index 8420ddc8e..0deeb3436 100644
--- i/crates/mast-package/src/package/mod.rs
+++ w/crates/mast-package/src/package/mod.rs
@@ -90,6 +90,110 @@ impl Package {
     }
 }
 
+#[cfg(test)]
+mod tests {

huitseeker

   Compiling proc-macro2 v1.0.106
   Compiling quote v1.0.45
   Compiling unicode-ident v1.0.12
   Compiling autocfg v1.2.0
   Compiling serde_core v1.0.228
   Compiling serde v1.0.228
   Compiling either v1.10.0
   Compiling paste v1.0.15
   Compiling strength_reduce v0.2.4
   Compiling rand_core v0.10.0

huitseeker

   Compiling rand_xoshiro v0.8.0
   Compiling p3-koala-bear v0.5.1 (/home/huitseeker/tmp/plonky3/koala-bear)
   Compiling p3-baby-bear v0.5.1 (/home/huitseeker/tmp/plonky3/baby-bear)
   Compiling p3-mersenne-31 v0.5.1 (/home/huitseeker/tmp/plonky3/mersenne-31)
    Finished `bench` profile [optimized] target(s) in 2.48s
     Running benches/bench_field.rs (target/release/deps/bench_field-b2f381ff2baaf80f)
Gnuplot not found, using plotters backend
Benchmarking BabyBear batched_lc/chunk=1, len=100
Benchmarking BabyBear batched_lc/chunk=1, len=100: Warming up for 3.0000 s
Benchmarking BabyBear batched_lc/chunk=1, len=100: Collecting 100 samples in estimated 5.0000 s (59M iterations)

huitseeker

diff --git i/crates/project/src/profile.rs w/crates/project/src/profile.rs
index 85df31b8d..b25654512 100644
--- i/crates/project/src/profile.rs
+++ w/crates/project/src/profile.rs
@@ -22,6 +22,70 @@ pub struct Profile {
     metadata: Metadata,
 }
 
+trait ProfileOverrides {
+    fn debug_override(&self) -> Option<bool>;

huitseeker

CI Analysis: cargo publish --dry-run failures between 50680fe and 21a84c58

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

huitseeker

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

huitseeker

Transaction Benchmark Results - Commit f277721d

Generated: 2026-02-20

---

Machine Characteristics

Property	Value

huitseeker

Transaction Benchmark Results - Branch: huitseeker/huitseeker/update-miden-deps-p3

Generated: 2026-02-20

---

Machine Characteristics

Property	Value