[Tracking] L2 Prod readiness tasks

[Arkenan]

Perf/Block-STM

• [Tracking] Performance #2259

Security/Audits

Validium

• Add Validium Mode to the L2 #2313
• Alternative DA integration (Celestia, Avail, EigenDA)

Prover network integration (gevulot)

TDX

Custom Native Token

Documentation

Prover

• L2: hardcode zkvms verification keys in the OnChainProposer contract to take as reference for the verify function #2195
• L2: validate block that's being verified in OnChainProposer #2203
• L2: Prove L1 communication (deposits and withdrawals are correct). #2143
• L2: EIP 4844 Proof of equivalence #1100
• L2: Adapt prover for LEVM #2144
• L2: Fix Risc0. #2145
• L2: complete CI workflow with real proving #2234
• L2: Benchmark the proving of an 18M gas block #2245

State diffs/blobs

• Reconstruct states in l2 from l1 blobs. L2: Add a command to the CLI to reconstruct the full L2 state from all the blob data on the L1 #1103
• Limit block building according to blob size estimating state diff size L2: Close blocks if their blob size reaches the limit #975

LEVM

• Decouple with REVM db.
• L2: Fix hive regressions for LEVM #2158
• L2: Test that levm and revm yield the same results in a testnet like Holesky #2146
• Adapt prover to use LEVM #2225
• L2: After integration, replace the deposit txs magic data hack with our own deposit/privileged transaction type. #2147

Account Abstraction

• L2: RIP 7212 - secp256r1 eliptic curve precompile for webauthn and other use cases. #2148

Based

• Based L2 Tentative Roadmap #2337 (needs internal review before filing issues).

Misc

• L2: Add more integration tests. #2155
• L2: Include l2 fee into l1 deposit transaction cost. #2156
• L2: Gas pricing. #2157
• L2: Add prover client as part of the integration test #2224