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

Curve grumpkin in circuit setting. More...

#include <grumpkin.hpp>

Public Types
using	Builder = CircuitBuilder
using	NativeCurve = curve::Grumpkin
using	ScalarField = bigfield< Builder, bb::Bn254FqParams >
using	BaseField = field_t< Builder >
using	Group = cycle_group< Builder >
using	AffineElement = Group
using	Element = Group
using	witness_ct = witness_t< CircuitBuilder >
using	public_witness_ct = public_witness_t< CircuitBuilder >
using	byte_array_ct = byte_array< CircuitBuilder >
using	bool_ct = bool_t< CircuitBuilder >

Static Public Attributes
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 32 of file grumpkin.hpp.

BaseField

template<typename CircuitBuilder >

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

Definition at line 30 of file grumpkin.hpp.

bool_ct

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::bool_ct = bool_t<CircuitBuilder>

Definition at line 39 of file grumpkin.hpp.

Builder

template<typename CircuitBuilder >

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

Definition at line 23 of file grumpkin.hpp.

byte_array_ct

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::byte_array_ct = byte_array<CircuitBuilder>

Definition at line 38 of file grumpkin.hpp.

Element

template<typename CircuitBuilder >

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

Definition at line 33 of file grumpkin.hpp.

Group

template<typename CircuitBuilder >

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

Definition at line 31 of file grumpkin.hpp.

NativeCurve

template<typename CircuitBuilder >

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

Definition at line 24 of file grumpkin.hpp.

public_witness_ct

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::public_witness_ct = public_witness_t<CircuitBuilder>

Definition at line 37 of file grumpkin.hpp.

ScalarField

template<typename CircuitBuilder >

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

Definition at line 29 of file grumpkin.hpp.

witness_ct

template<typename CircuitBuilder >

using bb::stdlib::grumpkin< CircuitBuilder >::witness_ct = witness_t<CircuitBuilder>

Definition at line 36 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 22 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 53 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 46 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 48 of file grumpkin.hpp.

SUBGROUP_SIZE

template<typename CircuitBuilder >

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

staticconstexpr

Definition at line 42 of file grumpkin.hpp.

---

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

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