Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::stdlib::secp256r1< CircuitType > Struct Template Reference

#include <secp256r1.hpp>

Public Types

using fq = bb::secp256r1::fq
 
using fr = bb::secp256r1::fr
 
using g1 = bb::secp256r1::g1
 
using ScalarFieldNative = ::bb::secp256r1::fr
 
using BaseFieldNative = ::bb::secp256r1::fq
 
using GroupNative = ::bb::secp256r1::g1
 
using ElementNative = GroupNative::element
 
using AffineElementNative = GroupNative::affine_element
 
using ScalarField = bigfield< CircuitType, typename ::bb::secp256r1::FrParams >
 
using BaseField = bigfield< CircuitType, typename ::bb::secp256r1::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::secp256r1::FqParams >
 
using bigfr_ct = bigfield< Builder, typename bb::secp256r1::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::SECP256R1
 

Detailed Description

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

Definition at line 17 of file secp256r1.hpp.

Member Typedef Documentation

◆ AffineElement

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::AffineElement = Group

Definition at line 36 of file secp256r1.hpp.

◆ AffineElementNative

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::AffineElementNative = GroupNative::affine_element

Definition at line 29 of file secp256r1.hpp.

◆ BaseField

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

Definition at line 33 of file secp256r1.hpp.

◆ BaseFieldNative

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::BaseFieldNative = ::bb::secp256r1::fq

Definition at line 26 of file secp256r1.hpp.

◆ bigfr_ct

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

Definition at line 46 of file secp256r1.hpp.

◆ bool_ct

Definition at line 43 of file secp256r1.hpp.

◆ Builder

Definition at line 38 of file secp256r1.hpp.

◆ byte_array_ct

Definition at line 42 of file secp256r1.hpp.

◆ Element

Definition at line 35 of file secp256r1.hpp.

◆ ElementNative

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::ElementNative = GroupNative::element

Definition at line 28 of file secp256r1.hpp.

◆ fq

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::fq = bb::secp256r1::fq

Definition at line 20 of file secp256r1.hpp.

◆ fq_ct

Definition at line 45 of file secp256r1.hpp.

◆ fr

Definition at line 21 of file secp256r1.hpp.

◆ fr_ct

Definition at line 41 of file secp256r1.hpp.

◆ g1

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::g1 = bb::secp256r1::g1

Definition at line 22 of file secp256r1.hpp.

◆ g1_bigfr_ct

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::g1_bigfr_ct = element<Builder, fq_ct, bigfr_ct, g1>

Definition at line 48 of file secp256r1.hpp.

◆ g1_ct

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::g1_ct = element<Builder, fq_ct, fr_ct, g1>

Definition at line 47 of file secp256r1.hpp.

◆ Group

Definition at line 34 of file secp256r1.hpp.

◆ GroupNative

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::GroupNative = ::bb::secp256r1::g1

Definition at line 27 of file secp256r1.hpp.

◆ public_witness_ct

Definition at line 40 of file secp256r1.hpp.

◆ ScalarField

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

Definition at line 32 of file secp256r1.hpp.

◆ ScalarFieldNative

template<typename CircuitType >
using bb::stdlib::secp256r1< CircuitType >::ScalarFieldNative = ::bb::secp256r1::fr

Definition at line 25 of file secp256r1.hpp.

◆ witness_ct

Definition at line 39 of file secp256r1.hpp.

Member Data Documentation

◆ type

template<typename CircuitType >
constexpr bb::CurveType bb::stdlib::secp256r1< CircuitType >::type = bb::CurveType::SECP256R1
staticconstexpr

Definition at line 18 of file secp256r1.hpp.


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