Potential bug: Fix not to allow different types for template parameters

Author: fakedev9999Created Dec 21, 2023Updated Dec 21, 2023

Labelsbug

IMO, as what I've suggested in this comment, https://github.com/kroma-network/tachyon/pull/206#discussion_r1433621456.

cpp

template <typename Domain, typename Poly,
          typename Evals = typename Domain::Evals, typename F>
Evals CoeffToExtendedPart(const Domain* domain, const Poly& poly, const F& zeta,

this kind of code would be more correct to be written as below.

cpp

template <typename Domain>
typename Domain::Evals CoeffToExtendedPart(const Domain* domain, const typename Domain::Poly& poly, const typename Domain::Field& zeta,

Source: kroma-network/tachyon

View original on GitHub View discussion on GitHub