Jacqueline Nabaglo b6bc018cba

Simplify JUMP/JUMPI constraints and finish witness generation (#846) ...

* Simplify `JUMP`/`JUMPI` constraints and finish witness generation

* Constrain stack

2022-12-11 11:08:33 -08:00

..

errors.rs

generate_keccak_general, generate_byte

2022-12-01 12:06:29 -08:00

mem_tx.rs

Witness generation work

2022-11-15 09:26:54 -08:00

memory.rs

Fix to add_eth

2022-12-09 18:58:48 -08:00

mod.rs

Misc work on witness generation

2022-11-30 14:58:40 -08:00

operation.rs

Simplify JUMP/JUMPI constraints and finish witness generation (#846)

2022-12-11 11:08:33 -08:00

state.rs

Refactor to support PROVER_INPUT

2022-12-01 11:15:51 -08:00

traces.rs

More timing for zkEVM proofs

2022-12-09 21:48:36 -08:00

transition.rs

Implement PC instruction (#847)

2022-12-11 10:41:32 -08:00

util.rs

Misc witness generation fixes

2022-12-03 21:09:57 -08:00