revise log state constrain according to circuit implementation

[DreamWuGit]

in circuit implementation there are some minor changes to raw spec, do update in this PR .
circuit implementation: privacy-ethereum/zkevm-circuits#552

[DreamWuGit]

@ed255 Could you pls. have a look ? Thx !

[ed255]

Before approving this I would like to discuss the topic of redundant constraints; in particular the field_tag-specific constraints. This is also related to privacy-ethereum/zkevm-circuits#552

Maybe it's worth removing the redundant constraints now instead of doing it later, mainly so that the state circuit implementation doesn't grow in columns and/or degree. I'm talking specifically about the field_tag-specific constraints, which require using a selector expression. I discussed this topic with @z2trillion via chat and would like to continue it here.

[DreamWuGit]

Before approving this I would like to discuss the topic of redundant constraints; in particular the field_tag-specific constraints. This is also related to privacy-scaling-explorations/zkevm-circuits#552

Maybe it's worth removing the redundant constraints now instead of doing it later, mainly so that the state circuit implementation doesn't grow in columns and/or degree. I'm talking specifically about the field_tag-specific constraints, which require using a selector expression. I discussed this topic with @z2trillion via chat and would like to continue it here.

I am OK with it because it indeed increases much complexity, I will comment them with that issue #221

[DreamWuGit]

@ed255 removed field_tag-specific constraints and test in c487d5c & 72c84a0

[ed255]

LGTM!

[miha-stopar]

LGTM

[icemelon]

LGTM