zkevm-circuits

zkevm-circuits copied to clipboard

copy table not included. More generally, we can refactor the codes on "each module/table costs how many rows". TODO: print 2 type of debug logs: 1. for each table/submodule, we...

lispc

Using log instead of println

1

see more on #342 see more on old pr #921

SuccinctPaul

Add exp circuit bench

1

#666

SuccinctPaul

add unit tests for stackOnlyOp opcode

5

Add some stackOnlyOp unit tests. see more on #947

SuccinctPaul

since many of error states are also in dummy way both buss mapping and circuit side , recent commit make some error states go to `fn_gen_error_state_associated_ops` and use wrong dummy...

DreamWuGit

z2trillion

Some refactoring which I believe decreases code duplication and increases code readability: - Start using the constraint builder - Start using helper utilities to better understand the intentions of the...

Brechtpd

Circuit for opcode `BALANCE`

2

Spec: https://github.com/privacy-scaling-explorations/zkevm-specs/pull/248 ### Summary 1. Update `BALANCE` bus-mapping and add circuit. 2. Fix to lookup `Balance` if account exists, otherwise lookup `NonExisting`. 3. Add a `HashSet` to save non-existent account...

silathdiir

Refactor EVM circuit with challenge API

6

- Using the challenge API instead of the instance value for randomness in EVM circuit - Maybe we´ll need another upgrade on the entire circuit? - Create a task in...

andyguzmaneth

Add TODO

1

I got too excited by the shiny merge button on https://github.com/privacy-scaling-explorations/zkevm-circuits/commit/92f3d724d9980e9658453c1ec3e9c2ec25d14828 and forgot to wait to add this TODO.

z2trillion