# Pontential ideas to improve ZK performance

- Replacing ff backend with gnark or blst
- the MSMs and FFTs are already accelerated by hardware
- this improvement, if there is any, will be accelerating witness generation that is currently done by CPU in parallel

- Use FRI for halo2 PCS
- need to consider the concrete security level
- choose the right field: Goldilocks vs Mersenne vs power-of-2s vs BN

- Use HyperZexe for recursion
- link to HyperZexe design doc https://hackmd.io/9HZYHgFaQ-qiRKgHfxg9rA
- replace aggregation circuit with HyperZexe to reduce recursive circuit size
1. $\pi_1$: zkevm with halo2-kzg
2. $\pi_2$: recursive proof of $\pi_1$ over hyperplonk
3. $\pi_3$: recursive proof of $\pi_2$ over halo2-kzg
4. on chain verify $\pi_3$: