zkmove / halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments
Apache License 2.0
16 stars 3 forks source link

impl evaluation domain #6

Closed nanne007 closed 11 months ago

nanne007 commented 11 months ago

domain should contain precomputed constants and other details needed for performing operations on an evaluation domain of size $2^k$ and an extended domain of size $2^{k} * j$ with $j \neq 0$. It should be implemented following the code of https://github.com/privacy-scaling-explorations/halo2/blob/main/halo2_proofs/src/poly/domain.rs

nanne007 commented 11 months ago

done