Testnet tracking issue

[kpp]

P1 - highest priority (required to launch Testnet)
P2 - medium (required for Testnet but easy to implement)
P3 - lowest (can be done even after launching Testnet)

sov-sdk updates:

• [P1] - backport storage system updates Implement sov-sdk storage changes #734
• [P1] - fork manager (they have L1, we need L2) - don't need a full fork manager, however being able to revert state is important Implement fork manager for L2 #736
• [P3] - Async storage read for RPC (already some implementations on our end Make Rocksdb blocking I/O async #528)
• [P3] - accelerate deps for risc0 (sec256k1 will need accelerator for new version) Accelerate risc0 dependencies #710

Prover:

• [P1] - save witness generated in a database, so sync and generating proofs can be seperated Prover: Save witness generated data in Ledger DB #737
• [P1] - better sync mechanism in the prover. Prover: Separate L1 / L2 sync #738
• [P1] - check sequencer commitment diff sizes and guarantee the serialized and compressed diff is under a certain size Sequencer: Keep state diff < 400KB #739
• [P1] - Bitcoin DA supports chunk transactions with a single commit transaction Chunks for proofs #744
• [P2] - use a more performant serialization library (in zk cycles) use Borsh for input deserialization and output deserialization #751
• [P2] - use Ozan's Bitcoin merkle tree verification Bitcoin DaVerifier use guest performant merkle verification #752
• [P2] - update to Risc0 1.0.0 update Risc0 to 1.0.0 #753
• [P2] - reproducible builds for ZK guest Risc0 reproducible builds #637
• [P3] - figure out if a better state diff format can be utilized Better State Diff Format #711
• [P3] - Research if sov state db key to key-hash mapping is performant #712
• [P3] - improve cycle counts Prover Cycle Improvements #713

A new proving system

• [P1] - sequencer constantly tracks diff size, commits when serialized and compressed state diff is close to a certain limit Sequencer: Keep state diff < 400KB #739
• [P1] - sequencer commits to L2 range not L1-L2 range Sequencer commitments should be for L2 range #748
• [P1] - batch proofs can be done for an array of sequencer commitments inside a Bitcoin block, don't enforce all sequencer commitments Prover: Proofs are splittable #747

Full node:

• [P1] - pruning
  • rename rollup config to full node config Rename RollupConfig to NodeConfig or FullNodeConfig #728
  • add config for pruning (how much to store, when to prune) to full node config Extend RollupConfig with pruning config #729
  • implement pruning based on rollup config Implement pruning for full nodes #730
• [P1] - build fetch-apply pipeline for syncing (1 thread to query, 1 thread to apply them)
  • - split L1/L2 sync Fullnode: Split L1 / L2 sync #741
  • - Separate fullnode into it's own crate #685
  • - Separate prover into it's own crate #686
• - [P2] - batch query soft confirmations (N instead of 1 by 1) Full Node: batch qeury soft confirmations to sync faster #754

All improvements:

• [P1] - research other state diff rollups regarding how they split L1 fee EVM: Figure out a way to divide L1 fees between transactions #267
  • make simulations for our case and come up with coefficients
  • implement
• [P1] - Blockscout and batch explorer
  • research rollup mode
  • fees
  • mark sys tx
  • deposits and withdrawals
• [P1] - our own fork spec for all rollup - conditions Create rollup wide hardfork spec #235
• [P2] - implement fee accumulator contracts Fee accumulator contracts #755
• [P2] - L1 fee info contracts
•  [P2] - Use L1 fee info contracts in EVM to charge L1 fee
• [P2] - send fees to fee addresses (base/priority/l1 fee addresses -- deploy the fee accumulator contracts on these addresses ) Seperate EVM fee receivers #756
• [P2] - Upgradable bridge (system contracts) Upgradeable bridge contracts #757
• [P3] - research DA send improvements Research if bitcoin DA send tx can be implemented better #714
• [P3] - implement DA send improvements
• [P3] - Precompiles (verify bitcoin tx inclusion)
  • precompiles implementation - bitcoin SPV optimized for zkvm
  • gas metering for this precompile
• [P3] - batch explorer that syncs from L1 and Citrea RPC
• [P3] - research fee-less withdrawals
• [P4] - have the batch explorer inside blockscout

[kpp]

Overridden by #832