zkevm-circuits icon indicating copy to clipboard operation
zkevm-circuits copied to clipboard

Refactor PublicInput circuit with challenge API

Open andyguzmaneth opened this issue 3 years ago • 3 comments

andyguzmaneth avatar Oct 27 '22 11:10 andyguzmaneth

Public input circuit has less columns and logic that Keccak and State circuit

andyguzmaneth avatar Oct 27 '22 12:10 andyguzmaneth

Using the challenge API in the Public Circuit is part of a more general discussion about how should the different randomness be handled, see #856.

davidnevadoc avatar Nov 09 '22 09:11 davidnevadoc

Transaction table - done Block table - requires challenges on the EVM circuit.

Dependant on #750

andyguzmaneth avatar Nov 24 '22 12:11 andyguzmaneth

Note: now should be able to test it. Just need to rebase with #750 to test this

andyguzmaneth avatar Dec 15 '22 12:12 andyguzmaneth

Update: need some small adjustments.

andyguzmaneth avatar Jan 19 '23 12:01 andyguzmaneth