This repository was archived by the owner on Jul 5, 2024. It is now read-only.

Feat/challenge evm circuit#1020

Merged

adria0 merged 24 commits into

mainfrom

feat/challenge-evm-circuit

Jan 12, 2023

Commits on Dec 13, 2022

Challange in EVM circuit WIP
adria0
committed

Commits on Dec 15, 2022

Fixed copy_circuit_valid_sha3
adria0
committed

Commits on Dec 16, 2022

Remove leftovers
adria0
committed
lookup_input wip
adria0
committed

Commits on Jan 2, 2023

Commits on Jan 3, 2023

limit 12 pows in lookup_powers_of_randomness
adria0
committed
EVM lookup columns in phase3
adria0
committed

Commits on Jan 9, 2023

Extract Value contents to order instead ordering by Value
adria0
committed
Removed leftovers & misspells
adria0
committed
Move Value::transpose from halo2 to this crate
adria0
committed
Fix phases in is_zero gagets
adria0
committed

Commits on Jan 10, 2023

Commits on Jan 11, 2023

Commits on Jan 12, 2023