Closed cx19981114 closed 1 year ago
When domain::new, the size of t_evaluations is 2^(extended_k - k) . https://github.com/zcash/halo2/blob/76b3f892a9d598923bbb5a747701fff44ae4c0ea/halo2_proofs/src/poly/domain.rs#L85-L108
domain::new
But when in use the note write vanishing polynomial domain size is 2^k, Whether this note is wrong? https://github.com/zcash/halo2/blob/76b3f892a9d598923bbb5a747701fff44ae4c0ea/halo2_proofs/src/poly/domain.rs#L324-L325
When
domain::new
, the size of t_evaluations is 2^(extended_k - k) . https://github.com/zcash/halo2/blob/76b3f892a9d598923bbb5a747701fff44ae4c0ea/halo2_proofs/src/poly/domain.rs#L85-L108But when in use the note write vanishing polynomial domain size is 2^k, Whether this note is wrong? https://github.com/zcash/halo2/blob/76b3f892a9d598923bbb5a747701fff44ae4c0ea/halo2_proofs/src/poly/domain.rs#L324-L325