0xMiden · greenhat · Nov 13, 2025 · Nov 13, 2025
diff --git a/examples/auth-component-no-auth/Cargo.lock b/examples/auth-component-no-auth/Cargo.lock
diff --git a/examples/auth-component-rpo-falcon512/Cargo.lock b/examples/auth-component-rpo-falcon512/Cargo.lock
diff --git a/examples/basic-wallet-tx-script/Cargo.lock b/examples/basic-wallet-tx-script/Cargo.lock
diff --git a/examples/basic-wallet/Cargo.lock b/examples/basic-wallet/Cargo.lock
diff --git a/examples/counter-contract/Cargo.lock b/examples/counter-contract/Cargo.lock
diff --git a/examples/counter-note/Cargo.lock b/examples/counter-note/Cargo.lock
diff --git a/examples/p2id-note/Cargo.lock b/examples/p2id-note/Cargo.lock
diff --git a/examples/storage-example/Cargo.lock b/examples/storage-example/Cargo.lock
diff --git a/tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.hir b/tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.hir
@@ -1102,6 +1102,6 @@ builtin.component root_ns:root@1.0.0 {
             builtin.ret_imm 1048576;
         };
 
-        builtin.segment readonly @1048576 = 0x00000001000000210000001f00000030001000000000000073722e65746f6e5f6576697463612f73676e69646e69622f6372732f302e372e302d7379732d657361622d6e6564696d;
+        builtin.segment readonly @1048576 = 0x00000001000000210000001f00000030001000000000000073722e65746f6e5f6576697463612f73676e69646e69622f6372732f302e382e302d7379732d657361622d6e6564696d;
     };
 };
diff --git a/tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.masm b/tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.masm
@@ -5,7 +5,7 @@ proc init
     trace.240
     exec.::intrinsics::mem::heap_init
     trace.252
-    push.[4557231304381646024,333629999424525359,2740222180108318868,7644147313808679059]
+    push.[1554473420111659168,832244429625754668,5418308924757320907,17702588667154917010]
     adv.push_mapval
     push.262144
     push.5

diff --git a/tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.wat b/tests/integration/expected/abi_transform_tx_kernel_get_inputs_4.wat
@@ -615,5 +615,5 @@
     end
     local.get 2
   )
-  (data $.rodata (;0;) (i32.const 1048576) "miden-base-sys-0.7.0/src/bindings/active_note.rs\00\00\00\00\00\00\10\000\00\00\00\1f\00\00\00!\00\00\00\01\00\00\00")
+  (data $.rodata (;0;) (i32.const 1048576) "miden-base-sys-0.8.0/src/bindings/active_note.rs\00\00\00\00\00\00\10\000\00\00\00\1f\00\00\00!\00\00\00\01\00\00\00")
 )
diff --git a/tests/integration/expected/adv_load_preimage.hir b/tests/integration/expected/adv_load_preimage.hir
@@ -745,6 +745,6 @@ builtin.component root_ns:root@1.0.0 {
             builtin.ret_imm 1048576;
         };
 
-        builtin.segment readonly @1048576 = 0x000000210000009700000028001000000000000073722e6d656d2f62696c6474732f6372732f302e372e302d7379732d62696c6474732d6e6564696d;
+        builtin.segment readonly @1048576 = 0x000000210000009700000028001000000000000073722e6d656d2f62696c6474732f6372732f312e372e302d7379732d62696c6474732d6e6564696d;
     };
 };