Mainnet Tracking Issue #1281
Description
Prover
- Risc0 Bonsai adapter cycle budget checks #1282
- Parallel proof production #1283
- Better session recovery #1284
- RPC for manual proof production, in case we need to hand trigger stuff #1285
- Implement guest side proof verification #1306
- Local proving on GPUs
- Multi prover
Common (sequencer, full node, prover)
- Structured concurrency:
- Graceful shutdown and no storage problems -- solved by Structured concurrency: Part 1 #1214 and Structured Concurrency: Part 2 #1216
- P2P layer for soft confirmations #1485
- Create P2P service crate, runners init this
- Fetch soft confirmations through P2P network pipeline
- (?) Mempool propagation
- (?) Activate mempool RPC’s
- Citrea/Clementine/Bridge backend shared e2e testing framework
- Retreive configs from env if .toml is not present #1291
- Upgrade dependencies (risc0, reth, alloy etc) #1292
- Profiling / metrics for full nodes, provers, sequencer #1293
- Grafana dashboard for network and nodes — enable in testnet
- Trusted BitcoinLightClient update as SystemTransactions #1350
- (?) Consider replacing bcs with borsh #1008
- Update hardhat and ethers versions under e2e evm #1301
- Change names of REVEAL_BATCH_PROOF_PREFIX and REVEAL_LIGHT_CLIENT_PREFIX #1026
- Refactor SoftConfirmationError enum #1048
- Investigate changing return types in stf blueprint #1047
- Don't panic, return Err on sov-tx deserializtion or signature errors #1061
- Implement State and Block Overrides for eth_call #1267
- LedgerDB supports migrations #1338
Sequencer
- Check compressed state diff size before sending seq_commtiments #1213
- Sequencer: Get rid of dry run transactions logs #1215
- Sequencer DA limit throttling #1357
Full node
- Pruning and it's subissues
- Light client proof verification and necessary RPC's #1294
- Assert proof outputs #1345
Bitcoin DA
- Bitcoin DA: post-submit tx monitoring #892
- DA: Don't chain chunks #1022 -- @ekrembal says they might need this property
- Bitcoin DA: Optimize WTXID mining #1295
- Switch to mempool.space fee estimation #1274
- Mining
wxtidin bitcoin DA should be done inside a task spawned withspawn_blocking#1251 - Write BitcoinDA Verifier tests against light client namespace #1020
EVM
- Offchain contracts #1351
- Support Dencun #1299
- Calculate statistic for brotli compression and charge user accordingly #1298
- (?) Put l1_fee_rate into the BlockEnv #1266
- (?) EVM: Tx receipt does not need L1 fee rate field #1257
- Enable EIP-7212 #1314
State Diffs
- StateDiff Postprocessing - in zk or outside of zk? #1248
- Meta: Stateful StateDiff (tracking issue) #1237
- R&D: Port zksync compression for repeated writes (values) #1505
- Implement a PoW stateful statediff #1499
- Stateful Statediff: Implement Compressors' combination #1508
- Stateful Statediff: RepeatedWrites (compress keys) #1512
- R&D: Port zksync compression for repeated writes (values) #1505
- Stateful Statediff: Implement code_hash Compressor #1510
- Stateful Statediff: Optimize Compressor size for nonce diff #1520
@kpp please add here
Batch Proof
- Double check STF for assumed hashes etc. #1337
- Patch Risc0 ecdsa and keccak256 crates #1344
- Batch jmt update #994
- Take some of the inputs as constants in ZK circuits #1444
Light Client Proof
Some implementation already at esad/light-client-starter
- Decide on circuit inputs/outputs
- Update with state diff decision
- Extract light client namespace inclusion & completeness proofs -- chunk parts cause problems here
- Build pipeline -- light client depends on batch proof method id #1635
- Create light client prover
- Add header chain proof to our light client proofs #1421
- Stitch and check pre and post state roots from batch proofs #1422
- Take some of the inputs as constants in ZK circuits #1444
Blockscout
- Revisit fee calc on the backend.
- Block fees show up wrong (burn meter and amount)
- Indexing of base fee vault and L1 fee vault are wrong, and they don't show up on state section of a tx