bb::stdlib::secp256k1< CircuitType > Struct Template Reference

#include <secp256k1.hpp>

Public Types
using	fq = ::bb::secp256k1::fq
using	fr = ::bb::secp256k1::fr
using	g1 = ::bb::secp256k1::g1
using	ScalarFieldNative = ::bb::secp256k1::fr
using	BaseFieldNative = ::bb::secp256k1::fq
using	GroupNative = ::bb::secp256k1::g1
using	ElementNative = GroupNative::element
using	AffineElementNative = GroupNative::affine_element
using	ScalarField = bigfield< CircuitType, typename ::bb::secp256k1::FrParams >
using	BaseField = bigfield< CircuitType, typename ::bb::secp256k1::FqParams >
using	Group = element< CircuitType, BaseField, ScalarField, GroupNative >
using	Element = Group
using	AffineElement = Group
using	Builder = CircuitType
using	witness_ct = witness_t< Builder >
using	public_witness_ct = public_witness_t< Builder >
using	fr_ct = field_t< Builder >
using	byte_array_ct = byte_array< Builder >
using	bool_ct = bool_t< Builder >
using	fq_ct = bigfield< Builder, typename ::bb::secp256k1::FqParams >
using	bigfr_ct = bigfield< Builder, typename ::bb::secp256k1::FrParams >
using	g1_ct = element< Builder, fq_ct, fr_ct, g1 >
using	g1_bigfr_ct = element< Builder, fq_ct, bigfr_ct, g1 >

Static Public Attributes
static constexpr bb::CurveType	type = bb::CurveType::SECP256K1

Detailed Description

template<typename CircuitType>
struct bb::stdlib::secp256k1< CircuitType >

Definition at line 17 of file secp256k1.hpp.

Member Typedef Documentation

AffineElement

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::AffineElement = Group

Definition at line 36 of file secp256k1.hpp.

AffineElementNative

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::AffineElementNative = GroupNative::affine_element

Definition at line 29 of file secp256k1.hpp.

BaseField

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::BaseField = bigfield<CircuitType, typename ::bb::secp256k1::FqParams>

Definition at line 33 of file secp256k1.hpp.

BaseFieldNative

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::BaseFieldNative = ::bb::secp256k1::fq

Definition at line 26 of file secp256k1.hpp.

bigfr_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::bigfr_ct = bigfield<Builder, typename ::bb::secp256k1::FrParams>

Definition at line 46 of file secp256k1.hpp.

bool_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::bool_ct = bool_t<Builder>

Definition at line 43 of file secp256k1.hpp.

Builder

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::Builder = CircuitType

Definition at line 38 of file secp256k1.hpp.

byte_array_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::byte_array_ct = byte_array<Builder>

Definition at line 42 of file secp256k1.hpp.

Element

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::Element = Group

Definition at line 35 of file secp256k1.hpp.

ElementNative

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::ElementNative = GroupNative::element

Definition at line 28 of file secp256k1.hpp.

fq

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::fq = ::bb::secp256k1::fq

Definition at line 20 of file secp256k1.hpp.

fq_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::fq_ct = bigfield<Builder, typename ::bb::secp256k1::FqParams>

Definition at line 45 of file secp256k1.hpp.

fr

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::fr = ::bb::secp256k1::fr

Definition at line 21 of file secp256k1.hpp.

fr_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::fr_ct = field_t<Builder>

Definition at line 41 of file secp256k1.hpp.

g1

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::g1 = ::bb::secp256k1::g1

Definition at line 22 of file secp256k1.hpp.

g1_bigfr_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::g1_bigfr_ct = element<Builder, fq_ct, bigfr_ct, g1>

Definition at line 48 of file secp256k1.hpp.

g1_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::g1_ct = element<Builder, fq_ct, fr_ct, g1>

Definition at line 47 of file secp256k1.hpp.

Group

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::Group = element<CircuitType, BaseField, ScalarField, GroupNative>

Definition at line 34 of file secp256k1.hpp.

GroupNative

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::GroupNative = ::bb::secp256k1::g1

Definition at line 27 of file secp256k1.hpp.

public_witness_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::public_witness_ct = public_witness_t<Builder>

Definition at line 40 of file secp256k1.hpp.

ScalarField

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::ScalarField = bigfield<CircuitType, typename ::bb::secp256k1::FrParams>

Definition at line 32 of file secp256k1.hpp.

ScalarFieldNative

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::ScalarFieldNative = ::bb::secp256k1::fr

Definition at line 25 of file secp256k1.hpp.

witness_ct

template<typename CircuitType >

using bb::stdlib::secp256k1< CircuitType >::witness_ct = witness_t<Builder>

Definition at line 39 of file secp256k1.hpp.

Member Data Documentation

type

template<typename CircuitType >

constexpr bb::CurveType bb::stdlib::secp256k1< CircuitType >::type = bb::CurveType::SECP256K1

staticconstexpr

Definition at line 18 of file secp256k1.hpp.

---

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

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