bb::stdlib::grumpkin< CircuitBuilder > Struct Template Reference

Curve grumpkin in circuit setting. More...

#include <grumpkin.hpp>

Public Types
using	NativeCurve = curve::Grumpkin
using	ScalarFieldNative = curve::Grumpkin::ScalarField
using	BaseFieldNative = curve::Grumpkin::BaseField
using	GroupNative = curve::Grumpkin::Group
using	ElementNative = GroupNative::element
using	AffineElementNative = GroupNative::affine_element
using	ScalarField = bigfield< CircuitBuilder, bb::Bn254FqParams >
using	BaseField = field_t< CircuitBuilder >
using	Group = cycle_group< CircuitBuilder >
using	AffineElement = Group
using	Element = Group
using	Builder = CircuitBuilder

Static Public Attributes
static constexpr bb::CurveType	type = bb::CurveType::GRUMPKIN
static constexpr bool	is_stdlib_type = true
static constexpr size_t	SUBGROUP_SIZE = 87
static constexpr bb::fq	subgroup_generator
static constexpr bb::fq	subgroup_generator_inverse
static constexpr uint32_t	LIBRA_UNIVARIATES_LENGTH = 3

Detailed Description

template<typename CircuitBuilder>
struct bb::stdlib::grumpkin< CircuitBuilder >

Curve grumpkin in circuit setting.

Template Parameters

CircuitBuilder

The type of builder the curve is going to be used within

Definition at line 21 of file grumpkin.hpp.

Member Typedef Documentation

AffineElement

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::AffineElement = Group

Definition at line 39 of file grumpkin.hpp.

AffineElementNative

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::AffineElementNative = GroupNative::affine_element

Definition at line 31 of file grumpkin.hpp.

BaseField

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::BaseField = field_t<CircuitBuilder>

Definition at line 37 of file grumpkin.hpp.

BaseFieldNative

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::BaseFieldNative = curve::Grumpkin::BaseField

Definition at line 28 of file grumpkin.hpp.

Builder

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::Builder = CircuitBuilder

Definition at line 43 of file grumpkin.hpp.

Element

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::Element = Group

Definition at line 40 of file grumpkin.hpp.

ElementNative

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::ElementNative = GroupNative::element

Definition at line 30 of file grumpkin.hpp.

Group

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::Group = cycle_group<CircuitBuilder>

Definition at line 38 of file grumpkin.hpp.

GroupNative

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::GroupNative = curve::Grumpkin::Group

Definition at line 29 of file grumpkin.hpp.

NativeCurve

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::NativeCurve = curve::Grumpkin

Definition at line 24 of file grumpkin.hpp.

ScalarField

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::ScalarField = bigfield<CircuitBuilder, bb::Bn254FqParams>

Definition at line 36 of file grumpkin.hpp.

ScalarFieldNative

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::ScalarFieldNative = curve::Grumpkin::ScalarField

Definition at line 27 of file grumpkin.hpp.

Member Data Documentation

is_stdlib_type

template<typename CircuitBuilder >

constexpr bool bb::stdlib::grumpkin< CircuitBuilder >::is_stdlib_type = true

staticconstexpr

Definition at line 23 of file grumpkin.hpp.

LIBRA_UNIVARIATES_LENGTH

template<typename CircuitBuilder >

constexpr uint32_t bb::stdlib::grumpkin< CircuitBuilder >::LIBRA_UNIVARIATES_LENGTH = 3

staticconstexpr

Definition at line 60 of file grumpkin.hpp.

subgroup_generator

template<typename CircuitBuilder >

constexpr bb::fq bb::stdlib::grumpkin< CircuitBuilder >::subgroup_generator

staticconstexpr

Initial value:

=
        bb::fq("0x147c647c09fb639514909e9f0513f31ec1a523bf8a0880bc7c24fbc962a9586b")

Definition at line 53 of file grumpkin.hpp.

subgroup_generator_inverse

template<typename CircuitBuilder >

constexpr bb::fq bb::stdlib::grumpkin< CircuitBuilder >::subgroup_generator_inverse

staticconstexpr

Initial value:

=
        bb::fq("0x0c68e27477b5e78cfab790bd3b59806fa871771f71ec7452cde5384f6e3a1988")

Definition at line 55 of file grumpkin.hpp.

SUBGROUP_SIZE

template<typename CircuitBuilder >

constexpr size_t bb::stdlib::grumpkin< CircuitBuilder >::SUBGROUP_SIZE = 87

staticconstexpr

Definition at line 48 of file grumpkin.hpp.

type

template<typename CircuitBuilder >

constexpr bb::CurveType bb::stdlib::grumpkin< CircuitBuilder >::type = bb::CurveType::GRUMPKIN

staticconstexpr

Definition at line 22 of file grumpkin.hpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/stdlib/primitives/curves/grumpkin.hpp