Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

…ism#454)

<!--
Thank you for your Pull Request. Please provide a description above and
review
the requirements below.

Bug fixes and new features should include tests.

Contributors guide:
https://github.com/alloy-rs/core/blob/main/CONTRIBUTING.md

The contributors guide includes instructions for running rustfmt and
building the
documentation.
-->

<!-- ** Please select "Allow edits from maintainers" in the PR Options
** -->

## Motivation

Ref #449 

<!--
Explain the context and why you're making that change. What is the
problem
you're trying to solve? In some cases there is not a problem and this
can be
thought of as being the motivation for your change.
-->

## Solution
Implement TryFrom<AnyRpcTransaction> for OpTxEnvelope 
<!--
Summarize the solution and provide any necessary context needed to
understand
the code change.
-->

## PR Checklist

- [x] Added Tests
- [x] Added Documentation
- [ ] Breaking changes

---------

Co-authored-by: Matthias Seitz <matthias.seitz@outlook.de>

Closes #363

…estate (#454)

This fixes an issue where the pipeline cursor was initialized with
B256::ZERO as the safe head output root. When the derivation pipeline
exhausts L1 data (EndOfSource) before deriving any new blocks, the
driver returns this zero value instead of the agreed prestate's actual
output root, causing the FPP to reject honest claims and accept zero
claims.

…estate (#454)

This fixes an issue where the pipeline cursor was initialized with
B256::ZERO as the safe head output root. When the derivation pipeline
exhausts L1 data (EndOfSource) before deriving any new blocks, the
driver returns this zero value instead of the agreed prestate's actual
output root, causing the FPP to reject honest claims and accept zero
claims.

* kona-client: fix trace-extension short-circuit at capped leaves

Fixes a bug where kona program could incorrectly treat a transition as
trace-extension and return early based solely on output-root equality,
even when the claimed L2 block number differed, enabling trivial wins
in dispute games.

* kona/client: Fix fmt & clippy (#456)

* kona-proof: fix TipCursor using zero output root instead of agreed prestate (#454)

This fixes an issue where the pipeline cursor was initialized with
B256::ZERO as the safe head output root. When the derivation pipeline
exhausts L1 data (EndOfSource) before deriving any new blocks, the
driver returns this zero value instead of the agreed prestate's actual
output root, causing the FPP to reject honest claims and accept zero
claims.

* fix(kona): bounded channel decompression with truncation per spec (#455)

Fixes multiple deviations in kona's channel decompression (bug #35):

Zlib: replace unbounded decompress_to_vec_zlib with
decompress_to_vec_zlib_with_limit to prevent zip-bomb OOM. On limit
hit (HasMoreOutput), keep partial output per spec instead of rejecting.

Brotli: cap output buffer growth at max_rlp_bytes_per_channel instead
of erroring when the doubled buffer exceeds the limit. Fixes false
rejection of valid channels near the size limit.

Both: on decompression errors, preserve partial output so batches
decoded before the error point are accepted (matching Go reference).

Per spec: "If the decompressed data exceeds the limit, things proceed
as though the channel contained only the first
MAX_RLP_BYTES_PER_CHANNEL decompressed bytes."

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

---------

Co-authored-by: inphi <mlaw2501@gmail.com>
Co-authored-by: Sebastian Stammler <seb@oplabs.co>
Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>