## Summary

<!-- What does this PR do and why? Link to relevant issues. -->

## Changes

<!-- Bulleted list of key changes. -->

-

## Testing

<!-- How was this tested? Which tests cover this change? -->

- [ ] Ran tests for modified crates
- [ ] `cargo clippy` and `cargo fmt` pass

## Security Considerations

<!-- Every change to a zkVM has security implications. Describe them.
     Does this affect proof soundness? Verifier correctness? Private inputs? -->

## Breaking Changes

<!-- List any breaking changes to public APIs, proof formats, or serialization. Write "None" if not applicable. -->

None
