|
| static std::array< Fr, big_domain_size > | construct_big_domain () |
| |
|
static std::array< Fr, domain_size > | construct_lagrange_denominators (const auto &big_domain) |
| |
|
static std::array< Fr, domain_size *num_evals > | batch_invert (const std::array< Fr, domain_size *num_evals > &coeffs) |
| |
|
static std::array< Fr, domain_size *num_evals > | construct_denominator_inverses (const auto &big_domain, const auto &lagrange_denominators) |
| |
|
static std::array< Fr, num_evals > | construct_full_numerator_values (const auto &big_domain) |
| |
|
|
static constexpr size_t | domain_size = domain_end - domain_start |
| |
|
static constexpr size_t | big_domain_size = std::max(domain_size, num_evals) |
| |
|
static const auto | big_domain = construct_big_domain() |
| |
|
static const auto | lagrange_denominators = construct_lagrange_denominators(big_domain) |
| |
| static const auto | precomputed_denominator_inverses |
| |
|
static const auto | full_numerator_values = construct_full_numerator_values(big_domain) |
| |
◆ construct_big_domain()
template<class
Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>
Static constexpr methods for computing arrays of precomputable data used for barycentric extension and evaluation
◆ precomputed_denominator_inverses
template<class
Fr , size_t domain_end, size_t num_evals, size_t domain_start = 0>
Initial value:=
construct_denominator_inverses(big_domain, lagrange_denominators)
The documentation for this class was generated from the following file: