Synchronize State Circuit

[ashWhiteHat]

Todo

• out dated api modification Outdated API for some opcodes #230
• copy table sync Copy table out of sync from circuits impl #377
• rw table sync RW table is out-of-sync with the circuits impl #376
• synchronize prev column [WIP] Prev Value Column Synchronization #415
• create error execution state synchronizing status
• cover test signextend opcode modification #389 (review)

Contraints

Resource	Constraints	Circuit	Spec	Synchronized
Start	1.0	🍗	🍗	✅
	1.1	🍗	🍗	✅
	1.2	🍗	🍗	✅
	1.3	🍗	🍗	✅
	1.4	🍗	🍗	✅
	1.5	🍗	🐥	🚧
Memory	2.0	🍗	🍗	✅
	2.1	🐔	🍗	🚧
	2.2	🍗	🍗	✅
	2.3	🍗	🍗	✅
	2.4	🍗	🍗	✅
	2.5	🍗	🍗	✅
	2.6	🍗	🐥	🚧
Stack	3.0	🍗	🍗	✅
	3.1	🍗	🍗	✅
	3.2	🍗	🍗	✅
	3.3	🍗	🍗	✅
	3.4	🍗	🍗	✅
	3.5	🍗	🍗	✅
	3.6	🍗	🐥	🚧
Storage	4.0	🍗	🍗	✅
	4.1	🍗	🍗	✅
	4.2	🍗	🐥	✅
CallContext	5.0	🍗	🍗	✅
	5.1	🍗	🍗	✅
	5.2	🍗	🍗	✅
	5.3	🍗	🍗	✅
	5.4	🍗	🍗	✅
	5.5	🍗	🐥	✅
Account Storage	6.0	🍗		✅
	6.1	🍗	🐥	🚧
	6.2	🍗	🐥	🚧
TxRefund	7.0	🍗	🍗	✅
	7.1	🍗	🍗	✅
	7.2	🍗	🍗	✅
	7.3	🐥	🍗	✅
	7.4	🍗	🐥	✅
TxAccessListAccount	8.0	🍗	🍗	✅
	8.1	🍗	🍗	✅
	8.2	🍗	🍗	✅
	8.3	🍗	🍗	✅
	8.4	🐥	🍗	✅
	8.5	🍗	🐥	✅
TxAccessListAccountStorage	9.0	🍗	🍗	✅
	9.1	🍗	🍗	✅
	9.2	🍗	🍗	✅
	9.3	🍗	🍗	✅
	9.4	🐥	🍗	✅
	9.5	🍗	🐥	✅
TxLog	10.0	🍗	🍗	✅
	10.1	🍗	🍗	✅
	10.2	🍗	🍗	✅
	10.3	🍗	🐥	✅
TxReceipt	11.0	🐥	🍗	✅
	11.1	🐥	🍗	✅
	11.2	🐥	🍗	✅
	11.3	🐥	🍗	✅
	11.4	🍗	🍗	✅
	11.5	🍗	🐥	✅

Todo: 🥚
Checking:🐣
Implementing:🐥
Reviewing:🐔
Completed:🍗

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

[aguzmant103]

Note: this could also be impacting the State Circuit
#376