aiur: ground the FFT cost model in the prover's actual transforms - #539
Open
arthurpaulino wants to merge 1 commit into
Open
aiur: ground the FFT cost model in the prover's actual transforms#539arthurpaulino wants to merge 1 commit into
arthurpaulino wants to merge 1 commit into
