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
 
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 >
 
using bigfr_ct = bigfield< CircuitBuilder, bb::Bn254FrParams >
 
using g1_bigfr_ct = element< CircuitBuilder, BaseField, bigfr_ct, GroupNative >
 

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 37 of file bn254.hpp.

◆ AffineElementNative

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

Definition at line 28 of file bn254.hpp.

◆ BaseField

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

Definition at line 35 of file bn254.hpp.

◆ BaseFieldNative

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

Definition at line 25 of file bn254.hpp.

◆ bigfr_ct

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::bigfr_ct = bigfield<CircuitBuilder, bb::Bn254FrParams>

Definition at line 46 of file bn254.hpp.

◆ bool_ct

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::bool_ct = bool_t<CircuitBuilder>

Definition at line 44 of file bn254.hpp.

◆ Builder

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

Definition at line 40 of file bn254.hpp.

◆ byte_array_ct

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::byte_array_ct = byte_array<CircuitBuilder>

Definition at line 43 of file bn254.hpp.

◆ Element

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

Definition at line 36 of file bn254.hpp.

◆ ElementNative

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

Definition at line 27 of file bn254.hpp.

◆ g1_bigfr_ct

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::g1_bigfr_ct = element<CircuitBuilder, BaseField, bigfr_ct, GroupNative>

Definition at line 47 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 34 of file bn254.hpp.

◆ GroupNative

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

Definition at line 26 of file bn254.hpp.

◆ NativeCurve

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

Definition at line 21 of file bn254.hpp.

◆ public_witness_ct

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::public_witness_ct = public_witness_t<CircuitBuilder>

Definition at line 42 of file bn254.hpp.

◆ ScalarField

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

Definition at line 33 of file bn254.hpp.

◆ ScalarFieldNative

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

Definition at line 24 of file bn254.hpp.

◆ witness_ct

template<typename CircuitBuilder >
using bb::stdlib::bn254< CircuitBuilder >::witness_ct = witness_t<CircuitBuilder>

Definition at line 41 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 20 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 59 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:174

Definition at line 53 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 55 of file bn254.hpp.

◆ SUBGROUP_SIZE

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

Definition at line 50 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: