State Circuit Tracker

[z2trillion]

• Pad StateCircuit to a fixed length #558

BinaryNumberChip for simplifying code and lowering degree

• Add BinaryNumberChip for selecting tags #550
• Use BinaryNumberChip in LexicographicOrderingConfig to lower degree #566 - fixes fix state circuit order and packing issue #561

General constraints

• MPT lookups for Account/AccountStorage rows
  • Coherence between state/storage updates in state circuit - MPT circuit zkevm-specs#217
  • Add MPT table lookup to state circuit zkevm-specs#200 (comment)
  • Consolidate MPT update lookups in state circuit zkevm-specs#236
• add value_prev column and related constraints: Add initial_value column and constraints for rw consistency and initial values #591
• rw table: add committed_value to Rw::Account #557 decided not to do this.

Implement constraints for individual RwTableTags

• build_call_context_constraints
• build_account_destructed_constraints
• build_account_constraints
• build_tx_refund_constraints: Add initial_value column and constraints for rw consistency and initial values #591
• build_tx_access_list_account_storage_constraints: Add initial_value column and constraints for rw consistency and initial values #591
• build_tx_access_list_account_constraints: Add initial_value column and constraints for rw consistency and initial values #591
• build_account_storage_constraints
• implement log state circuit  #552

Nice to haves

• Think about moving Rw::TxReceipt rows to the Tx table?