generic_permutation_relation.hpp File Reference

This file contains the template for the generic permutation that can be specialized to enforce various permutations (for explanation on how to define them, see "relation_definer.hpp") More...

#include <array>
#include <tuple>
#include "barretenberg/common/constexpr_utils.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/relations/relation_types.hpp"

Go to the source code of this file.

Classes
class	proof_system::honk::sumcheck::GenericPermutationRelationImpl< Settings, FF_ >

Namespaces
namespace	proof_system::honk
	Defines particular circuit builder types expected to be used for circuit construction in stdlib and contains macros for explicit instantiation.

Typedefs
template<typename Settings , typename FF >
using	proof_system::honk::sumcheck::GenericPermutationRelation = Relation< GenericPermutationRelationImpl< Settings, FF > >

Enumerations
enum	proof_system::honk::sumcheck::GenericPermutationSettingIndices {   INVERSE_POLYNOMIAL_INDEX , ENABLE_INVERSE_CORRECTNESS_CHECK_POLYNOMIAL_INDEX , FIRST_PERMUTATION_SET_ENABLE_POLYNOMIAL_INDEX , SECOND_PERMUTATION_SET_ENABLE_POLYNOMIAL_INDEX ,   PERMUTATION_SETS_START_POLYNOMIAL_INDEX }
	Specifies positions of elements in the tuple of entities received from methods in the Settings class. More...

Detailed Description

This file contains the template for the generic permutation that can be specialized to enforce various permutations (for explanation on how to define them, see "relation_definer.hpp")

Author

Rumata888

Enumeration Type Documentation

GenericPermutationSettingIndices

enum proof_system::honk::sumcheck::GenericPermutationSettingIndices

Specifies positions of elements in the tuple of entities received from methods in the Settings class.