Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Attributes | List of all members
bb::stdlib::bn254< CircuitBuilder > Struct Template Reference

#include <bn254.hpp>

Public Types

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

Static Public Attributes

static constexpr bb::CurveType type = bb::CurveType::BN254
 
static constexpr bool is_stdlib_type = true
 
static constexpr size_t SUBGROUP_SIZE = 256
 
static constexpr bb::fr subgroup_generator
 
static constexpr bb::fr subgroup_generator_inverse
 
static constexpr uint32_t LIBRA_UNIVARIATES_LENGTH = 9
 

Detailed Description

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

Definition at line 15 of file bn254.hpp.

Member Typedef Documentation

◆ AffineElement

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::AffineElement = Group

Definition at line 34 of file bn254.hpp.

◆ AffineElementNative

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::AffineElementNative = GroupNative::affine_element

Definition at line 25 of file bn254.hpp.

◆ BaseField

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::BaseField = Group::BaseField

Definition at line 32 of file bn254.hpp.

◆ BaseFieldNative

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::BaseFieldNative = curve::BN254::BaseField

Definition at line 22 of file bn254.hpp.

◆ Builder

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::Builder = CircuitBuilder

Definition at line 37 of file bn254.hpp.

◆ Element

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::Element = Group

Definition at line 33 of file bn254.hpp.

◆ ElementNative

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::ElementNative = GroupNative::element

Definition at line 24 of file bn254.hpp.

◆ Group

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::Group = element<CircuitBuilder, bigfield<CircuitBuilder, bb::Bn254FqParams>, ScalarField, GroupNative>

Definition at line 31 of file bn254.hpp.

◆ GroupNative

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::GroupNative = curve::BN254::Group

Definition at line 23 of file bn254.hpp.

◆ NativeCurve

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::NativeCurve = curve::BN254

Definition at line 18 of file bn254.hpp.

◆ ScalarField

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::ScalarField = field_t<CircuitBuilder>

Definition at line 30 of file bn254.hpp.

◆ ScalarFieldNative

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::ScalarFieldNative = curve::BN254::ScalarField

Definition at line 21 of file bn254.hpp.

Member Data Documentation

◆ is_stdlib_type

template<typename CircuitBuilder >
constexpr bool bb::stdlib::bn254< CircuitBuilder >::is_stdlib_type = true
staticconstexpr

Definition at line 17 of file bn254.hpp.

◆ LIBRA_UNIVARIATES_LENGTH

template<typename CircuitBuilder >
constexpr uint32_t bb::stdlib::bn254< CircuitBuilder >::LIBRA_UNIVARIATES_LENGTH = 9
staticconstexpr

Definition at line 53 of file bn254.hpp.

◆ subgroup_generator

template<typename CircuitBuilder >
constexpr bb::fr bb::stdlib::bn254< CircuitBuilder >::subgroup_generator
staticconstexpr
Initial value:
=
bb::fr(uint256_t("0x07b0c561a6148404f086204a9f36ffb0617942546750f230c893619174a57a76"))
bb::fr
field< Bn254FrParams > fr
Definition fr.hpp:155

Definition at line 47 of file bn254.hpp.

◆ subgroup_generator_inverse

template<typename CircuitBuilder >
constexpr bb::fr bb::stdlib::bn254< CircuitBuilder >::subgroup_generator_inverse
staticconstexpr
Initial value:
=
bb::fr(uint256_t("0x204bd3277422fad364751ad938e2b5e6a54cf8c68712848a692c553d0329f5d6"))

Definition at line 49 of file bn254.hpp.

◆ SUBGROUP_SIZE

template<typename CircuitBuilder >
constexpr size_t bb::stdlib::bn254< CircuitBuilder >::SUBGROUP_SIZE = 256
staticconstexpr

Definition at line 43 of file bn254.hpp.

◆ type

template<typename CircuitBuilder >
constexpr bb::CurveType bb::stdlib::bn254< CircuitBuilder >::type = bb::CurveType::BN254
staticconstexpr

Definition at line 16 of file bn254.hpp.

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