dev tracker: cpu version of halo2-fri prover

[kunxian-xia]

• trait changes in ff: https://github.com/kunxian-xia/ff/tree/feat/fri
  • add trait for simd feature
  • add trait for extension
  • toolchain changes
    • ff
    • group
    • pairing
    • pasta_curves
    • poseidon
• trait changes in halo2 (https://github.com/scroll-tech/halo2/tree/feat/fri)
• new trait implementors in halo2curves (https://github.com/kunxian-xia/halo2curves/tree/feat/fri)
  • goldilocks "curve"
• basic algorithms ( ~ 2024.02.22)
  • SIMD base field arithmetic (https://github.com/kunxian-xia/halo2curves/tree/feat/fri)
  • extension field arithmetic
  • SIMD fft in halo2
  • fft of polynomial over extension field in halo2.
  • poseidon hasher in halo2
• verifier: verify plonky2 proof. (2024.02.22 ~ 2024.02.28)
  • logup verifier
  • permutation verifier
  • fri verifier
  • halo2 verifier
• prover (2024.03.01 ~ 2024.03.21)