perf: optimize operator tracking with bitmap implementation

[prajwolrg]

Description

Implements a memory-efficient OperatorBitmap structure to replace Vec<OperatorIdx> across the bridge subprotocol to reduce memory usage for operator set tracking while improving performance of set operations.

I used Claude Code for generating tests and updating docstrings.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Refactor
• New or updated tests
• Dependency Update

Notes to Reviewers

Checklist

• I have performed a self-review of my code.
• I have commented my code where necessary.
• I have updated the documentation if needed.
• My changes do not introduce new warnings.
• I have added (where necessary) tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.
• I have disclosed my use of AI
  in the body of this PR.

Related Issues

[github-actions]

Commit: 412b866

SP1 Execution Results

program	cycles	success
EVM EE STF	1,172,795	✅
CL STF	332,280	✅
Checkpoint	2,422	✅

[codecov]

Codecov Report

❌ Patch coverage is 94.65649% with 14 lines in your changes missing coverage. Please review.
✅ Project coverage is 74.43%. Comparing base (7c37990) to head (cbc22e0).
⚠️ Report is 5 commits behind head on main.

Files with missing lines	Patch %	Lines
...asm/subprotocols/bridge-v1/src/state/assignment.rs	88.88%	10 Missing ⚠️
...tes/asm/subprotocols/bridge-v1/src/state/bitmap.rs	97.60%	3 Missing ⚠️
...es/asm/subprotocols/bridge-v1/src/state/deposit.rs	85.71%	1 Missing ⚠️

@@            Coverage Diff             @@
##             main    #1073      +/-   ##
==========================================
+ Coverage   74.31%   74.43%   +0.12%     
==========================================
  Files         492      501       +9     
  Lines       40960    42336    +1376     
==========================================
+ Hits        30439    31514    +1075     
- Misses      10521    10822     +301     

Flag	Coverage Δ
functional	52.38% <14.90%> (-0.18%)	⬇️
unit	53.65% <94.27%> (+0.81%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Files with missing lines	Coverage Δ
...tes/asm/subprotocols/bridge-v1/src/state/bridge.rs	96.95% <100.00%> (ø)
...s/asm/subprotocols/bridge-v1/src/state/operator.rs	96.19% <100.00%> (+0.19%)	⬆️
...es/asm/subprotocols/bridge-v1/src/state/deposit.rs	96.24% <85.71%> (-0.11%)	⬇️
...tes/asm/subprotocols/bridge-v1/src/state/bitmap.rs	97.60% <97.60%> (ø)
...asm/subprotocols/bridge-v1/src/state/assignment.rs	93.67% <88.88%> (-2.33%)	⬇️

... and 33 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[storopoli]

ACK e90fb0a

[Rajil1213]

There is something to be said about whether this kind of optimization is even needed given that there are not going to be that many operators. Barring that, I've left a few nits (both on the APIs and the docs) but there are no major blockers.

[storopoli]

ACK a26e6a1

[prajwolrg]

There is something to be said about whether this kind of optimization is even needed given that there are not going to be that many operators. Barring that, I've left a few nits (both on the APIs and the docs) but there are no major blockers.

The optimization is not that significant. I worked on it because it was brought up in some old PR.

[Rajil1213]

Did another pass after the recent changes and left a few more comments. I think it'll be good to go for me once those have been addressed.

[storopoli]

ACK cbc22e0

[storopoli]

@evgenyzdanovich or @irnb can someone from @alpenlabs/chain-protocol review this as well please?