Shinsaku Ashizawa

Simply run make test after fix #14 and #24 ``` ➜ 9cc git:(fix-the-issue-14) make test ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ tmp-test1.s:16830:2: error: 32-bit absolute addressing is not supported in 64-bit mode lea r12, .L.str680...

Simply run make test ``` ➜ 9cc git:(master) ✗ make test cc -Wall -std=c11 -g -c -o gen_ir.o gen_ir.c cc -Wall -std=c11 -g -c -o gen_x86.o gen_x86.c cc -Wall -std=c11...

# Abstract I optimized `parallelize` method. This is depending on https://github.com/zcash/halo2/pull/595. I did experiment about pallalelize [here](https://github.com/zcash/halo2/issues/548#issuecomment-1120201797). I changed `parallelize` method according to following result. ## Summary ### Words |...

# Abstract I optimized `fft` and `ifft`. This is depending on https://github.com/zcash/halo2/pull/595. - Butterfly Arithmetic I changed the butterfly arithmetic to take four coefficients `double_butterfly_arithmetic `. I introduced highest part...

# Abstract I am going to create PR about optimization https://github.com/zcash/halo2/issues/548#issuecomment-1141652252. In `arithmetic`, there are important components so I separate these in order to optimize and refactor for each. This...

Refactor arithmetic and domain

6

# Refactor and Test fft I refactored and added some tests to `arithmetic` and `domain`. ## What I did ### replace bitreverse with `u64` reverse_bits Use built-in [method](https://doc.rust-lang.org/std/primitive.u32.html) for bit...

lt gt eq opcode modification

3

Part of https://github.com/privacy-scaling-explorations/zkevm-specs/issues/230 I introduced `StepState` and `Instruction` to `LT`, `GT` and `EQ` opcodes. The circuit constraints and logics are aligned with zkevm-circuits. https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/main/zkevm-circuits/src/evm_circuit/execution/comparator.rs#L31 I would appreciate it if you...

# Todo - [ ] implement precompile table lookup - [ ] implement precompile bytecode https://github.com/ashWhiteHat/zkevm-specs/blob/feat/precompile-dataCopy/src/zkevm_specs/evm/typing.py#L255 - [ ] design native call name space - [ ] change dir: precompile...

Close https://github.com/privacy-scaling-explorations/zkevm-specs/issues/275 I added constraints to `check_start` and fixed `test_state_circuit` test.