issues
search
scroll-tech
/
halo2
Other
43
stars
39
forks
source link
dev tracker: cpu version of halo2-fri prover
#82
Open
kunxian-xia
opened
10 months ago
kunxian-xia
commented
10 months ago
[x] trait changes in
ff
:
https://github.com/kunxian-xia/ff/tree/feat/fri
[x] add trait for simd feature
[x] add trait for extension
[x] toolchain changes
[x]
ff
[x]
group
[x]
pairing
[x]
pasta_curves
[x]
poseidon
[x] trait changes in
halo2
(
https://github.com/scroll-tech/halo2/tree/feat/fri
)
[x] new trait implementors in
halo2curves
(
https://github.com/kunxian-xia/halo2curves/tree/feat/fri
)
[x] goldilocks "curve"
[ ] basic algorithms ( ~ 2024.02.22)
[x] SIMD base field arithmetic (
https://github.com/kunxian-xia/halo2curves/tree/feat/fri
)
[x] 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)
ff
: https://github.com/kunxian-xia/ff/tree/feat/frihalo2
(https://github.com/scroll-tech/halo2/tree/feat/fri)halo2curves
(https://github.com/kunxian-xia/halo2curves/tree/feat/fri)halo2
halo2
.halo2