Shinsaku Ashizawa

Results 61 comments of Shinsaku Ashizawa

I have this error on alpine. ``` $ make test ./8cc -w -o test/includeguard.o -c test/includeguard.c [ERROR] parse.c:2196: /usr/include/bits/alltypes.h:6:27: ';' or ',' are expected, but got va_list Makefile:17: recipe for...

@rain-1 Are you using MacOS? If so, you need to execute `$ ./Library/Developer/CommandLineTools/Packages/macOS_SDK_headers_for_macOS_10.14.pkg` according to following the issue. https://github.com/frida/frida/issues/338

Hi @osuketh What kind of test do you need?

It seems there are more efficient optimization in following comment. https://github.com/zcash/halo2/issues/548#issuecomment-1109357575 I reverted my change so this is just bench and test for `eval_polynomial` and `compute_inner_product`.

Hi @daira I fixed the PR according to your review. I would appreciate it if you would confirm. Thank you!

In terms of `assembly optimizations for pasta field arithmetic`, it's necessary to update rust version. The `asm` feature is stable latter than 1.59.0. If it's okay to update, I would...

I analysed the functions efficiency of [`create_proof`](https://github.com/zcash/halo2/blob/main/halo2_proofs/src/plonk/prover.rs#L34). https://github.com/appliedzkp/halo2/pull/36#issuecomment-1085418454 I am going to work on h() evaluation.

# Fft Optimization ## implement 2 layer butterfly arithmetic This allows us to bottom up n / 2 but it's hard to implement this with recursive. The `&[G]` array divide...

I think the following is interesting. https://github.com/zkcrypto/bls12_381/pull/84 We can reduce Montgomery reduction for each field array arithmetic. This affects so much. - [eval_poly](https://github.com/zcash/halo2/blob/main/halo2_proofs/src/arithmetic.rs#L269) - [compute_inner_product](https://github.com/zcash/halo2/blob/main/halo2_proofs/src/arithmetic.rs#L279) - [ifft_divise](https://github.com/zcash/halo2/blob/main/halo2_proofs/src/poly/domain.rs#L355) Do you have...