Eduard S.

@z2trillion @lispc do you think this issue has been resolved already with the current state of the state circuit?

I found this reference in the circuits to this issue: https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/9c4ce84699b1958216d50591c2a4bdaf8399020d/zkevm-circuits/src/state_circuit.rs#L511-L513

I think this is not considered in this PR but I'm wondering the following: for Taiko, have you consider the possibility to include a tx with invalid signature in the...

The spec needs to be rewritten according to the refactor work done on the circuit implementation. Miha will work on it after the witness generator work is finished.

@Brechtpd mentioned that he will be working on this

> I think the MPT spec is significantly more prio than this. Anyway @ed255 could you confirm?? Both tasks are important, but I think it's ok to prioritize the MPT...

Here are some design notes (from 5 months ago) from Brecht about the keccak packed multi implementation: https://hackmd.io/NaTuIvmaQCybaOYgd-DG1Q?view#Packed-implementation

> Given that the PoW era is gone and PoA consensus doesn't have block rewards, should we even consider supporting that? For the L2 zkRollup probably we don't need to...

I forgot to add this https://github.com/privacy-scaling-explorations/zkevm-specs/pull/243 U.U We need to update EndBlock with this check.

For this precompile we should leverage on the work done in halo2wrong: the ECDSA verification: https://github.com/privacy-scaling-explorations/halo2wrong/blob/63bde545d934e69c806ef9bc8b18f03f6ec0fe8e/ecdsa/src/ecdsa.rs#L91 The linked ECDSA verification circuit only passes the constraints when the verification succeeds. In...