Add missing constraints to state circuit spec

[ed255]

• CallContext
• TxRefund
• TxAccessListAccount
• TxAccessListAccountStorage
• AccountDestructed

Circuit implementation related issue: privacy-scaling-explorations/zkevm-circuits#568

[ashWhiteHat]

Todo

• create state circuit check list
• synchronize circuit and spec
• complete state circuit
• add prev value constraints

Related Issues

• Finish all target of read-write consistency check
• Coherence between state/storage updates in state circuit - MPT circuit
• Redundant constraints between circuits that share a table
• check possible redundant constrain between copy circuit and state circuit
• merge EVM circuit and state circuit
• Meta: CircuitInputBuilder progress status

Reference

• ZKEVM - State Circuit - Design Rationale
• state db in geth
• State Proof
• State Circuit
• State Circuit

Completed Related Issue

• fix state circuit order and packing issue
• Add missing constraints to state circuit
• implement tx log state circuit part
• Extend negative tests in the state circuit
• Update state circuit according to specs
• [state circuit] implement the new spec
• State Circuit Tracker

[ashWhiteHat]

AccountDestructed is on hold because SELFDESTRUCT is on hold.
#259 (comment)

[ashWhiteHat]

close because of #203 (comment)